Synthesizing Service Composition Models on the Basis of Temporal Business Rules

doi:10.1007/s11390-008-9196-x

	Synthesizing Service Composition Models on the Basis of Temporal Business Rules
	Yu, Jian 1,2; Han, Yan-Bo 3; Han, Jun 4; Jin, Yan 4; Falcarin, Paolo 1; Morisio, Maurizio 1
	2008-11-01
发表期刊	JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
ISSN	1000-9000
卷号	23 期号:6 页码:885-894
摘要	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.
关键词	service composition composition synthesis behavioral model temporal patterns
DOI	10.1007/s11390-008-9196-x
收录类别	SCI
语种	英语
资助项目	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类目	Computer Science, Hardware & Architecture ; Computer Science, Software Engineering
WOS记录号	WOS:000261179300001
出版者	SCIENCE PRESS
引用统计	被引频次：16[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/11231
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Yu, Jian
作者单位	1.Politecn Torino, Dept Automat & Informat, I-10129 Turin, Italy 2.Univ Adelaide, Sch Comp Sci, Adelaide, SA 5005, Australia 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.