MDA Models and PIM/PSM Transformations Using Extended Automata

08/02/2020
by   David Dayan, et al.
0

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.

READ FULL TEXT
research
10/24/2017

Macrogeneration and Automata Libraries For COSMA design environment

In ICS, WUT a COSMA design environment is being developed. COSMA is base...
research
06/05/2023

A Term-based Approach for Generating Finite Automata from Interaction Diagrams

Non-deterministic Finite Automata (NFA) may represent regular languages ...
research
06/20/2022

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

Spot is a C ++ 17 library for LTL and ω-automata manipulation, with comm...
research
04/07/2018

Coalgebraic Determinization of Alternating Automata

Coalgebra is a currently quite active field, which aims to look at gener...
research
01/16/2020

Reward Shaping for Reinforcement Learning with Omega-Regular Objectives

Recently, successful approaches have been made to exploit good-for-MDPs ...
research
08/21/2020

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

This article presents a visualization tool for designing and debugging d...
research
09/17/2020

Typestates to Automata and back: a tool

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

Please sign up or login with your details

Forgot password? Click here to reset