文献类型：会议论文

英文题名：Generic contract-regulated web service composition specification and verification

作者：Zhai, Jie[1]; Shao, Zhiqing[1]; Guo, Yi[1]; Zhang, Haiteng[1]

机构：[1] Department of Computer Science and Engineering, ECUST, Shanghai, China

会议论文集：Proceedings of the 2012 International Conference on Information Technology and Software Engineering - Software Engineering and Digital Media Technology

会议日期：December 8, 2012 - December 10, 2012

会议地点：Beijing, China

语种：英文

外文关键词：Specifications - Reusability - Websites - Contracts - Formal verification - Web services

摘要：This paper presents a novel formal method to describe contracrt-regulated service composition components using abstract concepts and (semi-) automatically verify the specification. We model web service component behaviours and the contracts based on Tecton language expressed using "concept descriptions", to be used with Violet verification system to prove properties of service composition component. The verified generic contract-regulated composition specification at an abstract level will be used in a variety of instances as BPEL specification without repeating the proof. The main advantage of this method is to improve the reusability of specification and seamlessly integrate behaviour descriptions with contacts. ? 2013 Springer-Verlag.