Home

Domain Analysis

Modeling Car Crash Management with KAOS

Mon, 09/09/2013 - 01:50 — ancailliau
Artifact Details
Author(s): 
Antoine Cailliau, Christophe Damas, Bernard Lambeau, and Axel van Lamsweerde
Organization(s): 
Université catholique de Louvain
Submitter's Name: 
Antoine Cailliau
Programming/Modeling Languages: 
KAOS
Revision Summary: 
No revisions submitted.

Behavior as-is and to-be and Goal-Belief models

Thu, 08/22/2013 - 04:35 — georgepopescu
Artifact Details
Author(s): 
George Popescu
Organization(s): 
École Polytechnique Fédérale de Lausanne
Submitter's Name: 
George Popescu
Programming/Modeling Languages: 
SeamCAD v. 3.5.10 and 4.0.17
Artifact Description: 

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

Revision Summary: 
No revisions submitted.

bCMS Case Study: FAMILIAR

Wed, 08/21/2013 - 08:54 — PhilippeCollet
Artifact Details
Author(s): 
Philippe Collet
Organization(s): 
Université Nice Sophia Antipolis
Submitter's Name: 
Philippe Collet
Required Tool(s): 
Familiar v1.0.7 or upper: https://github.com/FAMILIAR-project/familiar-documentation/tree/master/installation
Programming/Modeling Languages: 
Feature Modeling with Familiar
Artifact Description: 

This artifact is two-fold: 1. The pdf report is the companion document to the paper presenting FAMILIAR as a feature-oriented approach to requirement and design modeling. It contains descriptions of input files, FAMILIAR scripts and results while illustrating the approach. The bCMS-SPL variability is captured and organized with scripts. It is also related to some technical variabilities of a supposed J2EE platform. 2. All FAMILIAR scripts and input files of this case study, which can be replayed by the FAMILIAR tool.

Revision Summary: 
No revisions submitted.

Applying BPMN on bCMS

Mon, 06/24/2013 - 22:01 — atif
Artifact Details
Author(s): 
Muhammad Atif Qureshi
Organization(s): 
University of Technology Sydney
Submitter's Name: 
Muhammad Atif Qureshi
Revision Summary: 
No revisions submitted.

The VCL Model of the Barbados Crisis Management System

Tue, 09/18/2012 - 08:03 — namalio
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.

CMA12 - CMS Domain- i* - Group 6

Mon, 09/17/2012 - 03:13 — jenhork
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.

bCMS case study models for OO-SPL approach

Tue, 11/29/2011 - 02:00 — istoan
Artifact Details
Author(s): 
Paul Istoan
Organization(s): 
University of Luxembourg
Submitter's Name: 
Paul Istoan
Required Tool(s): 
MagicDraw v.16
Programming/Modeling Languages: 
UML
Artifact Description: 

UML models for the OO-SPL modeling of the bCMS case study

Revision Summary: 
No revisions submitted.

DT4BP to TimedCaaFWrk model transformation

Fri, 10/28/2011 - 04:11 — alfredo.capozucca
Artifact Details
Author(s): 
Alfredo Capozucca
Organization(s): 
University of Luxembourg
Submitter's Name: 
Alfredo Capozucca
Required Tool(s): 
Eclipse Modeling Tools
Programming/Modeling Languages: 
ATL
Artifact Description: 

Model-to-Model transformation. This transformation allows a DT4BP complaint model to be translated to a Timed-CaaFWrk complaint model. The model transformation is used as translational semantics to defined part of the DT4BP modeling language

Revision Summary: 
No revisions submitted.
Syndicate content