Model evolution and system evolution

Título:

Model evolution and system evolution

Autor:

Pons, Claudia Fabiana

Colaboradores:

; Baum, Gabriel Alfredo; Kutsche, Ralf-Detlef

Temas:

DESARROLLO DE MODELOSSEMÁNTICAUML

En:

Journal of Computer Science & Technology; 1(3)

Resumen:

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.

URL/DOI:

http://goo.gl/4W34uB

Medio:

Soporte electrónico

Tipo de documento:

Artículo

Descripción física:

1 archivo (258,6 KB)

Idioma:

Inglés

Publicación:

Universidad Nacional de La Plata. Facultad de Informática, 2000

Puede solicitar más fácilmente el ejemplar con: A0589

Ver estantes