Tool Tutorial

From VariaMos Wiki
Revision as of 16:56, 1 August 2016 by Jcmunoz (Talk | contribs) (Created page with "Online Tutorial (Under development) ==Introduction to SAS== ===Self Adaptive and adaptive system=== === Requirements Enginnering approach for SAS=== ==Introduction to Varia...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Online Tutorial (Under development)


Contents

Introduction to SAS

Self Adaptive and adaptive system

Requirements Enginnering approach for SAS

Introduction to VariaMos

What is VariaMos and what are the current supported features?

Go to [1] for a complete list of features.

Requisites and Configuration

VariaMos can run on any machine with Java 1.7.xx or above, but operations (verification, configuration and simulation) requires SWI Prolog and is currently supported on Win 32/64 bits, OSX and Linux (Tested on Ubuntu 14.04). Go to [2] for VariaMos requisites and Configuration steps. Go to [3] to download the last version of the tool.

Introduction to REFAS

Models Supported in REFAS

Approach to requirements definition in REFAS

The difference between REFAS and VariaMos

Concepts of REFAS supported on VariaMos

Modeling on VariaMos

How models such as the REFAS models are supported on VariaMos?

How to define model in VariaMos?

Variability Model and Soft Goal models

Working with Variability model and SG models

Video demonstration on Variability model definition

Step by step example on Variability model definition

Context Models

Working with Context models

Video demonstration on Context Model definition

Step by step example on Context Model definition

Soft Goal Satisficing Model

Working with SG Satisfing models

Video demonstration on SG Satisfing model definition

Step by step example on SG Satisfing model definition

Instance Expressions

Video demonstration on Instance Expression definition
Step by step example on Instance Expression definition

Assets Model

Video demonstration on Asset Model definition

Step by step example on Asset Model definition

Model verification on VariaMos

The meaning of verification

How to verify a model in VariaMos

Video demonstration of model verification

Step by step example on model verification

Model configuration on VariaMos

The meaning of configuration

How to configure a model in VariaMos

Video demonstration of model configuration

Step by step example on model configuration

Model simulation on VariaMos

The meaning of simulation

How to simulate a model in VariaMos

Video demonstration of model simulation

Step by step example on model simulation

MetaModel edition (Future support)

Abstract and Concrete Syntax edition (MetaModel)

Supporting semantics for MetaModel

Semantic Expressions

Semantic Expression definition

Semantic Expression association

Semantic Expressions Sets

Integration of VariaMos with other tools

MAPE loop supported

Middleware required

Reasoning supported

External Adaptation Control Adaptation Decision Criteria