Compliance Checking for Requirement-Oriented Service Workflow Interoperations
- 17 January 2014
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Industrial Informatics
- Vol. 10 (2), 1469-1477
- https://doi.org/10.1109/tii.2014.2301132
Abstract
The Internet of Things (IoT) not only identifies physical and virtual objects, but also enables the connection of such objects in an internet-like structure. In this context, services are one of the most important technologies where IoT can be utilized to enhance dynamic interoperation in the form of service workflows. In opened environments, because services are dynamically gathered, IoT identification is an essential feature which leads to more complicated service composition than before. Since services may possess different requirements, it becomes very challenging to determine suitable services to be a part of a workflow. Compliance of such requirements, reflecting trust-based decision of a service to join a workflow, plays a significant role in the success of service interoperation. This paper presents the compliance checking algorithms for service workflow specification (SWSpec) and service workflow net (SWN) to support trust-based decision for service workflow participation. The application of SWSpec is illustrated using an example of a disaster warning system. Finally, the prototype is developed to evaluate the performance of the proposed algorithms.Keywords
This publication has 24 references indexed in Scilit:
- Internet of Things (IoT): A vision, architectural elements, and future directionsFuture Generation Computer Systems, 2013
- Technology designed to combat fakes in the global supply chainBusiness Horizons, 2013
- Information systems for enterprise integration, interoperability and networking: theory and applicationsEnterprise Information Systems, 2013
- Systematisation of Interoperability Body of Knowledge: the foundation for Enterprise Interoperability as a scienceEnterprise Information Systems, 2013
- Information architecture for supply chain quality managementInternational Journal of Production Research, 2011
- Trust-Based Secure Workflow Path ConstructionLecture Notes in Computer Science, 2005
- NuSMV 2: An OpenSource Tool for Symbolic Model CheckingLecture Notes in Computer Science, 2002
- Model CheckingPublished by Elsevier BV ,2001
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982
- Specification and verification of concurrent systems in CESARLecture Notes in Computer Science, 1982