VMC: A Tool for Product Variability Analysis

  • Maurice H. ter Beek
  • Franco Mazzanti
  • Aldi Sulova
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7436)

Abstract

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 action- and state-based branching-time temporal logic over products and families alike.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: A Logical Framework to Deal with Variability. In: Méry, D., Merz, S. (eds.) IFM 2010. LNCS, vol. 6396, pp. 43–58. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  2. 2.
    Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: Formal Description of Variability in Product Families. In: SPLC 2011, pp. 130–139. IEEE (2011)Google Scholar
  3. 3.
    ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76(2), 119–135 (2011)MATHCrossRefGoogle Scholar
  4. 4.
    Classen, A., Cordy, M., Heymans, P., Legay, A., Schobbens, P.-Y.: Model Checking Software Product Lines with SNIP. To appear in Int. J. Softw. Tools Technol. Transfer (2012)Google Scholar
  5. 5.
    D’Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S.: MTSA: The Modal Transition System Analyser. In: ASE 2008, pp. 475–476. IEEE (2008)Google Scholar
  6. 6.
    Fantechi, A., Lapadula, A., Pugliese, R., Tiezzi, F., Gnesi, S., Mazzanti, F.: A Logical Verification Methodology for Service-Oriented Computing. ACM Trans. Softw. Eng. Methodol. 21(3), article 16, 1–46 (2012)CrossRefGoogle Scholar
  7. 7.
    Fischbein, D., Uchitel, S., Braberman, V.A.: A foundation for behavioural conformance in software product line architectures. In: ROSATEA 2006, pp. 39–48. ACM (2006)Google Scholar
  8. 8.
    Gnesi, S., Mazzanti, F.: On the Fly Verification of Networks of Automata. In: PDPTA 1999, pp. 1040–1046. CSREA Press (1999)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Maurice H. ter Beek
    • 1
  • Franco Mazzanti
    • 1
  • Aldi Sulova
    • 1
  1. 1.Istituto di Scienza e Tecnologie dell’InformazioneISTI–CNRPisaItaly

Personalised recommendations