Browse Repository
| 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 | |
| RELAX/SysML/KAOS |
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 |
| bCMS Case Study: FAMILIAR |
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 |