Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

Model evolution and system evolution

Document type: Articulo

Abstract

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.

General information

Issue date: 2000
Document language: English
Journal: Journal of Computer Science & Technology; vol. 1, no. 3
Origin: Facultad de Informática

Download Files

Thumbnail
Documento completo
Download file (252.4Kb) - PDF
Icon
External link
 
Created: 14 de abril de 2004
Available since: 14 de abril de 2004
Please, use one of this identificators(URI) for cite o linking this item:
  • http://sedici.unlp.edu.ar/handle/10915/9395

    • This item appears in the following Collection(s)

    Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0) Except where otherwise noted, this item's license is described as Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)