A framework for the verification of UML models. Examples using Petri Nets
Entity
UAM. Departamento de Ingeniería InformáticaPublisher
Universidad de AlicanteDate
2003Citation
JISBD 03: VIII Jornadas de Ingeniería del Software y Bases de Datos: actas. Alicante: Universidad de Alicante, 2003. 325-334ISBN
84-688-3836-5Funded by
Partially sponsored by the Spanish Ministry of Science and Technology (TIC2002-01948)Subjects
Graph Rewriting; Meta-Modelling; UML; Petri Nets; Model Checking; InformáticaNote
This is an electronic version of the paper presented at the VIII Jornadas de Ingeniería del Software y Bases de Datos, held in Alicante on 2003Rights
© Los autoresAbstract
This paper presents a framework for the verification of UML
models. Our approach is to build meta-models for the different UML
diagrams and translate them into formalisms (whose syntax is also specified
with a meta-model) in which properties of interest can be proved.
The translation (denotational semantics) as well as the formalisms operational
semantics are formally described by means of graph grammars.
We show the implementation of these concepts in the Multi-Paradigm
tool AToM3 together with an example in which we translate a UML design
(composed of Statecharts, Class and Sequence diagrams) into Petri
nets for subsequent verification using model checking
Files in this item
Google Scholar:Guerra Sánchez, Esther
-
Lara Jaramillo, Juan de
This item appears in the following Collection(s)
Related items
Showing items related by title, author, creator and subject.