Mostrando 10 resultados de: 26
Filtros aplicados
Publisher
Lecture Notes in Business Information Processing(3)
Iberian Conference on Information Systems and Technologies, CISTI(2)
Association for Information Systems - 12th Americas Conference On Information Systems, AMCIS 2006(1)
Centro Latinoamericano de Estudios en Informática(1)
ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems(1)
Área temáticas
Ciencias de la computación(15)
Programación informática, programas, datos, seguridad(8)
Dirección general(6)
Métodos informáticos especiales(4)
Gestión y servicios auxiliares(3)
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:scopusBTransformer-a tool for BPMN to CSP+ T transformation
OtherAbstract:Palabras claves:Autores:Luis Eduardo Mendoza MoralesFuentes:googleBusiness Process Veri cation: The Application of Model Checking and Timed Automata
OtherAbstract: MENDOZA MORALES, Luis E. Business Process Veri cation: The Application of Model Checking and Timed APalabras claves:Autores:Luis Eduardo Mendoza MoralesFuentes:googleBusiness process verification using a Formal Compositional Approach and Timed Automata
Conference ObjectAbstract: Several firms are defining their Business Processes (BPs) using the standard Business Process ModelPalabras claves:Compositional verification, Critical Business Process, Model checking, Task model, Timed AutomataAutores:Luis Eduardo Mendoza MoralesFuentes:googlescopusAn 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:googlescopus