You are here

Domain Analysis

Modeling Car Crash Management with KAOS

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.
Artifact Development Contexts: 
Modeling Languages/Notations: 
Artifact Types: 
Keywords: 

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

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.
Modeling Languages/Notations: 
System/Software Domains: 
Artifact Types: 

bCMS Case Study: FAMILIAR

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.
Artifact Types: 
Modeling Languages/Notations: 
Keywords: 
System/Software Domains: 

Applying BPMN on bCMS

Artifact Details
Author(s): 
Muhammad Atif Qureshi
Organization(s): 
University of Technology Sydney
Submitter's Name: 
Muhammad Atif Qureshi
Revision Summary: 
No revisions submitted.
Artifact Types: 
Modeling Languages/Notations: 
Artifact Development Contexts: 

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.
Lifecycle Phases: 
Artifact Types: 
Modeling Languages/Notations: 
Keywords: 
System/Software Domains: 

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.
Keywords: 
Artifact Types: 
Artifact Development Contexts: 
Lifecycle Phases: 
Modeling Languages/Notations: 

bCMS case study models for OO-SPL approach

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.
Lifecycle Phases: 
Artifact Types: 
Artifact Development Contexts: 
System/Software Domains: 

DT4BP to TimedCaaFWrk model transformation

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.
Artifact Types: 
Lifecycle Phases: 
System/Software Domains: 
Artifact Development Contexts: 
Subscribe to RSS - Domain Analysis