Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis

The Business Process Execution Language for Web Services WS-BPEL provides an technology to aggregate encapsulated functionalities for defining high-value Web services. For a distributed application in a B2B interaction, the partners simply need to expose their provided functionality as BPEL processe...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Moser, S., Martens, A., Gorlach, K., Amme, W., Godlinski, A.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Aggregates Application software Controllability Data analysis Data mining Debugging Formal verification Protocols Testing Web services
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!