Gesellschaft fr Informatik e.V.

Lecture Notes in Informatics

EMISA 2006 Methoden, Konzepte und Technologien für die Entwicklung von dienstbasierten Informationssystemen, Beiträge des Workshops der GI-Fachgruppe EMISA (Entwicklungsmethoden für Informationssystemeund deren Anwendung) P-95, 7-20 (2006).



Christian Hochberger, Rüdiger Liskowsky (eds.)


A unified formal foundation for service oriented architectures

F. Puhlmann


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.

Full Text: PDF

ISBN 978-3-88579-189-8

Last changed 24.01.2012 21:56:23