Home‎ > ‎

HATS - Modeling and Analyzing of Variable Distributed Systems using ABS

We present the HATS (http://www.hats-project.eu) approach on modeling and analyzing distributed systems with a special focus on software product lines.

The tutorial introduces the abstract behavioral modeling language (ABS) and the accompanying tool support. Advanced issues like modeling variability and means to analyze and debug models are also touched.

A concise overview about the developed techniques can be found at:   http://www.cse.chalmers.se/research/hats/node/113

More details to be announced soon.