Mostrando 5 resultados de: 5
Filtros aplicados
Publisher
ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems(1)
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)
Revista Tecnica de la Facultad de Ingenieria Universidad del Zulia(1)
Área temáticas
Ciencias de la computación(2)
Dirección general(2)
Gestión y servicios auxiliares(1)
Programación informática, programas, datos, seguridad(1)
Compositional model-checking verification of critical systems
ArticleAbstract: Ensuring the correctness of Critical Systems (CS) becomes more complex if we consider that their behPalabras claves:Case study, Compositional verification, Critical software systems, Formal Methods, Model-checkingAutores:Benghazi-Akhlaki K., Luis Eduardo Mendoza Morales, Pérez M.A., Tuñón M.I.C.Fuentes:googlescopusCompositional 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:googlescopusBusiness process automatic verification with a compositional approach
ArticleAbstract: Currently, complex Business Processes (BP) are implemented by Enterprise Information Systems (EIS).Palabras claves:Business processes, Compositional verification, Formal specification, Model checking, Tasks modelAutores:Luis Eduardo Mendoza Morales, Pérez M.A., Tuñón M.I.C.Fuentes:googlescopusA conceptual scheme for compositional model-checking verification of critical communicating systems
Conference ObjectAbstract: When we build complex business and communication systems, the question worth to be answered: How canPalabras claves:Compositional verification, Model-checking, Real-time software systemsAutores:Ahklaki K.B., Luis Eduardo Mendoza Morales, Pérez M.A., 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