VMC: A Tool for Product Variability Analysis
نویسندگان
چکیده
We present VMC, a tool for the modeling and analysis of variability in product lines. It accepts a product family specified as a modal transition system, possibly with additional variability constraints, after which it can automatically generate all the family’s valid products, visualize the family/products as modal/labeled transition systems, and efficiently model check properties expressed in an actionand state-based branching-time temporal logic over products and families alike.
منابع مشابه
VMC: A Tool for the Analysis of Variability in Software Product Lines
ERCIM NEWS 93 April 2013 50 types that augment a virtual facility with energy consumption information along with spacial characteristics, location and status of equipment, while providing simple ways to control them. Unlike previous work that has largely relied on CAD or VRML for scene generation, this work takes advantage of recent game engine technologies for fast and realtime rendering of fe...
متن کاملModel Checking Value-Passing Modal Specifications
Formal modelling and verification of variability concepts in product families has been the subject of extensive study in the literature on Software Product Lines. In recent years, we have laid the basis for the use of modal specifications and branching-time temporal logics for the specification and analysis of behavioural variability in product family definitions. A critical point in this forma...
متن کاملFrom Featured Transition Systems to Modal Transition Systems with Variability Constraints
We present an automatic technique to transform a subclass of featured transition systems into modal transition systems with additional sets of variability constraints in the specific format accepted by the variability model checker VMC. Both formal models are widely used in the field of software product line engineering and both come with a dedicated model checker. The transformation serves two...
متن کاملSOVA - A Tool for Semantic and Ontological Variability Analysis
Variability analysis in Software Product Line Engineering (SPLE) utilizes various software-related artifacts, including requirements specifications. Currently, measuring the similarity of requirements specifications for analyzing variability of software products mainly takes into account semantic considerations. This might lead to failure to capture important aspects of the software behavior as...
متن کاملVariaMos: a Tool for Product Line Driven Systems Engineering with a Constraint Based Approach
The creation of error-free variability models and their usage in product line analysis and product derivation is central to product line engineering (PLE). The complexity of these tasks makes tool support a success-critical factor. Tools supporting the core activities of PLE are a challenge and a real need for academics, industrial researchers, and practitioners of the PLE domain. In this paper...
متن کامل