Realizability of Choreographies Using Process Algebra Encodings

Service-oriented computing has emerged as a new software development paradigm that enables implementation of Web accessible software systems that are composed of distributed services which interact with each other via exchanging messages. Modeling and analysis of interactions among services is a cru...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on services computing 2012, Vol.5 (3), p.290-304
Hauptverfasser:	Salaun, Gwen, Bultan, Tevfik, Roohi, Nima
Format:	Artikel
Sprache:	eng
Schlagworte:	Algebra Asynchronous communication Automation Availability choreography Collaboration Computation Computer Science Encoding Mathematical models Message systems Peers process algebra Realizability Semantics Service protocols Software Engineering Specifications Synchronization verification
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!