Publication: A new approach for compliance checking in service workflows
Issued Date
2014-01-01
Resource Type
ISSN
15513203
Other identifier(s)
2-s2.0-84900827869
Rights
Mahidol University
Rights Holder(s)
SCOPUS
Bibliographic Citation
IEEE Transactions on Industrial Informatics. Vol.10, No.2 (2014), 1452-1460
Suggested Citation
Wattana Viriyasitavat, Li Da Xu, Wantanee Viriyasitavat A new approach for compliance checking in service workflows. IEEE Transactions on Industrial Informatics. Vol.10, No.2 (2014), 1452-1460. doi:10.1109/TII.2014.2301143 Retrieved from: https://repository.li.mahidol.ac.th/handle/20.500.14594/33763
Research Projects
Organizational Units
Authors
Journal Issue
Thesis
Title
A new approach for compliance checking in service workflows
Abstract
The emergence of the Internet-of-Things (IoT) refers to not only the ability to identify physical objects, but also to identify many types of virtual objects, including services. Such identification plays a crucial role in service workflow. The success of a service workflow requires the composition of services where requirements must be satisfied. However, the large-scale open environment of today's Internet poses significant challenges for efficient compliance checking algorithms of those requirements. This paper is based on the previous progressive work on Service Workflow Specification language (SWSpec), the uniformed representation of requirements, and the compliance checking algorithms based on Constrained Truth Table (CTT) and Exclusive Disjunctive Normal Form (EDNF). In this paper, a new algorithm is proposed, which significantly reduces the cost of time complexity. In some cases, this algorithm is able to run in polynomial time. Experiments are conducted to evaluate and compare the performance of these algorithms. © 2012 IEEE.