Journal article icon

Journal article

Using Propositional Logic for Requirements Verification of Service Workflow

Abstract:

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 well as arbitrary services willing to participate in a workflow to formally and uniformly impose their own requirements. As such, SWSpec provides a formal way to regulate and control workflows. Th...

Expand abstract
Publication status:
Published

Actions


Access Document


Publisher copy:
10.1109/TII.2012.2187908

Authors


Viriyasitavat, W More by this author
Ruchikachorn, P More by this author
Journal:
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
Volume:
8
Issue:
3
Pages:
639-646
Publication date:
2012-08-05
DOI:
EISSN:
1941-0050
ISSN:
1551-3203
URN:
uuid:e5068a10-79ea-4d78-96de-ef84db53f88e
Source identifiers:
349350
Local pid:
pubs:349350

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP