Specifying and verifying contract-driven service compositions using commitments and model checking

•A novel approach is provided to specify and verify service compositions contracts.•BPEL is extended to represent specifications and mark the points to be verified.•Properties are derived automatically from composition implementations.•The verification process relies on commitment logic and its mode...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Expert systems with applications 2017-05, Vol.74, p.151-184
Hauptverfasser:	Bataineh, Ahmed Saleh, Bentahar, Jamal, El Menshawy, Mohamed, Dssouli, Rachida
Format:	Artikel
Sprache:	eng
Schlagworte:	Automata theory BPEL Business Process Execution Language Coding Commitments Communicative commitments Contract-driven web services Contracts Labels Model checking Multiagent systems Program verification (computers) Programming languages Studies Transformations Violations Web service composition Web services
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!