Model

Updated Activity Theory bCMS Model Description for CMA-2012

Artifact Details
Author(s): 
Geri Georg
Organization(s): 
Colorado State University
Submitter's Name: 
Geri Georg
Artifact Description: 

Models describing the use of Activity Theory in modeling the high level requirements of the bCMS system. Includes description of transformation (using heuristics) to URN models. Used in the CMA workshop at MODELS 2012. Also includes initial metamodel of a proposed DSL.

Revision Summary: 
No revisions submitted.

Umple submission for Comparing Modeling Artifacts workship at Models 2012

Artifact Details
Author(s): 
Timothy Lethbridge
Organization(s): 
University of Ottawa
Submitter's Name: 
Timothy Lethbridge
Programming/Modeling Languages: 
Umple
Artifact Description: 

This is the workshop version of the paper, in which Umple was applied to the BCms example.

Revision Summary: 
No revisions submitted.

Concern-Driven Development with AoURN and RAM

Artifact Details
Author(s): 
Omar Alam^1, Matthias Schöttle^1, Gunter Mussbacher^2, Jörg Kienzle^1
Organization(s): 
1) McGill University 2) Carleton University
Submitter's Name: 
Gunter Mussbacher
Programming/Modeling Languages: 
Aspect-oriented User Requirements Notation (AoURN), Reusable Aspect Models (RAM)
Artifact Description: 

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).

Revision Summary: 
No revisions submitted.

Models for bCMS using AspectSM

Artifact Details
Author(s): 
Shaukat Ali
Organization(s): 
Simula Research Laboratory
Submitter's Name: 
Shaukat Ali
Programming/Modeling Languages: 
UML, AspectSM UML Profile, MARTE UML Profile
Revision Summary: 
No revisions submitted.

The VCL Model of the Barbados Crisis Management System

Artifact Details
Author(s): 
Nuno Amálio
Organization(s): 
University of Luxembourg
Submitter's Name: 
Nuno Amálio
Required Tool(s): 
The 'Visual Contract Builder' (http://vcl.gforge.uni.lu/)
Programming/Modeling Languages: 
VCL
Artifact Description: 

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.

Revision Summary: 
No revisions submitted.

bCMS in LEAP

Artifact Details
Author(s): 
Tony Clark
Organization(s): 
Middlesex University
Submitter's Name: 
Tony Clark
Programming/Modeling Languages: 
LEAP
Artifact Description: 

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

Revision Summary: 
No revisions submitted.

Modeling with Adapt Cases

Artifact Details
Author(s): 
Markus Luckey
Organization(s): 
University of Paderborn
Submitter's Name: 
Markus Luckey
Programming/Modeling Languages: 
UML, Adapt Cases
Artifact Description: 

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

Revision Summary: 
No revisions submitted.

CMA12 - CMS Domain- i* - Group 6

Artifact Details
Author(s): 
Jennifer Horkoff
Organization(s): 
University of Trento
Submitter's Name: 
Jennifer Horkoff
Required Tool(s): 
OpenOME
Programming/Modeling Languages: 
i*
Artifact Description: 

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

Revision Summary: 
No revisions submitted.

UML-RT to kiltera model transformation and examples

Artifact Details
Author(s): 
Ernesto Posse, Juergen Dingel, Eyrak Paen
Organization(s): 
Queen's University
Submitter's Name: 
Ernesto Posse
Required Tool(s): 
IBM's Rational Software Architect Real-Time Edition (RSA-RTE) v. 8.0.4 Eclipse 3.6
Programming/Modeling Languages: 
For the models: - UML-RT (RSA-RTE) For the generated code: - kiltera 1.0b12 For the transformation: - RSA mapping transformation tool - Java™ Emitter Templates (JET) 2
Artifact Description: 

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

Revision Summary: 
No revisions submitted.

Reusable Aspect Models for the bCMS Case Study

Artifact Details
Author(s): 
Jörg Kienzle^1, Wisam Al Abed^1, Valentin Bonnet^1, Omar Alam^1, Jacques Klein^2, Jean-Marc Jézéquel
Organization(s): 
1 McGill University, 2 University of Luxembourg, 3 IRISA
Submitter's Name: 
Jörg Kienzle
Programming/Modeling Languages: 
Reusable Aspect Models, v3
Artifact Description: 

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
Revision Summary: 
No revisions submitted.
Syndicate content