文章基本信息

标题：Behavior Alignment and Control Flow Verification of Process and Service Choreographies
本地全文：下载
作者：Jorge Roa ; Pablo Villarreal ; Omar Chiotti 等
期刊名称：Journal of Universal Computer Science
印刷版ISSN：0948-6968
出版年度：2012
卷号：18
期号：17
页码：2383
出版社：Graz University of Technology and Know-Center
摘要：The representation of process and service choreographies has been recognized as an important requirement in service-oriented methodologies. The guarantee of alignment between process and service choreographies and the verification of the behavior of choreographies represent an important improvement for such methodologies, since they enable the automatic generation of choreography service specifications from well-defined choreography process models. To deal with these issues, we propose a transformation pattern that guarantees behavior alignment between process and service choreographies, and a verification method for the control flow of choreographies, which can be applied to any choreography language. These approaches make use of the Global Interaction Nets (GI-Nets) language to formalize the behavior of process and service choreographies. This formal representation can then be used to conclude on the behavioral aspects of choreographies. In addition, we present a tool for the modeling, automatic generation and verification of GI-Nets, and apply the proposed approaches to the UP-ColBPIP and WS-CDL choreography languages.
关键词：Web service; business process; verification; vhoreography