Sciweavers

EMISA
2006
Springer

A Unified Formal Foundation for Service Oriented Architectures

13 years 6 months ago
A Unified Formal Foundation for Service Oriented Architectures
: This paper summarizes how an algebra for mobile systems, the -calculus, can be applied as unified formal foundation to service oriented architectures (SOA). The concepts accounted are orchestrations including data and processes, as well as choreographies consisting of interacting processes. Since SOAs incorporate agile binding of interaction partners, static process structures as found in Petri nets are not sufficient for completely representing orchestrations and choreographies. The -calculus, in contrast, inherently supports link passing mobility required for agile interacting processes.
Frank Puhlmann
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where EMISA
Authors Frank Puhlmann
Comments (0)