UML action semantics for model transformation systems

D. Varró, András Pataricza

Research output: Contribution to journalArticle

7 Citations (Scopus)

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 languageEnglish
Pages (from-to)167-186
Number of pages20
JournalPeriodica Polytechnica, Electrical Engineering
Volume47
Issue number3-4
Publication statusPublished - 2003

Fingerprint

Semantics
Specification languages
Software engineering
Systems analysis

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 journalArticle

@article{101233d331cb4f57aebd4c8e2aa37945,
title = "UML action semantics for model transformation systems",
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.",
keywords = "Action semantics, Graph transformation, MDA, Model transformation, UML",
author = "D. Varr{\'o} and Andr{\'a}s Pataricza",
year = "2003",
language = "English",
volume = "47",
pages = "167--186",
journal = "Periodica polytechnica Electrical engineering and computer science",
issn = "2064-5260",
publisher = "Budapest University of Technology and Economics",
number = "3-4",

}

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 -