Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Conference Object(2)
Publisher
ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems(1)
Lecture Notes in Business Information Processing(1)
Área temáticas
Programación informática, programas, datos, seguridad(2)
Administración pública y ciencia militar(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:googlescopus