Mostrar el registro sencillo del ítem
dc.contributor.author
Roa, Jorge
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.contributor.author
Chiotti, Omar Juan Alfredo
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.contributor.author
Villarreal, Pablo David
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.date.available
2019-02-14T18:23:49Z
dc.date.issued
2012-01
dc.identifier.citation
Roa, Jorge; Chiotti, Omar Juan Alfredo; Villarreal, Pablo David; Behavior Alignment and Control Flow Verification of Process and Service Choreographies; Graz University of Technology; Journal of Universal Computer Science; 18; 17; 1-2012; 2383-2406
dc.identifier.issn
0948-695X
dc.identifier.uri
http://hdl.handle.net/11336/70201
dc.description.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.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Graz University of Technology
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.rights
info:eu-repo/semantics/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nd/2.5/ar/
dc.subject
Verification
dc.subject
Choreography
dc.subject
Web Service
dc.subject
Business Process
dc.title
Behavior Alignment and Control Flow Verification of Process and Service Choreographies
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2019-02-12T17:23:15Z
dc.journal.volume
18
dc.journal.number
17
dc.journal.pagination
2383-2406
dc.journal.pais
Austria
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.journal.ciudad
Graz
dc.description.fil
Fil: Roa, Jorge. Universidad Tecnológica Nacional. Facultad Regional Santa Fe; Argentina
dc.description.fil
Fil: Chiotti, Omar Juan Alfredo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Desarrollo y Diseño. Universidad Tecnológica Nacional. Facultad Regional Santa Fe. Instituto de Desarrollo y Diseño; Argentina
dc.description.fil
Fil: Villarreal, Pablo David. Universidad Tecnológica Nacional. Facultad Regional Santa Fe; Argentina
dc.journal.title
Journal of Universal Computer Science
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/http://www.jucs.org/doi?doi=10.3217/jucs-018-17-2383
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.3217/jucs-018-17-2383
Archivos asociados