Title :
A Typed Process Calculus for Dynamic Web Data
Author :
Long, Hui-yun ; Li, Jian-shi
Author_Institution :
Coll. of Comput. Sci. & Technol., Guizhou Univ., Guiyang, China
Abstract :
We present Tdpi, a typed process calculus for dynamic Web data. Tdpi features Web data in networks, hyperlinks, service calls, scripts, dynamically accessing data and typing. In Tdpi, a typing system disciplines data handing at the level of channels and processes. We proved subject reduction theorem which says that well-type will be preserved by reduction in the typing system.
Keywords :
Internet; data handling; pi calculus; Tdpi; channels; data handing; dynamic Web data; dynamically accessing data; hyperlinks; networks; scripts; service calls; subject reduction theorem; typed process calculus; typing system; well-type; Calculus; Computer science; Control systems; Data models; Educational institutions; Memory; Peer to peer computing; Virtual colonoscopy; Web services; XML; Dynamic web data; Pi-calculus; subject reduction; type; typing system;
Conference_Titel :
Networking and Digital Society, 2009. ICNDS '09. International Conference on
Conference_Location :
Guiyang, Guizhou
Print_ISBN :
978-0-7695-3635-4
DOI :
10.1109/ICNDS.2009.46
