A framework for the verification of UML models. Examples using Petri Nets

Guerra Sánchez, Esther; Lara Jaramillo, Juan de

UAM_Biblioteca

dc.contributor.author	Guerra Sánchez, Esther
dc.contributor.author	Lara Jaramillo, Juan de
dc.contributor.other	UAM. Departamento de Ingeniería Informática	es_ES
dc.date.accessioned	2015-05-05T18:15:45Z
dc.date.available	2015-05-05T18:15:45Z
dc.date.issued	2003
dc.identifier.citation	JISBD 03: VIII Jornadas de Ingeniería del Software y Bases de Datos: actas. Alicante: Universidad de Alicante, 2003. 325-334	en_US
dc.identifier.isbn	84-688-3836-5
dc.identifier.uri	http://hdl.handle.net/10486/665917
dc.description	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 2003	en_US
dc.description.abstract	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	en_US
dc.description.sponsorship	Partially sponsored by the Spanish Ministry of Science and Technology (TIC2002-01948)	en_US
dc.format.extent	10 pág.	es_ES
dc.format.mimetype	application/pdf	en
dc.language.iso	eng	en
dc.publisher	Universidad de Alicante	es_ES
dc.rights	© Los autores	es_ES
dc.subject.other	Graph Rewriting	en_US
dc.subject.other	Meta-Modelling	en_US
dc.subject.other	UML	en_US
dc.subject.other	Petri Nets	en_US
dc.subject.other	Model Checking	en_US
dc.title	A framework for the verification of UML models. Examples using Petri Nets	en_US
dc.type	conferenceObject	en
dc.type	bookPart	en
dc.subject.eciencia	Informática	es_ES
dc.identifier.publicationfirstpage	325
dc.identifier.publicationlastpage	334
dc.relation.eventdate	November 12-14, 2003	en_US
dc.relation.eventnumber	8
dc.relation.eventplace	Alicante (Spain)	en_US
dc.relation.eventtitle	VIII Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2003	es_ES
dc.type.version	info:eu-repo/semantics/publishedVersion	en
dc.contributor.group	Herramientas Interactivas Avanzadas (ING EPS-003)	es_ES
dc.rights.accessRights	openAccess	en
dc.authorUAM	Lara Jaramillo, Juan De (259157)
dc.facultadUAM	Escuela Politécnica Superior