DocumentCode
556426
Title
A process calculus for Web data with subtyping
Author
Long, Chunmin
Author_Institution
Guizhou Police Officer Vocational Coll., Guiyang, China
Volume
1
fYear
2011
fDate
22-23 Oct. 2011
Firstpage
233
Lastpage
235
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;
fLanguage
English
Publisher
ieee
Conference_Titel
System Science, Engineering Design and Manufacturing Informatization (ICSEM), 2011 International Conference on
Conference_Location
Guiyang
Print_ISBN
978-1-4577-0247-1
Type
conf
DOI
10.1109/ICSSEM.2011.6081193
Filename
6081193
Link To Document