| Publication type: |
 |
Conference proceedings |
|
| Subject: |
|
Computer Science/Programming Languages
|
|
| Title: |
|
Model Transformations Require Formal Semantics |
|
| Author(s): |
|
Yu Sun 1, Zekai Demirezen 1, Tomaz Lukman 2, Marjan Mernik 1, 3, Jeff Gray 1 |
|
| Laboratory: |
|
|
|
| Abstract: |
|
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. |
|
| Fulltext language: |
|
English |
|
|
| Book title: |
|
Domain-Specific Program Development |
|
| Audience: |
|
international |
|
| Publication date: |
|
2008 |
|
| Page, identifiant, ...: |
|
5 |
|
| Scientifics editor: |
|
Julia Lawall and Laurent Réveillère |
|
|
| Conference or book title: |
|
Domain-Specific Program Development |
|
| Conference date: |
|
2008 |
|
| City: |
|
Nashville |
|
| Country: |
|
United States |
|
|
Export this paper
