Wattana ViriyasitavatLi Da XuWantanee ViriyasitavatChulalongkorn UniversityInstitute of Computing Technology Chinese Academy of SciencesOld Dominion UniversityMahidol University2018-11-092018-11-092014-01-01IEEE Transactions on Industrial Informatics. Vol.10, No.2 (2014), 1452-1460155132032-s2.0-84900827869https://repository.li.mahidol.ac.th/handle/20.500.14594/33763The 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.Mahidol UniversityComputer ScienceEngineeringArticleSCOPUS10.1109/TII.2014.2301143