Paper Info
Title
Behavior Alignment and Control Flow Verification of Process and Service Choreographies.
Abstract
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.
Year
Venue
Keywords
2012
JOURNAL OF UNIVERSAL COMPUTER SCIENCE
Verification,Choreography,Web Service,Business Process
Field
DocType
Volume
Data mining,Interaction nets,Business process,Software engineering,Computer science,Process modeling,Control flow,Formal representation,Choreography,Web service,Distributed computing
Journal
18
Issue
ISSN
Citations 
17
0948-695X
2
PageRank 
References 
Authors
0.39
15
3
Name
Order
Citations
PageRank
Jorge Roa1316.27
Pablo David Villarreal27510.67
Omar Chiotti317325.87