Log In Sign Up

MDA Models and PIM/PSM Transformations Using Extended Automata

by   David Dayan, et al.

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.


Macrogeneration and Automata Libraries For COSMA design environment

In ICS, WUT a COSMA design environment is being developed. COSMA is base...

Parikh's theorem for infinite alphabets

We investigate commutative images of languages recognised by register au...

From Spot 2.0 to Spot 2.10: What's New?

Spot is a C ++ 17 library for LTL and ω-automata manipulation, with comm...

Coalgebraic Determinization of Alternating Automata

Coalgebra is a currently quite active field, which aims to look at gener...

Visual Designing and Debugging of Deterministic Finite-State Machines in FSM

This article presents a visualization tool for designing and debugging d...

Extended Algebraic State Transition Diagrams

Algebraic State-Transition Diagrams (ASTDs) are extensions of common aut...

Typestates to Automata and back: a tool

Development of software is an iterative process. Graphical tools to repr...