The Extension of Semantic Formalization of Service Workflow Specification Language
文献类型：期刊论文
| 作者 | Xu, Li Da2,3; Bi, Zhuming1; Viriyasitavat, Wattana4 |
| 刊名 | IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
 |
| 出版日期 | 2019-02-01 |
| 卷号 | 15期号:2页码:741-754 |
| 关键词 | Distributed intelligence proof quality of service semantic formulization service composition service-oriented computing service selection service workflow specification languages system complexity |
| ISSN号 | 1551-3203 |
| DOI | 10.1109/TII.2018.2807400 |
| 英文摘要 | 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. |
| WOS研究方向 | Automation & Control Systems ; Computer Science ; Engineering |
| 语种 | 英语 |
| WOS记录号 | WOS:000458199000012 |
| 出版者 | IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/3454]  |
| 专题 | 中国科学院计算技术研究所期刊论文_英文 |
| 通讯作者 | Viriyasitavat, Wattana |
| 作者单位 | 1.Purdue Univ, Dept Civil & Mech Engn, Ft Wayne, IN 46805 USA 2.Old Dominion Univ, Norfolk, VA 23529 USA 3.Chinese Acad Sci, Inst Comp Technol, Beijing 100190, Peoples R China 4.Chulalongkorn Univ, Fac Commerce & Accountancy, Dept Stat, Bangkok 10330, Thailand |
| 推荐引用方式 GB/T 7714 | Xu, Li Da,Bi, Zhuming,Viriyasitavat, Wattana. The Extension of Semantic Formalization of Service Workflow Specification Language[J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS,2019,15(2):741-754. |
| APA | Xu, Li Da,Bi, Zhuming,&Viriyasitavat, Wattana.(2019).The Extension of Semantic Formalization of Service Workflow Specification Language.IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS,15(2),741-754. |
| MLA | Xu, Li Da,et al."The Extension of Semantic Formalization of Service Workflow Specification Language".IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS 15.2(2019):741-754. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。