Pattern based property specification and verification for service composition

	Pattern based property specification and verification for service composition
	Yu, Jian ; Manh, Tan Phan ; Han, Jun ; Jin, Yan ; Han, Yanbo ; Wang, Jianwu
	2006
发表期刊	WEB INFORMATION SYSTEMS - WISE 2006, PROCEEDINGS
ISSN	0302-9743
卷号	4255 页码:156-168
摘要	Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements for the application. A rigorous compliance checking approach usually needs the requirements being specified in property specification formalisms such as temporal logics, which are difficult for ordinary software practitioners to comprehend. In this paper, we propose a property pattern based specification language, named PROPOLS, and use it to verify BPEL service composition schemas. PROPOLS is easy to understand and use, yet is formally based. It builds on Dwyer et al.'s property pattern system and extends it with the logical composition of patterns to accommodate the specification of complex requirements. PROPOLS is encoded in an ontology language, OWL, to facilitate the sharing and reuse of domain knowledge. A Finite State Automata based framework for verifying BPEL schemas against PROPOLS properties is also discussed.
收录类别	SCI
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Artificial Intelligence ; Computer Science, Information Systems ; Computer Science, Theory & Methods
WOS记录号	WOS:000241624200015
出版者	SPRINGER-VERLAG BERLIN
引用统计	被引频次：57[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/10379
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Yu, Jian
作者单位	1.Swinburne Univ Technol, Fac ICT, Hawthorn, Vic, Australia 2.Chinese Acad Sci, Grid & Serv Comp Res Ctr, Inst Comp Technol, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Yu, Jian,Manh, Tan Phan,Han, Jun,et al. Pattern based property specification and verification for service composition[J]. WEB INFORMATION SYSTEMS - WISE 2006, PROCEEDINGS,2006,4255:156-168.
APA	Yu, Jian,Manh, Tan Phan,Han, Jun,Jin, Yan,Han, Yanbo,&Wang, Jianwu.(2006).Pattern based property specification and verification for service composition.WEB INFORMATION SYSTEMS - WISE 2006, PROCEEDINGS,4255,156-168.
MLA	Yu, Jian,et al."Pattern based property specification and verification for service composition".WEB INFORMATION SYSTEMS - WISE 2006, PROCEEDINGS 4255(2006):156-168.