Using Propositional Logic for Requirements Verification of Service Workflow

This paper presents a requirement-oriented automated framework for formal verification of service workflows. It is based on our previous work describing the requirement-oriented service workflow specification language called SWSpec. This language has been developed to facilitate workflow composer as...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on industrial informatics 2012-08, Vol.8 (3), p.639-646
Hauptverfasser:	Li Da Xu, Viriyasitavat, W., Ruchikachorn, P., Martin, A.
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithm design and analysis Algorithms Automated Automation Cognition Compliance checking Context enterprise systems Heuristic algorithms Industries Labeling Logic propositional logic service service industry service industry informatics specification language Specification languages Specifications Studies Workflow
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!