Mostrando 8 resultados de: 8
Filtros aplicados
Publisher
Lecture Notes in Business Information Processing(3)
ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems(1)
ICEIS 2011 - Proceedings of the 13th International Conference on Enterprise Information Systems(1)
Proceedings of the 2012 IEEE 35th Software Engineering Workshop, SEW 2012(1)
Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2007; In Conjunction with ICEIS 2007(1)
Área temáticas
Ciencias de la computación(5)
Administración pública y ciencia militar(1)
Dirección general(1)
Gestión y servicios auxiliares(1)
Programación informática, programas, datos, seguridad(1)
Área de conocimiento
Ingeniería de software(4)
Choreography modeling compliance for timed business models
ArticleAbstract: Business Process Modeling (BPM) is a conceptual activity for embodying the functioning and complex sPalabras claves:BPMN 2.0, Business process modeling, Choreography, Choreography modeling conformance, Timed business processes, Transformation rulesAutores:Luis Eduardo Mendoza Morales, Tuñón M.I.C.Fuentes:googlescopusCompositional 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 by model-checking
Conference ObjectAbstract: The work presented in this article is aimed at a contribution to the Enterprise Information SystemsPalabras claves:Autores: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:googlescopusBTRANSFORMER: A tool for BPMN to CSP+T transformation
Conference ObjectAbstract: In any organisation, properties such as scope, structure, deployment, capability, structural consistPalabras claves:Business process modelling language, Formal software specification, Model transformation languages, Process calculus, Transformation toolAutores:Domínguez K., González A., Luis Eduardo Mendoza Morales, Mendez E., Pérez M.A., Tuñón M.I.C.Fuentes:scopusAn interpretation of behavioral consistency of UML-RT diagrams in terms of CSP+T
Conference ObjectAbstract: Although the syntax of UML and UML-RT diagrams is well understood and widely accepted in the industrPalabras claves:Autores:Benghazi-Akhlaki K., Luis Eduardo Mendoza Morales, Terriza J.H., 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:googlescopus