| dc.contributor.author | Puhlmann, Frank | |
| dc.contributor.editor | Weske, Mathias | |
| dc.contributor.editor | Nüttgens, Markus | |
| dc.date.accessioned | 2019-06-04T08:41:24Z | |
| dc.date.available | 2019-06-04T08:41:24Z | |
| dc.date.issued | 2006 | |
| dc.identifier.isbn | 978-3-88579-189-8 | |
| dc.identifier.issn | 1617-5468 | |
| dc.identifier.uri | http://dl.gi.de/handle/20.500.12116/23479 | |
| dc.description.abstract | 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. | en |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e. V. | |
| dc.relation.ispartof | 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) | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-95 | |
| dc.title | A Unified Formal Foundation for Service Oriented Architectures | en |
| dc.type | Text/Conference Paper | |
| dc.pubPlace | Bonn | |
| mci.reference.pages | 7-19 | |
| mci.conference.sessiontitle | Regular Research Papers | |
| mci.conference.location | Hamburg | |
| mci.conference.date | 17.-18. Oktober 2006 | |
