中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
Synthesizing Service Composition Models on the Basis of Temporal Business Rules

文献类型:期刊论文

作者Yu, Jian1,2; Han, Yan-Bo3; Han, Jun4; Jin, Yan4; Falcarin, Paolo2; Morisio, Maurizio2
刊名JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
出版日期2008-11-01
卷号23期号:6页码:885-894
关键词service composition composition synthesis behavioral model temporal patterns
ISSN号1000-9000
DOI10.1007/s11390-008-9196-x
英文摘要Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a framework and associated techniques to generate the process model of a service composition from a set of temporal business rules. Dedicated techniques including path-finding, branching structure identification and parallel structure identification are used for semi-automatically synthesizing the process model from the semantics-equivalent Finite State Automata of the rules. These process models naturally satisfy the prescribed behavioral constraints of the rules. With the domain knowledge encoded in the temporal business rules, an executable service composition program, e.g., a BPEL program, can be further generated from the process models. A running example in the e-business domain is used for illustrating our approach throughout this paper.
资助项目European IST-FP6 Project[34101] ; National Natural Science Foundation of China[60573117] ; Basic Research 973 Program of China[2207CB310804] ; Australian Research Council[LP0775188]
WOS研究方向Computer Science
语种英语
WOS记录号WOS:000261179300001
出版者SCIENCE PRESS
源URL[http://119.78.100.204/handle/2XEOYT63/11230]  
专题中国科学院计算技术研究所期刊论文_英文
通讯作者Yu, Jian
作者单位1.Univ Adelaide, Sch Comp Sci, Adelaide, SA 5005, Australia
2.Politecn Torino, Dept Automat & Informat, I-10129 Turin, Italy
3.Chinese Acad Sci, Inst Comp Technol, Grid & Serv Comp Res Ctr, Beijing 100190, Peoples R China
4.Swinburne Univ Technol, Fac ICT, Hawthorn, Vic 3122, Australia
推荐引用方式
GB/T 7714
Yu, Jian,Han, Yan-Bo,Han, Jun,et al. Synthesizing Service Composition Models on the Basis of Temporal Business Rules[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2008,23(6):885-894.
APA Yu, Jian,Han, Yan-Bo,Han, Jun,Jin, Yan,Falcarin, Paolo,&Morisio, Maurizio.(2008).Synthesizing Service Composition Models on the Basis of Temporal Business Rules.JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,23(6),885-894.
MLA Yu, Jian,et al."Synthesizing Service Composition Models on the Basis of Temporal Business Rules".JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 23.6(2008):885-894.

入库方式: OAI收割

来源:计算技术研究所

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。