Logo des Repositoriums
 

A Unified Formal Foundation for Service Oriented Architectures

dc.contributor.authorPuhlmann, Frank
dc.contributor.editorWeske, Mathias
dc.contributor.editorNüttgens, Markus
dc.date.accessioned2019-06-04T08:41:24Z
dc.date.available2019-06-04T08:41:24Z
dc.date.issued2006
dc.description.abstractThis 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.identifier.isbn978-3-88579-189-8
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/23479
dc.language.isoen
dc.publisherGesellschaft für Informatik e. V.
dc.relation.ispartofEMISA 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.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-95
dc.titleA Unified Formal Foundation for Service Oriented Architecturesen
dc.typeText/Conference Paper
gi.citation.endPage19
gi.citation.publisherPlaceBonn
gi.citation.startPage7
gi.conference.date17.-18. Oktober 2006
gi.conference.locationHamburg
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
7.pdf
Größe:
279.03 KB
Format:
Adobe Portable Document Format