Title :
BoPi - a distributed machine for experimenting Web services technologies
Author :
Carpineti, Samuele ; Laneve, Cosimo ; Milazzo, Paolo
Author_Institution :
Dept. of Comput. Sci., Bologna Univ., Italy
Abstract :
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.
Keywords :
Internet; XML; high level languages; pattern matching; pi calculus; BoPi; Web services; XML document; XML values; core BPEL language; distributed machine; pattern matching; process calculus; program execution; programming language; query mechanism; runtime support; typesafe bytecode; Calculus; Computer languages; Computer science; Impedance matching; Message service; Pattern matching; Prototypes; Runtime; Web services; XML;
Conference_Titel :
Application of Concurrency to System Design, 2005. ACSD 2005. Fifth International Conference on
Print_ISBN :
0-7695-2363-3
DOI :
10.1109/ACSD.2005.6
