research-article

Mathematical Programming for Anomaly Analysis of Clafer Models

Authors:

Markus Weckesser,

Andy SchürrAuthors Info & Claims

MODELS '18: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

Pages 34 - 44

https://doi.org/10.1145/3239372.3239398

Published: 14 October 2018 Publication History

Abstract

Clafer combines UML-like class- and meta-modeling with feature-oriented variability-modeling and first-order logic constraints. The considerable expressiveness of Clafer mainly stems from its built-in variability constructs, multiplicity annotations and recursive model structures which yield a potentially unbounded number of valid model instances. As a result, automated reasoning about semantic properties like model consistency (i.e., existence of valid model instances) and anomalies (e.g., false cardinality bounds) is very challenging. Recent analysis techniques are inherently incomplete as they impose an a-priori finite search space with either manually or heuristically adjusted bounds. In this paper, we present a novel approach for automated search-space restriction for a considerably rich, yet decidable fragment of the Clafer language that guarantees sound and complete detection results for a wide range of semantic anomalies. Our approach employs principles from mathematical programming by encoding Clafer models as Mixed Integer Linear Programs (MILP). Our experimental evaluation shows remarkable improvements of runtime efficiency as well as effectiveness of anomaly detection as compared to existing techniques.

References

[1]

Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, and Indrakshi Ray. 2010. On Challenges of Model Transformation from UML to Alloy. Software & Systems Modeling 9, 1 (2010), 69--86.

[2]

Michal Antkiewicz, Kacper Bak, Alexandr Murashkin, Rafael Olaechea, Jia Hui (Jimmy) Liang, and Krzysztof Czarnecki. 2013. Clafer Tools for Product Line Engineering. In Proceedings of the 17th International Software Product Line Conference Co-located Workshops (SPLC '13 Workshops). ACM, New York, NY, USA, 130--135.

Digital Library

[3]

Kacper Bak, Krzysztof Czarnecki, and Andrzej Wasowski. 2010. Feature and MetaModels in Clafer: Mixed, Specialized, and Coupled. In Proc. of the 3rd International Conference of Software Language Engineering. Springer, 102--122.

Digital Library

[4]

Kacper Bak, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki, and Andrzej Wasowski. 2014. Clafer: Unifying Class and Feature Modeling. Software & Systems Modeling (2014), 1--35.

[5]

Mira Balaban and Azzam Maraee. 2013. Simplification and Correctness of UML Class Diagrams - Focusing on Multiplicity and Aggregation/Composition Constraints. In MODELS 2013. 454--470.

Digital Library

[6]

Clark W Barrett, Roberto Sebastiani, Sanjit A Seshia, and Cesare Tinelli. 2008. Satisfiability Modulo Theories. 825---885.

[7]

Don Batory. 2005. Feature Models, Grammars, and Propositional Formulas. In 9th SPLC. 7--20.

Digital Library

[8]

Evelyn Martin Lansdowne Beale and John A Tomlin. 1970. Special facilities in a general mathematical programming system for non-convex problems using ordered sets of variables. OR 69, 447-454 (1970).

[9]

David Benavides, Pablo Trinidad, and Antonio Ruiz-Cortés. 2005. Automated Reasoning on Feature Models. In 17th CAiSE. 491--503.

Digital Library

[10]

Faouzi Boufares and Hachemi Bennaceur. 2004. Consistency Problems in ERSchemas for Database Systems. Information Technology 163, 4 (2004), 263--274.

Digital Library

[11]

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, and Toni Mancini. 2007. Finite Model Reasoning on UML Class Diagrams via Constraint Programming. In AI* IA 2007: Artificial Intelligence and Human-Oriented Computing. 36--47.

Digital Library

[12]

Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, and Axel Legay. 2013. Beyond Boolean Product-line Model Checking: Dealing with Feature Attributes and Multi-features. In ICSE '13. 472--481.

Digital Library

[13]

Krzysztof Czarnecki and Michał Antkiewicz. 2005. Mapping Features to Models: A Template Approach Based on Superimposed Variants. Springer Berlin Heidelberg, Berlin, Heidelberg, 422--437.

Digital Library

[14]

Krzysztof Czarnecki, Ulrich W Eisenecker, G Goos, J Hartmanis, and J van Leeuwen. 2000. Generative programming. Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 15 (2000).

[15]

Krzysztof Czarnecki, Simon Helsen, and Ulrich W. Eisenecker. 2005. Formalizing Cardinality-based Feature Models and Their Specialization. Software Process: Improvement and Practice 10, 1 (2005), 7--29.

[16]

Andreas Falkner, Ingo Feinerer, Gernot Salzer, and Gottfried Schenner. 2010. Computing Product Configurations via UML and Integer Linear Programming. International Journal of Mass Customisation 3, 4 (2010), 351--367.

[17]

Øystein Haugen, Andrzej Wasowski, and Krzysztof Czarnecki. 2012. CVL: common variability language. In SPLC (2). 266--267.

Digital Library

[18]

Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux, Yves Bon-temps, Raimundas Matulevicius, and Andreas Classen. 2008. Evaluating formal Properties of Feature Diagram Languages. IET Software 2, 3 (2008), 281--302.

[19]

IBM ILOG CPLEX 2015. IBM ILOG CPLEX V12.6 User's Manual for CPLEX. IBM Corp. (2015). http://www-01.ibm.com/software/commerce/optimization/cplex-optimizer/

[20]

Daniel Jackson. 2006. Software Abstractions - Logic, Language, and Analysis. MIT Press.

Digital Library

[21]

Azzam Maraee and Mira Balaban. 2014. Removing Redundancies and Deducing Equivalences in UML Class Diagrams. 235--251.

[22]

Marcílio Mendonça, Andrzej Wasowski, and Krzysztof Czarnecki. 2009. SAT-based Analysis of Feature Models is Easy. In 13th SPLC. 231--240.

Digital Library

[23]

Charles Prud'homme, Jean-Guillaume Fages, and Xavier Lorca. 2016. Choco Documentation. TASC, INRIA Rennes, LINA CNRS UMR 6241, COSLING S.A.S. http://www.choco-solver.org

[24]

Clément Quinton, Andreas Pleuss, Daniel Le Berre, Laurence Duchien, and Goetz Botterweck. 2014. Consistency Checking for the Evolution of Cardinality-based Feature Models. In SPLC '14. 122--131.

Digital Library

[25]

Clément Quinton, Daniel Romero, and Laurence Duchien. 2013. Cardinality-based Feature Models with Constraints: A Pragmatic Approach. In SPLC '13. 162--166.

Digital Library

[26]

C. Quinton, D. Romero, and L. Duchien. 2014. Automated Selection and Configuration of Cloud Environments Using Software Product Lines Principles. In IEEE Cloud 2014. 144--151.

Digital Library

[27]

M. Riebisch, K. Böllert, D. Streitferdt, and I. Philippow. 2002. Extending Feature Diagrams with UML Multiplicities. In 6th World Conference on Integrated Design & Process Technology (IDPT).

[28]

Jordan A. Ross, Alexandr Murashkin, Jia Hui Liang, Michał Antkiewicz, and Krzysztof Czarnecki. 2017. Synthesis and exploration of multilevel, multi-perspective architectures of automotive embedded systems. Software & Systems Modeling (2017), 1--29.

[29]

Jordan A. Ross, Alexandr Murashkin, Jia Hui Liang, Michal Antkiewicz, and Krzysztof Czarnecki. 2017. Synthesis and Exploration of Multilevel, Multi-perspective Architectures of Automotive Embedded Systems (SoSYM Abstract). In 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017. 178.

Digital Library

[30]

Martin WP Savelsbergh. 1994. Preprocessing and probing techniques for mixed integer programming problems. ORSA Journal on Computing 6, 4 (1994), 445--454.

[31]

Pierre-Yves Schobbens, Patrick Heymans, and Jean-Christophe Trigaux. 2006. Feature Diagrams: A Survey and a Formal Semantics. In Proc. of RE'06. 139--148.

Digital Library

[32]

Markus Weckesser, Malte Lochau, Michael Ries, and Andy Schürr. 2017. Towards Complete Consistency Checks of Clafer Models. In Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development (FOSD 2017). ACM, New York, NY, USA, 11--20.

Digital Library

[33]

Markus Weckesser, Malte Lochau, Thomas Schnabel, Björn Richerzhagen, and Andy Schürr. 2016. Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-based Feature Models. In 19th Int. Conference on Fundamental Approaches to Software Engineering (FASE). 158--175.

Digital Library

[34]

H Paul Williams. 2013. Model Building in Mathematical Programming. John Wiley & Sons.

[35]

Wei Zhang, Hua Yan, Haiyan Zhao, and Zhi Jin. 2008. A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization. In ICSR '08. 186--199.

Digital Library

Cited By

Müller RWeiß MLochau M(2024)Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset SemiringsProceedings of the 28th ACM International Systems and Software Product Line Conference10.1145/3646548.3676539(1-11)Online publication date: 2-Sep-2024
https://dl.acm.org/doi/10.1145/3646548.3676539
Güthing LWeiß MSchaefer ILochau M(2024)Sampling Cardinality-Based Feature ModelsProceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3634713.3634719(46-55)Online publication date: 7-Feb-2024
https://dl.acm.org/doi/10.1145/3634713.3634719
Ehmes SKratz MSchürr A(2022)Graph-Based Specification and Automated Construction of ILP ProblemsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.374.3374(3-22)Online publication date: 21-Dec-2022
https://doi.org/10.4204/EPTCS.374.3
Show More Cited By

Index Terms

Mathematical Programming for Anomaly Analysis of Clafer Models
1. Mathematics of computing
  1. Mathematical analysis
    1. Mathematical optimization
      1. Mixed discrete-continuous optimization
        Integer programming
2. Software and its engineering
  1. Software creation and management
    1. Software development techniques
      1. Reusability
        Software product lines

Recommendations

Towards complete consistency checks of Clafer models
FOSD 2017: Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development

Clafer is a general purpose modeling language that combines UML-like class and meta-modeling with feature-oriented variability modeling and first-order logic constraints. The considerable expressiveness of Clafer makes automated reasoning about ...
Reformulations in mathematical programming: automatic symmetry detection and exploitation

If a mathematical program has many symmetric optima, solving it via Branch-and-Bound techniques often yields search trees of disproportionate sizes; thus, finding and exploiting symmetries is an important task. We propose a method for automatically ...
Machine learning via mathematical programming

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

MODELS '18: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

October 2018

478 pages

ISBN:9781450349499

DOI:10.1145/3239372

Conference Chair:
Andrzej Wąsowski,
Program Chairs:
Richard Paige,
Øystein Haugen

Copyright © 2018 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 October 2018

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Funding Sources

Conference

MODELS '18

Sponsor:

SIGSOFT

MODELS '18: ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems

October 14 - 19, 2018

Copenhagen, Denmark

Acceptance Rates

MODELS '18 Paper Acceptance Rate 29 of 101 submissions, 29%;

Overall Acceptance Rate 144 of 506 submissions, 28%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
133
Total Downloads

Downloads (Last 12 months)14
Downloads (Last 6 weeks)3

Reflects downloads up to 01 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Müller RWeiß MLochau M(2024)Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset SemiringsProceedings of the 28th ACM International Systems and Software Product Line Conference10.1145/3646548.3676539(1-11)Online publication date: 2-Sep-2024
https://dl.acm.org/doi/10.1145/3646548.3676539
Güthing LWeiß MSchaefer ILochau M(2024)Sampling Cardinality-Based Feature ModelsProceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3634713.3634719(46-55)Online publication date: 7-Feb-2024
https://dl.acm.org/doi/10.1145/3634713.3634719
Ehmes SKratz MSchürr A(2022)Graph-Based Specification and Automated Construction of ILP ProblemsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.374.3374(3-22)Online publication date: 21-Dec-2022
https://doi.org/10.4204/EPTCS.374.3
Pfannemüller MBreitbach MWeckesser MBecker CSchmerl BSchürr AKrupitzer C(2020)REACT-ION: A Model-based Runtime Environment for Situation-aware AdaptationsACM Transactions on Autonomous and Adaptive Systems10.1145/348791915:4(1-29)Online publication date: 31-Dec-2020
https://doi.org/10.1145/3487919
Pfannemuller MBreitbach MKrupitzer CWeckesser MBecker CSchmerl BSchurr A(2020)REACT: A Model-Based Runtime Environment for Adapting Communication Systems2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)10.1109/ACSOS49614.2020.00027(65-74)Online publication date: Aug-2020
https://doi.org/10.1109/ACSOS49614.2020.00027

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten