Krzysztof Czarnecki
Krzysztof Pietroszek
ABSTRACT
Feature-based model templates have been recently proposed as a approach for modeling software product lines. Unfortunately, templates are notoriously prone to errors that may go unnoticed for long time. This is because such an error is usually exhibited for some configurations only, and testing all configurations is typically not feasible in practice. In this paper, we present an automated verification procedure for ensuring that no ill-structured template instance will be generated from a correct configuration. We present the formal underpinnings of our proposed approach, analyze its complexity, and demonstrate its practical feasibility through a prototype implementation.
- M. Antkiewicz and K. Czarnecki. FeaturePlugin: Feature modeling plug-in for Eclipse. In OOPSLA'04 Eclipse Technology eXchange (ETX) Workshop, 2004. Paper at http://swen.uwaterloo.ca/~kczarnec/etx04.pdf; software at gp.uwaterloo.ca/fmp. Google Scholar
Digital Library
- D. S. Batory. Feature models, grammars, and propositional formulas. In Software Product Lines Conference (SPLC), volume 3714 of LNCS, pages 7--20. Springer-Verlag, 2005. Google ScholarDigital Library
- K. Czarnecki and M. Antkiewicz. Mapping features to models: A template approach based on superimposed variants. In Generative Programming and Component Enginering (GPCE), volume 3676 of LNCS, pages 422--437. Springer-Verlag, 2005. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- K. Czarnecki and C. H. P. Kim. Cardinality-based feature modeling and constraints: a progress report. In International Workshop on Software Factories, San Diego, California, Oct 2005. Paper available at http://www.ece.uwaterloo.ca/~kczarnec/sf05.pdf.Google Scholar
- M. de Jonge and J. Visser. Grammars as feature diagrams. In ICSR7 Workshop on Generative Programming, pages 23--24, 2002. http://www.cwi.nl/events/2002/GP2002/GP2002.html. Google ScholarDigital Library
- é. Gagnon. Sablecc: An object-oriented compiler framework. Master's thesis, School of Computer Science, McGill University, Montreal, Mar. 1998. http://sablecc.org.Google Scholar
- J. Greenfield and K. Short. Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools. Wiley, Indianapolis, IN, 2004. Google ScholarDigital Library
- S. S. Huang, D. Zook, and Y. Smaragdakis. Statically safe program generation with safegen. In Generative Programming and Component Enginering (GPCE), volume 3676 of LNCS, pages 422--437. Springer-Verlag, 2005. Google ScholarDigital Library
- S. Q. Lau. Domain analysis of e-commerce systems using feature-based model templates. Master's thesis, University of Waterloo, Ontario, Canada, Jan. 2006. http://gp.uwaterloo.ca.Google Scholar
- Object Management Group. Meta-Object Facility, 2002. http://www.omg.org/technology/documents/formal/mof.htm.Google Scholar
- Object Management Group. Model-Driven Architecture, 2004. http://www.omg.org/mda.Google Scholar
- Object Management Group. Unified Modeling Language 2.0, 2005. http://www.omg.org/docs/formal/05-07-04.pdf.Google Scholar
- OMG. UML 2.0 OCL Specification, 2003. http://www.omg.org/docs/ptc/03-10-14.pdf.Google Scholar
- M. Richters. A Precise Approach to Validating UML Models and OCL Constraints. PhD thesis, Universität Bremen, 2002. Logos Verlag, Berlin, BISS Monographs, No. 14.Google Scholar
- Technische Universität Dresden. Dresden OCL Toolkit, 2005. http://dresden-ocl.sourceforge.net/.Google Scholar
- T. van der Storm. Variability and component composition. In International Conference on Software Reuse (ICSR8), volume 3107 of LNCS, pages 157--166. Springer-Verlag, 2004.Google ScholarCross Ref
- J. Whaley. JavaBDD, 2003-2006. Library available at SourceForge, http://javabdd.sourceforge.net/.Google Scholar
Index Terms
- Verifying feature-based model templates against well-formedness OCL constraints
Recommendations
Efficient compilation techniques for large scale feature models
GPCE '08: Proceedings of the 7th international conference on Generative programming and component engineeringFeature modeling is used in generative programming and software product-line engineering to capture the common and variable properties of programs within an application domain. The translation of feature models to propositional logics enabled the use of ...
Verification-driven slicing of UML/OCL models
ASE '10: Proceedings of the 25th IEEE/ACM International Conference on Automated Software EngineeringModel defects are a significant concern in the Model-Driven Development (MDD) paradigm, as model transformations and code generation may propagate errors to other notations where they are harder to detect and trace. Formal verification techniques can ...
Behavior Modeling with Interaction Diagrams in a UML and OCL Tool
BM-FA '14: Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and ApplicationsThis contribution discusses system modeling with UML behavior diagrams. We consider statecharts and both kinds of interaction diagrams, i.e., sequence and communication diagrams. We present new implementation features in a UML and OCL modeling tool: (1) ...
Comments