Mostrando 4 resultados de: 4
Filtros aplicados
Publisher
ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems(1)
Information and Software Technology(1)
Lecture Notes in Business Information Processing(1)
Proceedings of the 2012 IEEE 35th Software Engineering Workshop, SEW 2012(1)
Área temáticas
Gestión y servicios auxiliares(2)
Programación informática, programas, datos, seguridad(2)
Administración pública y ciencia militar(1)
Ciencias de la computación(1)
Dirección general(1)
Compositional verification of business processes modelled with BPMN
Conference ObjectAbstract: A specific check that is required to be performed as part of the Business Process Modelling (BPM) isPalabras claves:Business process modelling, Compositional verification, Formal specification, Model-checking, Task modelAutores:Luis Eduardo Mendoza Morales, Pérez M.A., Tuñón M.I.C.Fuentes:googlescopusAutomatic compositional verification of business processes
Conference ObjectAbstract: Nowadays the Business Process Modelling Notation (BPMN) has become a standard to provide a notationPalabras claves:Business process modelling, Formal Methods, Model-checking, Task model, VerificationAutores:Luis Eduardo Mendoza Morales, Tuñón M.I.C.Fuentes:googlescopusAutomating the transformation from BPMN models to CSP+T specifications
Conference ObjectAbstract: The complexity of modern Business Process Modelling (BPM) together with the absence of the appropriaPalabras claves:BPMN 2.0, Business process modelling, csp, CSP+T, Model-checking, VerificationAutores:Luis Eduardo Mendoza Morales, Tuñón M.I.C.Fuentes:googlescopusConceptual framework for business processes compositional verification
ArticleAbstract: Context: To guarantee the success of Business Process Modelling (BPM) it is necessary to check whethPalabras claves:Business process modelling, Compositional verification, Formal specification, Model-checking, Task modelAutores:Luis Eduardo Mendoza Morales, Pérez M.A., Tuñón M.I.C.Fuentes:googlescopus