loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fifth International Conference on Application of Concurrency to System Design (ACSD'05)
BoPi — A Distributed Machine for Experimenting Web Services Technologies
St. Malo, France
June 07-June 09
ISBN: 0-7695-2363-3
Samuele Carpineti, University of Bologna
Cosimo Laneve, University of Bologna
Paolo Milazzo, University of Pisa
BoPi is a programming language with a runtime support that allows the distribution and the execution of programs over the network. The language is a process calculus with XML values and datatypes, and with a pattern matching mechanism for deconstructing values. The compiler gives a typesafe bytecode in the form of an XML document, that may be deployed on the network. What comes out is a simple, statically typed, and formally defined core BPEL language with a basic query mechanism supplied by patterns.
Citation:
Samuele Carpineti, Cosimo Laneve, Paolo Milazzo, "BoPi — A Distributed Machine for Experimenting Web Services Technologies," acsd, pp.202-211, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.