Abstract
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to implementation allowing the development of highly automated and optimized code generators for UML CASE tools. Model transformation systems provide visual but formal background to specify arbitrary transformations in the Model Driven Architecture (the leading trend in software engineering). In the current paper, we describe a general encoding of model transformation systems as executable Action Semantics expressions to provide a standard way for automatically generating the implementation of formal (and provenly correct) transformations by off-the-shelf MDA tools. In addition, we point out a weakness in the Action Semantics standard that must be improved to achieve a stand-alone and functionally complete action specification language.
| Original language | English |
|---|---|
| Pages (from-to) | 167-186 |
| Number of pages | 20 |
| Journal | Periodica Polytechnica, Electrical Engineering |
| Volume | 47 |
| Issue number | 3-4 |
| Publication status | Published - 2003 |
Fingerprint
Keywords
- Action semantics
- Graph transformation
- MDA
- Model transformation
- UML
ASJC Scopus subject areas
- Electrical and Electronic Engineering
Cite this
UML action semantics for model transformation systems. / Varró, D.; Pataricza, András.
In: Periodica Polytechnica, Electrical Engineering, Vol. 47, No. 3-4, 2003, p. 167-186.Research output: Contribution to journal › Article
}
TY - JOUR
T1 - UML action semantics for model transformation systems
AU - Varró, D.
AU - Pataricza, András
PY - 2003
Y1 - 2003
N2 - The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to implementation allowing the development of highly automated and optimized code generators for UML CASE tools. Model transformation systems provide visual but formal background to specify arbitrary transformations in the Model Driven Architecture (the leading trend in software engineering). In the current paper, we describe a general encoding of model transformation systems as executable Action Semantics expressions to provide a standard way for automatically generating the implementation of formal (and provenly correct) transformations by off-the-shelf MDA tools. In addition, we point out a weakness in the Action Semantics standard that must be improved to achieve a stand-alone and functionally complete action specification language.
AB - The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to implementation allowing the development of highly automated and optimized code generators for UML CASE tools. Model transformation systems provide visual but formal background to specify arbitrary transformations in the Model Driven Architecture (the leading trend in software engineering). In the current paper, we describe a general encoding of model transformation systems as executable Action Semantics expressions to provide a standard way for automatically generating the implementation of formal (and provenly correct) transformations by off-the-shelf MDA tools. In addition, we point out a weakness in the Action Semantics standard that must be improved to achieve a stand-alone and functionally complete action specification language.
KW - Action semantics
KW - Graph transformation
KW - MDA
KW - Model transformation
KW - UML
UR - http://www.scopus.com/inward/record.url?scp=3042812432&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=3042812432&partnerID=8YFLogxK
M3 - Article
AN - SCOPUS:3042812432
VL - 47
SP - 167
EP - 186
JO - Periodica polytechnica Electrical engineering and computer science
JF - Periodica polytechnica Electrical engineering and computer science
SN - 2064-5260
IS - 3-4
ER -