AToM3: A Tool for Multi-formalism and Meta-modelling

Lara Jaramillo, Juan de; Vangheluwe, Hans

UAM_Biblioteca

dc.contributor.author	Lara Jaramillo, Juan de
dc.contributor.author	Vangheluwe, Hans
dc.contributor.other	UAM. Departamento de Ingeniería Informática	es_ES
dc.date.accessioned	2015-05-29T17:47:56Z
dc.date.available	2015-05-29T17:47:56Z
dc.date.issued	2002
dc.identifier.citation	Fundamental Approaches to Software Engineering: 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings. Lecture Notes in Computer Science, Volumen 2306. Springer, 2002. 174-188.	en_US
dc.identifier.isbn	978-3-540-43353-8 (print)	en_US
dc.identifier.isbn	978-3-540-45923-1 (online)	en_US
dc.identifier.issn	0302-9743 (print)	en_US
dc.identifier.issn	1611-3349 (online)	en_US
dc.identifier.uri	http://hdl.handle.net/10486/666499
dc.description	The final publication is available at Springer via http://dx.doi.org/10.1007/3-540-45923-5_12	en_US
dc.description	Proceedings of 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002	en_US
dc.description.abstract	This article introduces the combined use of multi-formalism modelling and meta-modelling to facilitate computer assisted modelling of complex systems. The approach allows one to model different parts of a system using different formalisms. Models can be automatically converted between formalisms thanks to information found in a Formalism Transformation Graph (FTG), proposed by the authors. To aid in the automatic generation of multi-formalism modelling tools, formalisms are modelled in their own right (at a meta-level) within an appropriate formalism. This has been implemented in the interactive tool AToM3. This tool is used to describe formalisms commonly used in the simulation of dynamical systems, as well as to generate custom tools to process (create, edit, transform, simulate, optimise, ...) models expressed in the corresponding formalism. AToM3 relies on graph rewriting techniques and graph grammars to perform the transformations between formalisms as well as for other tasks, such as code generation and operational semantics specification.	en_US
dc.description.sponsorship	This paper has been partially sponsored by the Spanish Interdepartmental Commission of Science and Technology (CICYT), project number TEL1999-0181. Prof.Vangheluwe gratefully acknowledges partial support for this work by a National Sciences and Engineering Research Council of Canada (NSERC) Individual Research Grant.	en_US
dc.format.extent	16 pág.	es_ES
dc.format.mimetype	application/pdf	en
dc.language.iso	eng	en
dc.publisher	Springer Berlin Heidelberg	en_US
dc.relation.ispartof	Lecture Notes in Computer Science	en_US
dc.rights	© 2002 Springer-Verlag
dc.subject.other	Modelling and Simulation	en_US
dc.subject.other	Meta-Modelling	en_US
dc.subject.other	Multi-Formalism Modelling	en_US
dc.subject.other	Automatic code generation	en_US
dc.subject.other	Graph grammars	en_US
dc.title	AToM3: A Tool for Multi-formalism and Meta-modelling	en_US
dc.type	conferenceObject	en
dc.type	bookPart	en
dc.subject.eciencia	Informática	es_ES
dc.relation.publisherversion	http://dx.doi.org/10.1007/3-540-45923-5_12
dc.identifier.doi	10.1007/3-540-45923-5_12
dc.identifier.publicationfirstpage	174
dc.identifier.publicationlastpage	188
dc.identifier.publicationvolume	2306
dc.relation.eventdate	April 8–12, 2002	en_US
dc.relation.eventnumber	5
dc.relation.eventplace	Grenoble (France)	en_US
dc.relation.eventtitle	5th International Conference on Fundamental Approaches to Software Engineering, FASE 2002	en_US
dc.type.version	info:eu-repo/semantics/acceptedVersion	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