XPi: A typed process calculus for XML messaging

Science of Computer Programming

Volumn 71, Issue 2, 2008, Pages 110-143

  Acciai, Lucia ^a   Boreale, Michele ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

Pattern matching; Pi calculus; Type systems; XML messaging

Indexed keywords

MESSAGE PASSING; PATTERN MATCHING;

PROCESS CALCULUS; TYPE SYSTEMS;

XML;

EID: 42149175438     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2008.02.001     Document Type: Article

References (34)

1. Abadi M., and Gordon A.D. A calculus for cryptographic protocols: The spi calculus. Information and Computation 148 1 (1999) 1-70
2. Amadio R., Castellani I., and Sangiorgi D. On bisimulation for the asynchronous π-calculus. Proceedings of CONCUR '96. LNCS vol. 1119 (1997), Springer Verlag 147-162 A revised version has appeared in Theoretical Computer Science (195) (2) (1998) 291-324
3. T. Andrews, F. Curbera, S. Thatte, Business process execution language for web services, v1.1, 2003. http://ifr.sap.com/bpel4ws
4. V. Benzaken, G. Castagna, A. Frisch, Cduce: An XML-centric general-purpose language, in: Proceedings of the ACM International Conference on Functional Programming, 2003, pp. 51-63
5. G.M. Bierman, P. Sewell, Iota: A concurrent XML scripting language with applications to home area networking, Technical Report 577, University of Cambridge Computer Laboratory, 2003
6. Biztalk Server Home. http://www.microsoft.com/biztalk/
7. Bjorg S., and Meredith L.G. Contracts and types. Communication of the ACM 46 10 (2003) 41-47
8. Boreale M. On the expressiveness of internal mobility in name-passing calculi. Theoretical Computer Science 195 2 (1998) 205-226
9. M. Boreale, D. Sangiorgi, Bisimulation in name-passing calculi without matching, in: Proceedings of LICS '98, 1998, pp. 165-175
10. Brown A., Laneve C., and Meredith L.G. πDuce: A process calculus with native XML datatypes. EPEW/WS-FM 2005. LNCS vol. 3670 (2005), Springer 18-34
11. Cardelli L., and Ghelli G. TQL: A query language for semistructured data based on the ambient logic. Mathematical Structures in Computer Science 14 3 (2004) 285-327
12. Cardelli L., and Gordon A.D. Mobile ambients. Theoretical Computer Science 240 1 (2000) 177-213
13. Carpineti S., and Laneve C. A basic contract language for web services. Proceedings of ESOP '06. LNCS vol. 3924 (2006), Springer 197-213
14. Carpineti S., Castagna G., Laneve C., and Padovani L. A formal account of contracts for web services. Proceedings of WS-FM '06. LNCS vol. 4184 (2006), Springer 148-162
15. G. Castagna, N. Gesbert, L. Padovani, A theory of contracts for web services, in: Proceedings of POPL'08, 2008, pp. 261-272
16. G. Castagna, R. De Nicola, D. Varacca, Semantic subtyping for the π-calculus, in: Proc. of LICS'05, 2005, pp. 92-101
17. Dezani-Ciancaglini M., Ghilezan S., and Pantovic J. Security types for dynamic web data. Proceeding of TGC'06. LNCS vol. 4661 (2007), Springer 263-280
18. Emmerich W., Aoyama M., and Sventek J. The impact of research on middleware technology. SIGSOFT Software Engineering Notes 32 1 (2007) 21-46
19. D.C. Fallside, XML schema part 0: Primer. W3C Recommendation, 2001. http://www.w3.org/TR/2001/REC-xmlschema-0-20010502
20. Gardner P., and Maffeis S. Modelling dynamic web data. Proceedings of DBPL 2003. LNCS vol. 2921 (2003), Springer 130-146 A revised version has appeared in Theoretical Computer Science (342) (1) (2005) 104-131
21. Hosoya H., and Pierce B. Regular expression pattern matching for XML. Journal of Functional Programming 13 6 (2003) 961-1004
22. Hosoya H., and Pierce B. Xduce: A statically typed XML processing language. Proceedings of ACM Transaction on Internet Technology 3 2 (2003) 117-148
23. Lucchi R., and Mazzara M. A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming 70 1 (2007) 96-118
24. Merro M. Locality and polyadicity in asynchronous name-passing calculi. Proceedings of FoSSaCS 2000. LNCS vol. 1784 (2000), Springer 238-251
25. R. Milner, The polyadic π-calculus: A tutorial, Technical Report ECS-LFCS-91-180, LFCS, Dept. of Computer Science, Edinburgh University, 1991
26. Milner R., Parrow J., and Walker D. A calculus of mobile processes, part I and II. Information and Computation 100 (1992) 1-41 42-78
27. Sangiorgi D. The name discipline of uniform receptiveness. Theoretical Computer Science 221 1-2 (1999) 457-493
28. Sangiorgi D. Bisimulation in higher-order calculi. Information and Computation 131 2 (1996)
29. Pierce B., and Sangiorgi D. Typing and subtyping for mobile process. Mathematical Structures in Computer Science 6 5 (1996) 409-453
30. Sangiorgi D., and Milner R. Barbed bisimulation. Proceedings of ICALP'92. LNCS vol. 623 (1992), Springer 685-695
31. Sangiorgi D., and Milner R. Techniques of "weak bisimulation up to". Proceedings of CONCUR'92. LNCS vol. 630 (1992), Springer
32. Steinke S. Middleware meets the network. LAN: The Network Solutions Magazine 10 13 (1995)
33. W3C. Web services description language 2.0. W3C Recommendation, 2007. http://www.w3.org/TR/wsdl20/
34. Web services activity web site, 2002. http://www.w3.org/2002/ws