Title :
A process calculus for Web data with subtyping
Author_Institution :
Guizhou Police Officer Vocational Coll., Guiyang, China
Abstract :
Web data is very important in Web services, which is the base of Web services implemented. In this paper, we present a type system with subtyping. It features Web data, hyperlinks and scripts. We proved subject reduction theorem which says that well-typed will be preserved.
Keywords :
Web services; process algebra; Web data; Web services; hyperlinks; process calculus; scripts; subject reduction theorem; subtyping; π -calculus; Dynamic web data; model; subtyping; type system;
Conference_Titel :
System Science, Engineering Design and Manufacturing Informatization (ICSEM), 2011 International Conference on
Conference_Location :
Guiyang
Print_ISBN :
978-1-4577-0247-1
DOI :
10.1109/ICSSEM.2011.6081193
