Behavior Alignment and Control Flow Verification of Process and Service Choreographies

Autores
Roa, Jorge; Chiotti, Omar Juan Alfredo; Villarreal, Pablo David
Año de publicación
2012
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
 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.
Fil: Roa, Jorge. Universidad Tecnológica Nacional. Facultad Regional Santa Fe; Argentina
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
Fil: Villarreal, Pablo David. Universidad Tecnológica Nacional. Facultad Regional Santa Fe; Argentina
Materia
Verification
Choreography
Web Service
Business Process
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nd/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/70201
Acceder
id CONICETDig_f489f7eb798b16faf8b4c0292d26ca8e
oai_identifier_str oai:ri.conicet.gov.ar:11336/70201
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Behavior Alignment and Control Flow Verification of Process and Service ChoreographiesRoa, JorgeChiotti, Omar Juan AlfredoVillarreal, Pablo DavidVerificationChoreographyWeb ServiceBusiness Process 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.Fil: Roa, Jorge. Universidad Tecnológica Nacional. Facultad Regional Santa Fe; ArgentinaFil: 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; ArgentinaFil: Villarreal, Pablo David. Universidad Tecnológica Nacional. Facultad Regional Santa Fe; ArgentinaGraz University of Technology2012-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfapplication/pdfapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/70201Roa, 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-24060948-695XCONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/http://www.jucs.org/doi?doi=10.3217/jucs-018-17-2383info:eu-repo/semantics/altIdentifier/doi/10.3217/jucs-018-17-2383info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nd/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-10-15T14:38:18Zoai:ri.conicet.gov.ar:11336/70201instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-10-15 14:38:18.668CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Behavior Alignment and Control Flow Verification of Process and Service Choreographies
title Behavior Alignment and Control Flow Verification of Process and Service Choreographies
spellingShingle Behavior Alignment and Control Flow Verification of Process and Service Choreographies
Roa, Jorge
Verification
Choreography
Web Service
Business Process
title_short Behavior Alignment and Control Flow Verification of Process and Service Choreographies
title_full Behavior Alignment and Control Flow Verification of Process and Service Choreographies
title_fullStr Behavior Alignment and Control Flow Verification of Process and Service Choreographies
title_full_unstemmed Behavior Alignment and Control Flow Verification of Process and Service Choreographies
title_sort Behavior Alignment and Control Flow Verification of Process and Service Choreographies
dc.creator.none.fl_str_mv Roa, Jorge
Chiotti, Omar Juan Alfredo
Villarreal, Pablo David
author Roa, Jorge
author_facet Roa, Jorge
Chiotti, Omar Juan Alfredo
Villarreal, Pablo David
author_role author
author2 Chiotti, Omar Juan Alfredo
Villarreal, Pablo David
author2_role author
author
dc.subject.none.fl_str_mv Verification
Choreography
Web Service
Business Process
topic Verification
Choreography
Web Service
Business Process
dc.description.none.fl_txt_mv  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.
Fil: Roa, Jorge. Universidad Tecnológica Nacional. Facultad Regional Santa Fe; Argentina
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
Fil: Villarreal, Pablo David. Universidad Tecnológica Nacional. Facultad Regional Santa Fe; Argentina
description  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.
publishDate 2012
dc.date.none.fl_str_mv 2012-01
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/70201
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
0948-695X
CONICET Digital
CONICET
url http://hdl.handle.net/11336/70201
identifier_str_mv 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
0948-695X
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://www.jucs.org/doi?doi=10.3217/jucs-018-17-2383
info:eu-repo/semantics/altIdentifier/doi/10.3217/jucs-018-17-2383
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nd/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nd/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
application/pdf
application/pdf
application/pdf
dc.publisher.none.fl_str_mv Graz University of Technology
publisher.none.fl_str_mv Graz University of Technology
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1846082861447249920
score 13.22299

Publicaciones similares