Customizing UML for the development of distrib - uted reactive systems and code generation to Ada 95
نویسندگان
چکیده
Distributed, reactive software systems, e.g. process control tools, can be modelled with the Unified Modelling Language (UML). Recently such UML models are used to generate source code automatically. Because of the complexity of UML, it is necessary to restrict the usage of its constructs by defining UML profiles to allow the automatic generation of source code. In this paper a UML profile for the design and implementation of distributed, reactive systems and an associated mapping to Ada 95 source code are introduced. Further, our experiences with the chosen approach are discussed.
منابع مشابه
MDA Approach in Real - Time Systems Development with Ada 2005
Over the years, number of design methodologies were developed. One of the state-of-the-art modeling approaches is Model Driven Architecture. This thesis is an attempt to utilize the MDA in a specific and complex domain – real-time systems development. In MDA framework there are three levels of abstraction: computation independent, platform independent and platform specific. The target environme...
متن کاملUsing UML to Develop Verifiable Reactive Systems
Designing a correct model for distributed and reactive systems is the first goal of using Rebeca modeling language as an actor-based language supported by a formal verification tool. This paper proposes a method to perform formal verification of reactive systems at the early stages of the design cycle. We propose a UML profile for modeling systems consisting of reactive objects which are commun...
متن کاملA Uml Profile for Code Generation of Component Based Distributed Systems
A consistent and unambiguous implementation of code generation (model to text transformation) from UML must rely on a well defined UML profile, customizing UML for a particular application domain. Such a profile must have a solid foundation in a formally correct ontology, formalizing the concepts and their relations in the specific domain, in order to avoid a maze or set of wildly created stere...
متن کاملMDA, Meta-Modelling and Model Transformation: Introducing New Technology into the Defence Industry
The paper discusses some practical examples of how Model Driven Architecture (MDA) technology is being applied to some vital issues in the development of avionics systems. A study primarily aimed at addressing the issue of Software Method and Tool obsolescence was conducted by a number of BAE Systems’ sites and York University. It investigated model transformation from legacy Teamwork1 models t...
متن کاملHigh level modeling for Real-time applications with UML & MARTE
This paper shows initial results and the research path in a methodology to use UML & the UML Profile for MARTE in the design of real-time applications. The modeling constructs used are those proposed in the High Level Application Modeling chapter of the MARTE standard. These elements are at a high abstraction level, and hence they need to be complemented with a number of constraints and rules o...
متن کامل