English

MDA Models and PIM/PSM Transformations Using Extended Automata

Software Engineering 2020-08-04 v1 Formal Languages and Automata Theory

Abstract

This paper proposes a model of execution platform for the OMG request of a generic PlatformIndependent-Model (PIM) allowing realization of the Model Driven Architecture (MDA) standard. We propose AMDA (Automata based MDA), a method based on the use of parallel automata, which can be a common tool for building a PIM from UML diagrams (including OCL) and transforming the PIM to PSM automata and further to compilable code. Each platform would then have a mechanism to execute the translated code. Our architecture for a general PSM translator of these automata allows portable execution on various specific implementation platforms. This general translator must be written, once, for the languages and with the libraries of the required specific PSM. This allows also interoperability between different PSMs. An ATM case study example is presented to illustrate the approach.

Cite

@article{arxiv.2008.00474,
  title  = {MDA Models and PIM/PSM Transformations Using Extended Automata},
  author = {David Dayan and Rivka Kaplinsky and Aryeh Wiesen and Simon Bloch},
  journal= {arXiv preprint arXiv:2008.00474},
  year   = {2020}
}

Comments

11 pages, 5 figures, 2 tables

R2 v1 2026-06-23T17:35:04.080Z