 |
|
|
|
| HAL : hal-00350261, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| Domain-Specific Program Development, Nashville : États-Unis (2008) |
|
|
|
|
| Model Transformations Require Formal Semantics |
|
|
| Yu Sun 1Zekai Demirezen 1 |
|
|
| (2008) |
|
|
|
| Despite the increasing interest in model-driven engineering, there are many open issues that need to be addressed to advance the technology and promote its adoption. This position paper outlines several current limitations of model transformation, with a specific emphasis on model optimization. A primary shortcoming that can be found in many model transformation approaches and tools is the lack of formal semantics to define the meaning of a modeling abstraction. This inadequacy is the source of many problems surrounding the practice of model engineering. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Department of Computer and Information Sciences - University of Alabama (CIS) |
|
|
|
University of Alabama at Birmingham |
|
|
| 2 : | Department of Systems and Control |
|
|
|
Jozef Stefan Institute |
|
|
| 3 : | Faculty of Elec. Eng. and Computer Science |
|
|
|
University of Maribor |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Langage de programmation |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00350261, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00350261 | |
| oai:hal.archives-ouvertes.fr:hal-00350261 | |
| Contributeur : Laurent Réveillère | |
| Soumis le : Mardi 6 Janvier 2009, 12:54:58 | |
| Dernière modification le : Mardi 13 Janvier 2009, 09:38:59 | |
