文献类型：会议论文

英文题名：A Petri net semantics for web service in choreography description language

作者：Li, Jieying[1]; Zhang, Huijuan[1]; Dun, Haiqiang[2]

第一作者：李洁颖

通讯作者：Li, J.|[1048481ddef28]李静;[10484681ddef28]李静;[104848cb5de05]李建;[1048478be7ac1]李靓;

机构：[1] School of Computer and Information Engineering, Henan University of Economics and Law, Zhengzhou, China; [2] China Mobile Group, Henan Company Limited, Zhengzhou, China

第一机构：河南财经政法大学计算机与信息工程学院

通讯机构：[1]School of Computer and Information Engineering, Henan University of Economics and Law, Zhengzhou, China|[1048412]河南财经政法大学计算机与信息工程学院;[10484]河南财经政法大学;

会议论文集：Proceedings - 6th International Conference on Internet Computing for Science and Engineering, ICICSE 2012

会议日期：April 21, 2012 - April 23, 2012

会议地点：Zhengzhou, Henan, China

语种：英文

外文关键词：Petri nets - Quality of service - Semantic Web - Semantics - Websites

摘要：Web service composition refers to the process of combining several value-added services. It has received much interest in enterprise applications. Web Service Choreography Description Language (WSCDL) is a W3C specification for the description of peer-to-peer collaborations of participants from a global viewpoint. As an XML-based language aimed to become a Web service composition standard for choreography, WSCDL may clarify the opaque points, detect and repair design errors in the language definition, yet provide the theoretical grounding for relative tools development. Petri net is a first-class formal modeling tool that has been widely used in many fields. Based on a Petri net, this paper proposed a formal model that can be used to clarify the semantics of WSCDL and verify some relative properties throughout. The model helps analyze the semantic compatibility between a business process specified in Business Process Execution Language (BPEL) and a WSCDL process. ? 2012 IEEE.