BoPi - A distributed machine for experimenting web services technologies

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn 2005, Issue , 2005, Pages 202-211

  Carpineti, Samuele ^a   Laneve, Cosimo ^a   Milazzo, Paolo ^b  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; COMPUTER PROGRAMMING LANGUAGES; DATA PROCESSING; PROGRAM COMPILERS; XML;

BPEL LANGUAGE; DECONSTRUCTING VALUE; QUERY MECHANISM; RUNTIME SUPPORT;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 33646157115     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSD.2005.6     Document Type: Conference Paper

References (12)

1. R. Amadio, "An asynchronous model of locality, failure, and process mobility," in COORDINATION 1997, vol. 1282 of LNCS, pp. 374-391, Springer-Verlag, 1997.
2. M. Merro and D. Sangiorgi, "On asynchrony in namepassing calculi," in ICALP 1998, vol. 1443 of LNCS, pp. 856-867, Springer-Verlag, 1998.
3. C. Fournet and G. Gonthier, "The reflexive chemical abstract machine and the join-calculus," in POPL1996, pp. 372-385, ACM, ACM Press, 1996.
4. Microsoft. Corporation, "Biztalk server." At http://www.microsoft.com/biztalk/.
5. P. Gardner, C. Laneve, and L. Wischik, "Linear forwarders," in CONCUR 2003, vol. 2761 of LNCS, pp. 415-430, Springer-Verlag, 2002.
6. A. Brown, C. Laneve, and L. Meredith, "PiDuce: A process calculus with native xml datatypes." At www.cs.unibo.it/BoPi, 2004.
7. H. Hosoya and B. C. Pierce, "XDuce: A statically typed XML processing language," ACM Transactions on Internet Technology (TOIT), vol. 3, no. 2, pp. 117-148, 2003.
8. V. Benzaken, G. Castagna, and A. Frisch, "CDuce: an XML-centric general-purpose language," in 8th ACM SIGPLAN ICFP-03, pp. 51-63, ACM Press, 2003.
9. S. Carpineti, C. Laneve, and P. Milazzo, "The BoPi machine: a distributed machine for experimenting Web Services technologies." Full version. At www.cs.unibo.it/BoPi, 2005.
10. H. Comon et al., "Tree automata techniques and applications." At www.grappa.univ-lille3.fr/tata, October, 2002.
11. F. Curbera et al., "Business process execution language for web services (bpe14ws 1.0)." At www.106.ibm.com/developerworks/webservices/library/wsbpel/, 2002.
12. C. Laneve and G. Zavattaro, "Foundations of Web Transactions," in FOSSACS'05, vol. 3441 of LNCS, pp. 282-298, Springer-Verlag, 2005.