A Novel Architecture for Requirement-Oriented Participation Decision in Service Workflows

被引:58
作者
Xu, Li Da [1 ]
Viriyasitavat, Wattana [2 ]
机构
[1] Chinese Acad Sci, Inst Comp Technol, Beijing 100190, Peoples R China
[2] Chulalongkorn Univ, Fac Commerce & Accountancy, Dept Stat, Bangkok 10330, Thailand
关键词
Algorithm; compliance checking; internet of things (IoT); service; specification language; workflow; MULTIDISCIPLINARY DESIGN; FRAMEWORK; TRUST; METHODOLOGY; INTEGRATION; SYSTEMS; LOGIC;
D O I
10.1109/TII.2014.2301378
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The internet-of-things (IoT) technology allows auto-organized and intelligent entities such as services to be interoperable and able to act independently. This enables the advanced form of service composition by allowing individual services to dynamically form a service workflow. In this context, services possess different requirements where the compliance of such requirements reflects trust-based decision for participating in a workflow. Large-scale service interoperations pose significant challenges for compliance checking of those requirements. These include inconsistency of requirements that can be represented in different formats and dynamicity, where a workflow can be modified based on service creation, modification, or termination. These factors directly affect the decision of a service to be part of a workflow. To solve these problems, service workflow specification (SWSpec) has been proposed as a consistent and uniformed representation of requirements, and algorithms based on constrained truth table (CTT) have been developed for automatic compliance checking. In this paper, the architecture of these elements is created to facilitate 1) a workflow owner in specifying properties of services to be part of a workflow and 2) services to express their requirements where their compliance reflects trust-based participation decision.
引用
收藏
页码:1478 / 1485
页数:8
相关论文
共 46 条
[1]  
[Anonymous], 2000, Int. J. Softw. Tools for Technol. Transf. (STTT), DOI [10.1007/s100090050046, DOI 10.1007/S100090050046]
[2]  
[Anonymous], 1981, Lecture Notes in Computer Science, DOI DOI 10.1007/BFB0025774
[3]   Applying Propositional Logic to Workflow Verification [J].
Henry H. Bi ;
J. Leon Zhao .
Information Technology and Management, 2004, 5 (3-4) :293-318
[4]   Data configurations in railway signalling engineering - an application of enterprise systems techniques [J].
Chen, Xiangxian ;
Guan, Aiai ;
Qiu, Xinxi ;
Huang, Hai ;
Liu, Jiquan ;
Duan, Huilong .
ENTERPRISE INFORMATION SYSTEMS, 2013, 7 (03) :354-374
[5]   Enterprise systems in financial sector - an application in precious metal trading forecasting [J].
Chen, Xiaozhu ;
Fang, Yiwei .
ENTERPRISE INFORMATION SYSTEMS, 2013, 7 (04) :558-568
[6]   Energy-aware resource service scheduling based on utility evaluation in cloud manufacturing system [J].
Cheng, Ying ;
Tao, Fei ;
Liu, Yilong ;
Zhao, Dongming ;
Zhang, Lin ;
Xu, Lida .
PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART B-JOURNAL OF ENGINEERING MANUFACTURE, 2013, 227 (12) :1901-1915
[7]   USING BRANCHING TIME TEMPORAL LOGIC TO SYNTHESIZE SYNCHRONIZATION SKELETONS [J].
EMERSON, EA ;
CLARKE, EM .
SCIENCE OF COMPUTER PROGRAMMING, 1982, 2 (03) :241-266
[8]   An Integrated Approach to Snowmelt Flood Forecasting in Water Resource Management [J].
Fang, Shifeng ;
Xu, Lida ;
Pei, Huan ;
Liu, Yongqiang ;
Liu, Zhihui ;
Zhu, Yunqiang ;
Yan, Jianwu ;
Zhang, Huifang .
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2014, 10 (01) :548-558
[9]   Workflow process modelling and resource allocation based on polychromatic sets theory [J].
Gao, Xinqin ;
Xu, Lida ;
Wang, Xueping ;
Li, Yan ;
Yang, Mingshun ;
Liu, Yong .
ENTERPRISE INFORMATION SYSTEMS, 2013, 7 (02) :198-226
[10]   Facilitating relational governance through service level agreements in IT outsourcing: An application of the commitment-trust theory [J].
Goo, Jahyun ;
Huang, C. Derrick .
DECISION SUPPORT SYSTEMS, 2008, 46 (01) :216-232