Mostrando 10 resultados de: 11
Filtros aplicados
Publisher
ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings(1)
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)
ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems(1)
International Journal of Critical Computer-Based Systems(1)
Área temáticas
Programación informática, programas, datos, seguridad(2)
Economía laboral(1)
Física aplicada(1)
Instrumentos de precisión y otros dispositivos(1)
Métodos informáticos especiales(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 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: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:scopusA compositional scheme and framework for safety critical systems verification
Conference ObjectAbstract: Safety-Critical Systems (SCS)must satisfy dependability requirements such as availability, reliabiliPalabras claves:Autores:Luis Eduardo Mendoza Morales, 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:googlescopusA formal compositional verification approach for safety-critical systems correctness: Model-Checking based methodological approach to automatically verify safety critical systems software
Conference ObjectAbstract: The complexity of modern Safety-Critical Systems (SCS) together with the absence of appropriate softPalabras claves:Compositional verification, methodological approach, Model-checking, Safety-critical systems, Software specification, Software verificationAutores:Luis Eduardo Mendoza Morales, Tuñón M.I.C.Fuentes:scopusA methodological approach for checking safety-critical systems software
ArticleAbstract: The complexity of modern safety-critical systems together with the absence of appropriate software vPalabras claves:Compositional verification, Critical computer-based systems, methodological approach, Model checking, Safety-critical systems software, Software specification, Software verificationAutores:Luis Eduardo Mendoza Morales, Tuñón M.I.C.Fuentes:googlescopusA methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
ArticleAbstract: By following a methodological approach, introduced in a previous work, a correct system specificatioPalabras claves:CSP+T, Formal specification, Real-time software systems, UML-RTAutores:Benghazi-Akhlaki K., Luis Eduardo Mendoza Morales, Terriza J.H., Tuñón M.I.C.Fuentes:googlescopusImplementing a transformation from BPMN to CSP+T with ATL: Lessons learnt
Conference ObjectAbstract: Among the challenges to face in order to promote the use of techniques of formal verification in orgPalabras claves:Autores:González A., Luis Eduardo Mendoza Morales, Pérez M.A., Tuñón M.I.C.Fuentes:googlescopus