ReMoDD The Repository for Model-Driven Development

This document presents a set of model transformations on UML class and state machine models, as a preliminary version of a comprehensive catalogue for use with UML development. It is offered as a free resource to UML developers. Each transformation is provided with an explanation of its purpose, examples of its use and conditions
necessary for its correct use.

The submitted models apply the the Concern-Oriented Reuse (CORE) approach to the bCMS case study. CORE is a concern-oriented, model-driven software development approach for reactive systems that covers the early requirements, late requirements, high-level and low-level design phases of software development. It is based on two aspect-oriented modelling notations: the Aspect-Oriented User Requirements Notation (AoURN) and Reusable Aspect Models (RAM).

This document presents the VCL model of the barbados Crisis Management System. It is a submission for the Comparing Modelling Approaches workshop an event of the Models 2012 conference.

This report provides an overview describing how the bCMS case study is implemented in LEAP.

The document contains the bCMS specification highlighting the concern of self-adaptivity using the Adapt Case Modeling Language.

Final submission to CMA'12, Modeling of CMS Domain in i*

UML-RT is a UML profile for real-time and embedded systems, supported by IBM's Rational Software Architect - Real-Time Edition. kiltera is a language for concurrent, mobile and real-time systems based on the pi-calculus. This archive contains a transformation from UML-RT models into kiltera models for analysis and simulation.

The archive contains:
- A model transformation from UML-RT models to kiltera
- Some sample UML-RT models, generated kiltera code and intermediate representation
- The meta-models for the intermediate representation (a subset of UML-RT) and kiltera models

This submission contains 14 high and low-level design models of parts of a single bCMS system using the Reusable Aspect Models approach (RAM). The included aspects are:

• Command
• Copyable
• Crisis
• FireStation
• Locatable
• Map
• Named
• NetworkedCommand
• PoliceStation
• RoutePlanning
• Singleton
• SocketCommunication
• Vehicle
• VirtualSharedData

Activity Theory (AT) is a framework used in the psychological field to describe human activity. We have applied the framework to the bCMS case study system, and combined it with URN (User Requirements Notation) to provide formal semantics for AT concepts. We use AT in combination with URN to specify the requirements of the main scenario of the bCMS system, and then extend the URN specification using AOM techniques to cover possible variations described in the alternate and exception scenarios. We developed heuristics to transform models from AT to URN, and we can also use these heuristics to generate the corresponding AT models for on‐going stakeholder dialog when changes are proposed as part of system evolution. Combining AT with URN and MDD allows us to benefit from the expertise acquired in the sociology/psychology domains; to smooth the transition from informal and social context to a formal, system‐oriented description of the requirements; and to communicate with different categories of stakeholders and address their concerns.