MDA Models and PIM/PSM Transformations Using Extended Automata
David Dayan, Rivka Kaplinsky, Aryeh Wiesen, and Simon Bloch

TL;DR
This paper introduces AMDA, a novel automata-based method for transforming UML-based PIMs into platform-specific models and executable code, enhancing portability and interoperability in MDA.
Contribution
It presents a new automata-based approach for automating PIM to PSM transformations and code generation within the MDA framework.
Findings
Automata-based transformations enable portable execution.
The approach supports interoperability between different PSMs.
A case study demonstrates practical applicability.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsModel-Driven Software Engineering Techniques · Advanced Software Engineering Methodologies · Formal Methods in Verification
