BoPi - A Distributed Machine for Experimenting Web Services Technologies

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.

• Type: Conference
• Year: 2005
• Where: ACSD
• Authors: Samuele Carpineti, Cosimo Laneve, Paolo Milazzo
• Keywords: ACSD 2005, Basic Query Mechanism, Core Bpel Language, Hardware, Pattern Matching Mechanism