The Extension of Semantic Formalization of Service Workflow Specification Language

doi:10.1109/TII.2018.2807400

	The Extension of Semantic Formalization of Service Workflow Specification Language
	Viriyasitavat, Wattana 1; Xu, Li Da 2,3; Bi, Zhuming 4
	2019-02-01
发表期刊	IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
ISSN	1551-3203
卷号	15 期号:2 页码:741-754
摘要	Service-Oriented Computing (SOC) is changing the way modern information systems that are designed, operated, and evolved. SOC makes possible to aggregate distributed resources at the phases of decision-making support and system operations. When myriads of resources with similar functionalities are available, effective methodologies are demanded to select services and compose them as service workflows for the specified goals. The computation for workflow composition is very complex since it depends on the numbers of services and their dynamic characteristics. Therefore, composing optimized workflows in a timely manner poses a great challenge. We are highly motivated to reduce the complexity of service selection and composition. The formalized semantics in SWSpec is extended so that unqualified or inferior services can be eliminated directly from the scope of the design solution space. In this paper, a brief review of the proposed SWSpec language is given and the focus is on the sematic formalization. A new compositional proof-system is developed with a set of inference rules and the proven system properties. The proposed semantic formalization has its great significance in reducing the complexity of composing workflows and developing efficient algorithms for compliance checking.
关键词	Distributed intelligence proof quality of service semantic formulization service composition service-oriented computing service selection service workflow specification languages system complexity
DOI	10.1109/TII.2018.2807400
收录类别	SCI
语种	英语
WOS研究方向	Automation & Control Systems ; Computer Science ; Engineering
WOS类目	Automation & Control Systems ; Computer Science, Interdisciplinary Applications ; Engineering, Industrial
WOS记录号	WOS:000458199000012
出版者	IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
引用统计	被引频次：17[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/3455
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Viriyasitavat, Wattana
作者单位	1.Chulalongkorn Univ, Fac Commerce & Accountancy, Dept Stat, Bangkok 10330, Thailand 2.Chinese Acad Sci, Inst Comp Technol, Beijing 100190, Peoples R China 3.Old Dominion Univ, Norfolk, VA 23529 USA 4.Purdue Univ, Dept Civil & Mech Engn, Ft Wayne, IN 46805 USA
推荐引用方式 GB/T 7714	Viriyasitavat, Wattana,Xu, Li Da,Bi, Zhuming. The Extension of Semantic Formalization of Service Workflow Specification Language[J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS,2019,15(2):741-754.
APA	Viriyasitavat, Wattana,Xu, Li Da,&Bi, Zhuming.(2019).The Extension of Semantic Formalization of Service Workflow Specification Language.IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS,15(2),741-754.
MLA	Viriyasitavat, Wattana,et al."The Extension of Semantic Formalization of Service Workflow Specification Language".IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS 15.2(2019):741-754.