Model transformations require formal semantics
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.
Keywords
programski jeziki;domensko specifični jeziki;semantika;modelirni jezik;transformacija programa;domain-specific languages;program transformation;model transformation;model-driven engineering;modeling language;
Data
| Language: | English |
|---|---|
| Year of publishing: | 2008 |
| Typology: | 1.08 - Published Scientific Conference Contribution |
| Organization: | UM FERI - Faculty of Electrical Engineering and Computer Science |
| UDC: | 004.439 |
| COBISS: |
12975894
|
| Views: | 1479 |
| Downloads: | 32 |
| Average score: | 0 (0 votes) |
| Metadata: |
|
Other data
| Secondary language: | English |
|---|---|
| Secondary keywords: | programski jeziki;domensko specifični jeziki;semantika;modelirni jezik;transformacija programa; |
| URN: | URN:SI:UM: |
| Pages: | 4 str. |
| ID: | 8717868 |
Recommended works:
Model transformations require formal semantics
2008,
no subtitle data available
Program comprehension for domain-specific languages
2008,
no subtitle data available
Comparing general-purpose and domain-specific languages
2010,
an empirical study
Is my DSL a modeling or programming language?
2008,
no subtitle data available
Domensko specifični jeziki
2002,
diplomska naloga univerzitetnega študijskega programa