Tool Support for BPEL Verification in ActiveBPEL Engine

The BPEL is designed for integrating and orchestrating Web services and it provides the profound solution to model business process relying on Web service platform. ActiveBPEL is a commercial-grade open source implementation engine for BPEL. In this paper, we describe the work on tool support for th...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	ActiveBPEL Automata Business Chaos Engines Informatics Mathematical model Simple object access protocol Software engineering System recovery Timed Automata UPPAAL Verification Web services Workflow language WSBPEL
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!