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.
  • Vollständige Referenz
  • BibTeX
Puhlmann, F., (2006). A Unified Formal Foundation for Service Oriented Architectures. In: Weske, M. & Nüttgens, M. (Hrsg.), 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.. (S. 7-19).
@inproceedings{mci/Puhlmann2006,
author = {Puhlmann, Frank},
title = {A Unified Formal Foundation for Service Oriented Architectures},
booktitle = {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)},
year = {2006},
editor = {Weske, Mathias AND Nüttgens, Markus} ,
pages = { 7-19 },
publisher = {Gesellschaft für Informatik e. V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
7.pdf279.0Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken