Browse Repository

94 results found
Title Description Author(s) Updated
Modeling Crisis Management System with the Restricted Use Case Modeling Approach

In this work, we modeled the Crisis Management System (CMS) case study using a new use case modeling approach, named as Restricted Use Case Modelin

Gong Zhang^1, Tao Yue^2, Shaukat Ali^2 Sun, 11/03/2013 - 20:23
Modeling Car Crash Management with KAOS Antoine Cailliau, Christophe Damas, Bernard Lambeau, and Axel van Lamsweerde Thu, 09/12/2013 - 00:19

The purpose of the artefact is to divide requirements into invariant and relaxed requirements and then using the correspondance rules b/w Relax and

Jean-Michel Bruel Thu, 09/05/2013 - 06:09
CMA@RE SysMLKaosVersionRemodd.pdf Christophe Gnaho^1, Régine Laleau^1, Farida Semmak^1, Jean-Michel Bruel^2 Sat, 05/28/2016 - 18:12
Coloured Petri Net Model of the bCMS system using CPN Tools

The presented model was constructed as a high-level specification of the bCMS system using CPN Tools.

Isabel Sofia Sousa Brito, João Paulo Barros Tue, 09/03/2013 - 13:29
Behavior as-is and to-be and Goal-Belief models

Complete SEAM models: Behavior as-is, Behavior to-be, Witness Goal-Belief, Complete Goal-Belief.

George Popescu Tue, 09/03/2013 - 07:03

This artifact is two-fold: 1.

Philippe Collet Tue, 09/17/2013 - 11:41
Requirements Modeling in SEAM: The Example of a Car Crash Management System

Requirements Modeling in SEAM: The Example of a Car Crash Management System - CMA@RE paper

George Popescu Sat, 05/28/2016 - 18:14
Using AMoDE-RT and DERAF to specify a Crisis Management System -- Complete Model Description

Complete description of the Car Crisis Management System case study performed using AMoDE-RT approach and DERAF aspects framework.

Marco Aurelio Wehrmeister Wed, 08/28/2013 - 00:59
Complete Goal-Belief

The complete Goal-Belief representation of all actors.

George Popescu Sat, 05/28/2016 - 18:15
Witness Goal-Belief

The Goal-Belief representation of the Witness

George Popescu Sat, 05/28/2016 - 18:16
Behavior to-be

Behavior to-be model

George Popescu Sat, 05/28/2016 - 18:14
Behavior as-is

Behavior as-is model

George Popescu Sat, 05/28/2016 - 18:17
URML Model of bCMS (HTML Export) Florian Schneider Tue, 09/10/2013 - 09:24
MontiArcAutomaton BumperBot Models

Model of the BumperBot robot.

Markus Look, Antonio Navarro Perez, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann Thu, 09/19/2013 - 11:56
Webmail MTS model

An MTS synthesized to represent the Webmail example specification

Marsha Chechik Sat, 05/28/2016 - 18:19
Webmail Example Specification

The artifact describes the specification of webmail application example.

Marsha Chechik Sat, 05/28/2016 - 18:20
Multi-models to aid Decision Making in Enterprises

Intentional Model , System Dynamic Model , Agent based model

Suman Roychoudhury, Asha Rajbhoj, Vinay Kulkarni, Deepali Kholkar Sat, 05/28/2016 - 18:23
SensApp DSML composition case study: From Sensors to Visualization Dashboards

This file shows several models used in the SensApp case study, using 11 different formalisms.

Sébastien Mosser, Ivan Logre, Nicolas Ferry, Philippe Collet Sat, 05/28/2016 - 18:25
Railroad Crossing Management System

This artifact includes two models: A fUML Activity diagram which models the "The Barrier Motor Controller" and a TFSM which models the "The Barrier

Matias Vara Larsen Sat, 05/28/2016 - 18:12
Applying BPMN on bCMS Muhammad Atif Qureshi Mon, 07/01/2013 - 07:39
UML-UseCaseDiagram-AssessmentForm(post-workshop) Ana Moreira Sat, 05/28/2016 - 18:28
A Catalog of UML Model Transformations

This document presents a set of model transformations on UML class and state machine models, as a preliminary version of a comprehensive catalogue

Kevin Lano Thu, 10/25/2012 - 16:39
Updated Activity Theory bCMS Model Description for CMA-2012

Models describing the use of Activity Theory in modeling the high level requirements of the bCMS system.

Geri Georg Thu, 10/18/2012 - 13:51
Umple submission for Comparing Modeling Artifacts workship at Models 2012

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

Timothy Lethbridge Sun, 09/23/2012 - 12:11