Home
A framework for quantitative modeling and analysis of highly (re)configurable systems
QFLan is a software tool for the modeling and analysis of highly reconfigurable systems, including software product lines.
The tool offers an easy-to-use, rule-based probabilistic language to specify models with probabilistic behaviour. Quantitative constraints can be used to restrict the class of admissible configurations (or products), like (using a family of reconfigurable vending machines from here):
- machines can have a certain maximum cost,
- machines serving coffee-based beverages cannot sell tea,
- in order to serve cappuccino it is necessary to have the feature of serving also coffee,
Also it is possible to express conditions like:
- machines serving cappuccino provided with a coca dispenser can serve chocaccino.
QFLan has been combined with the distributed statistical model checker MultiVeStA to perform efficient quantitative analyses, including questions like:
- average cost of machines (at varying of time);
- probability of installing certain features;
- probability of dumping a machine.
QFLAN is a multi-platform application based on the Eclipse framework. It does not require any installation process, apart from a working installation of Java 8. For more information, visit the following page:
Instead, the complete source code of QFLan is available in the following page:
Please refer to the pages 'Modles from ...' for:- Usage information
- Reproducing experiments discussed in papers
- Obtaining models described in papers