PiDuce - A project for experimenting Web services technologies

Science of Computer Programming

Volumn 74, Issue 10, 2009, Pages 777-811

  Carpineti, Samuele ^a   Laneve, Cosimo ^a   Padovani, Luca ^b  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b UNIVERSITY OF URBINO   (Italy)

Author keywords

pi calculus; Subschema relation; Type system; Web services; WSDL; XML schema

Indexed keywords

PI CALCULUS; SUBSCHEMA RELATION; TYPE SYSTEM; WSDL; XML SCHEMA;

BIOMINERALIZATION; C (PROGRAMMING LANGUAGE); CALCULATIONS; COMPUTER SOFTWARE; FORMAL LANGUAGES; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; MARKUP LANGUAGES; PATTERN MATCHING; QUERY LANGUAGES; WEB SERVICES;

XML;

EID: 67650450882     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2009.03.002     Document Type: Review

References (39)

1. Abiteboul S., Benjelloun O., Manolescu I., Milo T., and Weber R. Active XML: Peer-to-peer data and Web services integration. Proceedings of the Twenty-Eighth International Conference on Very Large Data Bases. VLDP 2002 (2002), Morgan Kaufmann Publishers, Hong Kong SAR, China 1087-1090
2. Acciai L., and Boreale M. XPi: A typed process calculus for XML messaging. 7th Formal Methods for Object-Based Distributed Systems. FMOODS'05. Lecture Notes in Computer Science vol. 3535 (2005), Springer-Verlag 47-66
3. Amadio R.M., and Cardelli L. Subtyping recursive types. ACM Transactions on Programming Languages and Systems 15 4 (1993) 575-631
4. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, S. Weerawarana, Business process execution language for web services, 2003. Available at: http://www-128.ibm.com/developerworks/library/specification/ws-bpel/
5. Benzaken V., Castagna G., and Frisch A. CDuce: An XML-centric general-purpose language. Proceedings of the 8th ACM SIGPLAN International Conference on Functional Programming. ICFP-03 (2003), ACM Press, New York 51-63
6. Bhargavan K., Fournet C., Gordon A., and Pucella R. TulaFale: A Security Tool for Web Services. Proceedings of the 2nd International Symposium on Formal Methods for Components and Objects. FMCS'03. LNCS vol. 3188 (2004), Springer-Verlag 197-222
7. In: Boag S., Chamberlin D., Fernández M.F., Florescu D., Robie J., and Siméon J. (Eds). XQuery 1.0: An XML Query Language, W3C Candidate Recommendation (2006). http://www.w3.org/TR/xquery/
8. Brandt M., and Henglein F. Coinductive axiomatization of recursive type equality and subtyping. In: Hindley R. (Ed). 3rd International Conference on Typed Lambda Calculi and Application. TLCA, Nancy, France. Lecture Notes in Computer Science vol. 1210 (April 1997), Springer-Verlag 63-81 Full version in Fundamenta Informaticae 33 (1998) 309-338
9. Brown A., Laneve C., and Meredith L. PiDuce: A process calculus with native XML datatypes. Proceedings of 2nd International Workshop on Web Services and Formal Methods. LNCS (2005), Springer-Verlag
10. Cardelli L., and Gordon A.D. Mobile ambients. Theoretical Computer Science 240 1 (2000) 177-213
11. Carpineti S., and Laneve C. A basic contract language for Web services. Proceedings of the European Symposium on Programming. ESOP 2006. LNCS vol. 3924 (2006), Springer-Verlag 197-213
12. Carpineti S., Laneve C., and Milazzo P. BoPi - a distributed machine for experimenting web services technologies. ACSD'05: Proceedings of the Fifth International Conference on Application of Concurrency to System Design (2005), IEEE Computer Society 202-211
13. Castagna G., De Nicola R., and Varacca D. Semantic subtyping for the π-calculus. 20th IEEE Symposium on Logic in Computer Science. LICS'05 (2005), IEEE Computer Society
14. J. Clark, and S. DeRose (Eds.), XML Path Language (XPath) Version 1.0, W3C Recommendation, Nov. 1999. Available at: http://www.w3c.org/TR/xpath/
15. H. Comon, M. Dauchet, R. Gilleron, F. Jacquemard, D. Lugiez, S. Tison, M. Tommasi, Tree automata techniques and applications. Available at: http://www.grappa.univ-lille3.fr/tata, 1997, released October, 1st 2002
16. Conchon S., and Fessant F.L. Jocaml: Mobile agents for objective-caml. First International Symposium on Agent Systems and Applications Third International Symposium on Mobile Agents (October 1999), IEEE Computer Society Press 22-29
17. Fournet C., and Gonthier G. A hierarchy of equivalences for asynchronous calculi. Proceedings of 25th Colloquium on Automata, Languages and Programming. ICALP. LNCS vol. 1443 (1998), Springer-Verlag 844-855
18. Fournet C., Lévy J.-J., and Schmitt A. An asynchronous, distributed implementation of mobile ambients. TCS'00: Proceedings of the International Conference IFIP on Theoretical Computer Science. Lecture Notes in Computer Science (2000), Springer-Verlag 348-364
19. A. Frisch, L. Cardelli, Greedy regular expression matching, in: ICALP: Annual International Colloquium on Automata, Languages and Programming, 2004
20. Gardner P., Laneve C., and Wischik L. Linear forwarders. Information and Computation 205 10 (2007) 1526-1550
21. Gardner P., and Maffeis S. Modelling dynamic web data. Theoretical Computer Science 342 (2005) 104-131
22. Giacalone A., Mishra P., and Prasad S. Facile: A symmetric integration of concurrent and functional programming. International Journal of Parallel Programming 18 2 (1989) 121-160
23. Hosoya H., and Pierce B.C. XDuce: A statically typed XML processing language. ACM Transactions on Internet Technology (TOIT) 3 2 (2003) 117-148
24. Hosoya H., Vouillon J., and Pierce B.C. Regular expression types for XML. ACM Transactions on Programming Languages and Systems 27 1 (2005) 46-90
25. Laneve C., and Zavattaro G. Foundations of web transactions. Proceedings of Foundations of Software Science and Computation Structures. FOSSACS'05. LNCS vol. 3441 (2005), Springer-Verlag 282-298
26. Microsoft Corporation, Biztalk server. http://www.microsoft.com/biztalk/
27. W3C XML Schema Working Group, XML Schema Part 0: Primer second edition. Available at: http://www.w3.org/TR/2004/REC-xmlschema-0-20041028/. W3C Recommendation - October, 28th 2004
28. W3C XML Schema Working Group, XML Schema Part 2: Datatypes second edition. Available at: http://www.w3.org/TR/2004/REC-xmlschema-2-20041028/datatypes.html. W3C Recommendation - October, 28th 2004
29. W3C XML Schema Working Group, XML Schema Part 1: Structures second edition. Available at: http://www.w3.org/TR/2004/REC-xmlschema-1-20041028/structures.html. W3C Recommendation - October, 28th 2004
30. Web Services Addressing Working Group, Web services addressing (ws-addressing). Available at: http://www.w3.org/Submission/2004/SUBM-ws-addressing-20040810/, 2004, August, 10th 2004
31. Web Services Description Working Group, Web Services Description Language (WSDL) 1.1). Available at: http://www.w3.org/TR/2001/NOTE-wsdl-20010315. W3C Note 15 March 2001
32. Web Services Description Working Group, Web Services Description Language (WSDL) Version 2.0 Part 0: Primer. Available at: http://www.w3.org/TR/2005/WD-wsdl20-primer-20050803/. W3C Working Draft 3 August 2005
33. Web Services Description Working Group, Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language. Available at: http://www.w3.org/TR/2005/WD-wsdl20-20050803/. W3C Working Draft 3 August 2005
34. Milner R., Parrow J., and Walker D. A calculus of mobile processes, part I/II. Journal of Information and Computation 100 (1992) 1-77
35. Phillips A., Yoshida N., and Eisenbach S. A distributed abstract machine for boxed ambient calculi. Proceedings of the European Symposium on Programming. ESOP 2004. LNCS (Apr. 2004), Springer-Verlag 155-170
36. Pierce B.C., and Sangiorgi D. Typing and subtyping for mobile processes. Logic in Computer Science (1993) Full version in Mathematical Structures in Computer Science, Vol. 6, No. 5, 1996
37. Sewell P., Wojciechowski P., and Pierce B. Location independence for mobile agents. In: Bal H.E., Belkhouche B., and Cardelli L. (Eds). ICCL 1998. Lecture Notes in Computer Science vol. 1686 (1999), Springer-Verlag 1-31
38. Thatte S. XLANG: Web Services for Business Process Design (2001), Microsoft Corporation. http://www.gotdotnet.com/team/xml_wsspecs/xlang-c/default.htm Available at: www.gotdotnet.com/team/xml_wsspecs/xlang-c/default.htm
39. Vansummeren S. Type inference for unique pattern matching. ACM Transactions on Programming Languages and Systems 28 3 (2006) 389-428. http://doi.acm.org/10.1145/1133651.1133652