A verification method for collaborative business processes

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 verification of collaborative processes is a key issue to consider in cross-organizational modeling methodologies. Some of the existing verification approaches provide only partial support, whereas others impose some restrictions to verify models with advanced control flow, compromise (completely or partially) the enterprise autonomy, or are focused on technology-dependent specifications. In order to deal with these issues we introduce Global Interaction Nets, which are based on Hierarchical and Colored Petri Nets, and the Global Interaction Soundness property, which was adapted from the classical definition of soundness, as the main correctness criterion. The method can be used to formalize and verify models defined with different modeling languages. In addition, we apply the method through a case study modeled with UP-ColBPIP, which is a modeling language for collaborative processes, and formalize its constructs by means of Global Interaction Nets.
Fil: Roa, Jorge. Universidad Tecnológica Nacional; 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; Argentina
Materia
Verification
Collaborative Business Processes
Petri Nets
B2b Collaborations
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/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/83829

id CONICETDig_7d5e6cb63534d2ab64bf9d6fce22b2c6
oai_identifier_str oai:ri.conicet.gov.ar:11336/83829
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling A verification method for collaborative business processesRoa, JorgeChiotti, Omar Juan AlfredoVillarreal, Pablo DavidVerificationCollaborative Business ProcessesPetri NetsB2b Collaborationshttps://purl.org/becyt/ford/2.2https://purl.org/becyt/ford/2The verification of collaborative processes is a key issue to consider in cross-organizational modeling methodologies. Some of the existing verification approaches provide only partial support, whereas others impose some restrictions to verify models with advanced control flow, compromise (completely or partially) the enterprise autonomy, or are focused on technology-dependent specifications. In order to deal with these issues we introduce Global Interaction Nets, which are based on Hierarchical and Colored Petri Nets, and the Global Interaction Soundness property, which was adapted from the classical definition of soundness, as the main correctness criterion. The method can be used to formalize and verify models defined with different modeling languages. In addition, we apply the method through a case study modeled with UP-ColBPIP, which is a modeling language for collaborative processes, and formalize its constructs by means of Global Interaction Nets.Fil: Roa, Jorge. Universidad Tecnológica Nacional; 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; ArgentinaSpringer Berlin Heidelberg2012-05info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/83829Roa, Jorge; Chiotti, Omar Juan Alfredo; Villarreal, Pablo David; A verification method for collaborative business processes; Springer Berlin Heidelberg; Lecture Notes in Business Information Processing; 99 LNBIP; PART 1; 5-2012; 293-3051865-1348CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/http://link.springer.com/chapter/10.1007%2F978-3-642-28108-2_29info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-28108-2_29info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-03T09:56:09Zoai:ri.conicet.gov.ar:11336/83829instacron: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-09-03 09:56:09.716CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv A verification method for collaborative business processes
title A verification method for collaborative business processes
spellingShingle A verification method for collaborative business processes
Roa, Jorge
Verification
Collaborative Business Processes
Petri Nets
B2b Collaborations
title_short A verification method for collaborative business processes
title_full A verification method for collaborative business processes
title_fullStr A verification method for collaborative business processes
title_full_unstemmed A verification method for collaborative business processes
title_sort A verification method for collaborative business processes
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
Collaborative Business Processes
Petri Nets
B2b Collaborations
topic Verification
Collaborative Business Processes
Petri Nets
B2b Collaborations
purl_subject.fl_str_mv https://purl.org/becyt/ford/2.2
https://purl.org/becyt/ford/2
dc.description.none.fl_txt_mv The verification of collaborative processes is a key issue to consider in cross-organizational modeling methodologies. Some of the existing verification approaches provide only partial support, whereas others impose some restrictions to verify models with advanced control flow, compromise (completely or partially) the enterprise autonomy, or are focused on technology-dependent specifications. In order to deal with these issues we introduce Global Interaction Nets, which are based on Hierarchical and Colored Petri Nets, and the Global Interaction Soundness property, which was adapted from the classical definition of soundness, as the main correctness criterion. The method can be used to formalize and verify models defined with different modeling languages. In addition, we apply the method through a case study modeled with UP-ColBPIP, which is a modeling language for collaborative processes, and formalize its constructs by means of Global Interaction Nets.
Fil: Roa, Jorge. Universidad Tecnológica Nacional; 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; Argentina
description The verification of collaborative processes is a key issue to consider in cross-organizational modeling methodologies. Some of the existing verification approaches provide only partial support, whereas others impose some restrictions to verify models with advanced control flow, compromise (completely or partially) the enterprise autonomy, or are focused on technology-dependent specifications. In order to deal with these issues we introduce Global Interaction Nets, which are based on Hierarchical and Colored Petri Nets, and the Global Interaction Soundness property, which was adapted from the classical definition of soundness, as the main correctness criterion. The method can be used to formalize and verify models defined with different modeling languages. In addition, we apply the method through a case study modeled with UP-ColBPIP, which is a modeling language for collaborative processes, and formalize its constructs by means of Global Interaction Nets.
publishDate 2012
dc.date.none.fl_str_mv 2012-05
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/83829
Roa, Jorge; Chiotti, Omar Juan Alfredo; Villarreal, Pablo David; A verification method for collaborative business processes; Springer Berlin Heidelberg; Lecture Notes in Business Information Processing; 99 LNBIP; PART 1; 5-2012; 293-305
1865-1348
CONICET Digital
CONICET
url http://hdl.handle.net/11336/83829
identifier_str_mv Roa, Jorge; Chiotti, Omar Juan Alfredo; Villarreal, Pablo David; A verification method for collaborative business processes; Springer Berlin Heidelberg; Lecture Notes in Business Information Processing; 99 LNBIP; PART 1; 5-2012; 293-305
1865-1348
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://link.springer.com/chapter/10.1007%2F978-3-642-28108-2_29
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-28108-2_29
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Springer Berlin Heidelberg
publisher.none.fl_str_mv Springer Berlin Heidelberg
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_ 1842269387445239808
score 13.13397