Journal
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
Volume 10, Issue 2, Pages 1452-1460Publisher
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/TII.2014.2301143
Keywords
Algorithm; compliance checking; Internet-of-Things (IoT); service; specification language; workflow
Ask authors/readers for more resources
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.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available