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
- Institución
- Consejo Nacional de Investigaciones Científicas y Técnicas
- OAI Identificador
- oai:ri.conicet.gov.ar:11336/83829
Ver los metadatos del registro completo
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 |