A formal semantics for feature cardinalities in feature diagrams

ACM International Conference Proceeding Series

Volumn , Issue , 2011, Pages 82-89

  Michel, Raphael ^a   Classen, Andreas ^b   Hubaux, Arnaud ^b   Boucher, Quentin ^b  

^a CETIC Research Center   (Belgium)

^b UNIVERSITY OF NAMUR   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

CARDINALITIES; CONSTRAINT LANGUAGE; FEATURE DIAGRAMS; FORMAL SEMANTICS; SUBTREES;

CLONING; GRAPHIC METHODS; SEMANTICS;

FORMAL METHODS;

EID: 79952821183     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1944892.1944902     Document Type: Conference Paper

References (21)

1. K. Anastasakis, B. Bordbar, G. Georg, and I. Ray. On challenges of model transformation from uml to alloy. Software and System Modeling, 9(1):69-86, 2010.
2. H. R. Andersen. An introduction to binary decision diagrams. Technical report, Course Notes on the WWW, 1997.
3. T. Asikainen, T. Männistö, and T. Soininen. Kumbang: A domain ontology for modelling variability in software product families. Adv. Eng. Inform., 21:23-40, January 2007. (Pubitemid 46209844)
4. K. Bak, K. Czarnecki, and A. Wasowski. Feature and class models in Clafer: Mixed, specialized, and coupled. In Accepted for publication at the 3rd International Conference on Software Language Engineering (SLE 2010).
5. D. Benavides, S. Segura, and A. Ruiz-Cortés. Automated analysis of feature models 20 years later: A literature review. Inf. Syst., 35:615-636, September 2010.
6. Q. Boucher, A. Classen, P. Faber, and P. Heymans. Introducing TVL, a text-based feature modelling language. In Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria, January 27-29, pages 159-162. University of Duisburg-Essen, January 2010.
7. A. Classen, Q. Boucher, and P. Heymans. A text-based approach to feature modelling: Syntax and semantics of TVL (in press). Science of Computer Programming, Special Issue on Software Evolution, 2010. doi:10.1016/j.scico. 2010.10.005.
8. A. Classen, A. Hubaux, and P. Heymans. A formal semantics for multi-level staged configuration. In Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09), January 2009.
9. K. Czarnecki, S. Helsen, and U. Eisenecker. Formalizing cardinality-based feature models and their specialization. Software Process: Improvement and Practice, 10(1):7-29, 2005. (Pubitemid 40384707)
10. K. Czarnecki, S. Helsen, and U. Eisenecker. Staged configuration through specialization and multilevel configuration of feature models. Software Process: Improvement and Practice, 10(2):143-169, 2005. (Pubitemid 40851341)
11. K. Czarnecki and C. H. P. Kim. Cardinality-based feature modeling and constraints: a progress report. In International Workshop on Software Factories at OOPSLA'05, San Diego, California, USA, 2005. ACM.
12. D. Harel and B. Rumpe. Modeling languages: Syntax, semantics and all that stuff, part i: The basic stuff. Technical report, Mathematics & Computer Science, Weizmann Institute Of Science, Mathematics & Computer Science, Weizmann Rehovot, Israel, August 2000.
13. M. Heiskala, A. Anderson, V. Huhtinen, J. Tiihonen, and A. Martio. A tool for comparing configurable products. In International Conference On Engineering Design (ICED) 2003, 2003.
14. K. Kang, S. Cohen, J. Hess, W. Novak, and S. Peterson. Feature-Oriented Domain Analysis (FODA) feasibility study. Technical Report CMU/SEI-90-TR-21, SEI, Carnegie Mellon University, November 1990.
15. D. Le Berre. SAT4j: a reasoning engine in Java based on the SAT is fiability problem (SAT). http://www.sat4j.org.
16. M. Riebisch, K. Böllert, D. Streitferdt, and I. Philippow. Extending feature diagrams with uml multiplicities. In 6th World Conference on Integrated Design & Process Technology (IDPT2002), June 2002.
17. P.-Y. Schobbens, P. Heymans, J.-C. Trigaux, and Y. Bontemps. Feature diagrams: A survey and a formal semantics. In Requirements Engineering Conference, 2006. RE 2006. 14th IEEE International, pages 136-145, 2006. (Pubitemid 351424208)
18. P. Simons, I. Niemelá, and T. Soininen. Extending and implementing the stable model semantics. Artif. Intell., 138:181-234, June 2002.
19. T. Soininen, I. Niemela¨, J. Tiihonen, and R. Sulonen. Representing configuration knowledge with weight constraint rules. In Answer Set Programming'01, 2001.
20. J. Sun, H. Zhang, and H. Wang. Formal semantics and verification for feature modeling. In Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems, pages 303-312, Washington, DC, USA, 2005. IEEE Computer Society. (Pubitemid 41495757)
21. W. Zhang, H. Yan, H. Zhao, and Z. Jin. A BDD-based approach to verifying clone-enabled feature models' constraints and customization. pages 186-199. 2008.