Model evolution and system evolution
Model evolution and system evolution
| cic.isFulltext | true | es |
| cic.isPeerReviewed | true | es |
| cic.lugarDesarrollo | Facultad de Informática | es |
| cic.version | info:eu-repo/semantics/submittedVersion | es |
| dc.date.accessioned | 2016-08-16T11:24:47Z | |
| dc.date.available | 2016-08-16T11:24:47Z | |
| dc.identifier.uri | https://digital.cic.gba.gob.ar/handle/11746/3628 | |
| dc.title | Model evolution and system evolution | es |
| dc.type | Documento de conferencia | es |
| dcterms.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\nconstraints 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. | es |
| dcterms.creator.author | Baum, Gabriel | es |
| dcterms.creator.author | Kutsche, Ralf-Detlef | es |
| dcterms.creator.author | Pons, Claudia Fabiana | es |
| dcterms.extent | 18 p. | es |
| dcterms.identifier.url | Recurso Completo | es |
| dcterms.isPartOf.issue | vol. 1, no. 3 | es |
| dcterms.isPartOf.series | Journal of Computer Science & Technology | es |
| dcterms.issued | 2000-01-01 | |
| dcterms.language | Español | es |
| dcterms.license | Attribution 4.0 International (BY 4.0) | es |
| dcterms.subject | Lógica dinámica | es |
| dcterms.subject | Ingeniería de software | es |
| dcterms.subject | Informática | es |
| dcterms.subject | formal modeling | en |
| dcterms.subject | system evolution | en |
| dcterms.subject | model evolution | en |
| dcterms.subject | dynamic logic | en |
| dcterms.subject | UML | en |
| dcterms.subject.materia | Ciencias de la Computación | es |
Archivos
Paquete original
1 - 1 de 1
- Nombre:
- Pons - Model evolution and system.pdf-PDFA.pdf
- Tamaño:
- 330.07 KB
- Formato:
- Adobe Portable Document Format
- Descripción:
- Documento completo