Mostrando 6 resultados de: 6
Publisher
ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings(2)
International Journal of Simulation and Process Modelling(1)
Lecture Notes in Business Information Processing(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)
Science of Computer Programming(1)
Checking behavioural consistency of UML-RT models through trace-based semantics
Conference ObjectAbstract: Starting from a methodological approach intended to obtain a correct system specification in CSP+T fPalabras claves:CSP+T, Formal semantic, Formal specification, Real-time software systems, UML-RTAutores:Benghazi-Akhlaki K., 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:googlescopusAutomatic verification of business process integrity
ArticleAbstract: Software engineering methods have shown to be useful in Business Process Modelling (BPM) for improviPalabras claves:BP, BUSINESS PROCESS, Formal Methods, MC, Model-checking, modelling, VerificationAutores:Benghazi-Akhlaki K., Luis Eduardo Mendoza Morales, Tuñón M.I.C.Fuentes: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: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:googlescopusTowards uml-rt behavioural consistency
Conference ObjectAbstract: Having an objective of achieving a formal characterisation of Sequence Diagrams (UML-SD) as a meansPalabras claves:CSP+T, Formal semantics, State diagram, Timed sequence diagram, Timed traces, Timing constraintsAutores:Benghazi-Akhlaki K., Luis Eduardo Mendoza Morales, Terriza J.H., Tuñón M.I.C.Fuentes:googlescopus