BpelVT: A Tool for Formal Validation of Web Service Orchestrations

To validate a web service composition, we have developed, in a previous work, a formal approach which takes into account both generic and specific properties. Generic properties can be checked for any invoked web services when the specific properties are different interdependence relationships betwe...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Sellami, W., Hadj Kacem, Hatem, Hadj Kacem, Ahmed
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	ANTLR Business Educational institutions generic properties Grammar Irrigation Process control specific properties SPIN/Promela Web service orchestration Web services WS-BPEL XML
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!