Logo des Repositoriums
 
Konferenzbeitrag

A Unified Formal Foundation for Service Oriented Architectures

Zusammenfassung

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.

Beschreibung

Puhlmann, Frank (2006): A Unified Formal Foundation for Service Oriented Architectures. 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). Bonn: Gesellschaft für Informatik e. V.. PISSN: 1617-5468. ISBN: 978-3-88579-189-8. pp. 7-19. Regular Research Papers. Hamburg. 17.-18. Oktober 2006

Schlagwörter

Zitierform

DOI

Tags