An Abstract Machine Architecture for Web Service Based Business Process Management

We define an abstract operational model of the Business Process Execution Language for Web Services (BPEL) based on the abstract state machine (ASM) formalism. That is, we abstractly model dynamic properties of the key language constructs through the construction of a BPEL abstract machine. Specific...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Farahbod, Roozbeh, Glässer, Uwe, Vajihollahi, Mona
Format:	Buchkapitel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!