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, Kutsche, Ralf-Detlef
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2001
Materias:
Ciencias Informáticas
Model evolution
system evolution
Models
SOFTWARE ENGINEERING
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23525
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23525
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
Model evolution
system evolution
Models
SOFTWARE ENGINEERING
spellingShingle Ciencias Informáticas
Model evolution
system evolution
Models
SOFTWARE ENGINEERING
Pons, Claudia
Kutsche, Ralf-Detlef
Model evolution and system evolution
topic_facet Ciencias Informáticas
Model evolution
system evolution
Models
SOFTWARE ENGINEERING
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 Objeto de conferencia
Objeto de conferencia
author Pons, Claudia
Kutsche, Ralf-Detlef
author_facet Pons, Claudia
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 2001
url http://sedici.unlp.edu.ar/handle/10915/23525
work_keys_str_mv AT ponsclaudia modelevolutionandsystemevolution
AT kutscheralfdetlef modelevolutionandsystemevolution
bdutipo_str Repositorios
_version_ 1764820465749065729

Ejemplares similares