Model evolution and system evolution

Mostrar todas las versiones(2)

In this paper we define an evolution mechanism with formal semantics using the metamodeling methodology [Geisler et al.98] based on dynamic logic. A remarkable feature of the metamodeling methodology is the ability to define the relation of intentional and extensional entities within one level, allo...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Pons, Claudia, Baum, Gabriel Alfredo, Kutsche, Ralf-Detlef
Formato:	Articulo
Lenguaje:	Inglés
Publicado:	2000
Materias:	Ciencias Informáticas formal modeling; system evolution; model evolution; dynamic logic; UML Lógica dinámica Ingeniería de software Informática
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/9395 http://journal.info.unlp.edu.ar/wp-content/uploads/pap1.pdf
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-9395
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Inglés
topic	Ciencias Informáticas formal modeling; system evolution; model evolution; dynamic logic; UML Lógica dinámica Ingeniería de software Informática
spellingShingle	Ciencias Informáticas formal modeling; system evolution; model evolution; dynamic logic; UML Lógica dinámica Ingeniería de software Informática Pons, Claudia Baum, Gabriel Alfredo Kutsche, Ralf-Detlef Model evolution and system evolution
topic_facet	Ciencias Informáticas formal modeling; system evolution; model evolution; dynamic logic; UML Lógica dinámica Ingeniería de software Informática
description	In this paper we define an evolution mechanism with formal semantics using the metamodeling methodology [Geisler et al.98] based on dynamic logic. A remarkable feature of the metamodeling methodology is the ability to define the relation of intentional and extensional entities within one level, allowing not only for the description of structural relations among the modeling entities, but also for a formal definition of structural constraints and dynamic semantics of the modeled entities. While dynamic semantics on the extensional level means run-time behavior, dynamic semantics on intentional level describes model evolution in the system life cycle.
format	Articulo Articulo
author	Pons, Claudia Baum, Gabriel Alfredo Kutsche, Ralf-Detlef
author_facet	Pons, Claudia Baum, Gabriel Alfredo Kutsche, Ralf-Detlef
author_sort	Pons, Claudia
title	Model evolution and system evolution
title_short	Model evolution and system evolution
title_full	Model evolution and system evolution
title_fullStr	Model evolution and system evolution
title_full_unstemmed	Model evolution and system evolution
title_sort	model evolution and system evolution
publishDate	2000
url	http://sedici.unlp.edu.ar/handle/10915/9395 http://journal.info.unlp.edu.ar/wp-content/uploads/pap1.pdf
work_keys_str_mv	AT ponsclaudia modelevolutionandsystemevolution AT baumgabrielalfredo modelevolutionandsystemevolution AT kutscheralfdetlef modelevolutionandsystemevolution
bdutipo_str	Repositorios
_version_	1764820492004360194

Model evolution and system evolution

Ejemplares similares