Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax

  • Mikoláš Janota
  • Victoria Kuzina
  • Andrzej Wąsowski
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5301)


Mainstream development environments have recently assimilated guidance technologies based on constraint satisfaction. We investigate one class of such technologies, namely, interactive guided derivation of models, where the editing system assists a designer by providing hints about valid editing operations that maintain global correctness. We provide a semantics-based classification of such guidance systems and investigate concrete guidance algorithms for two kinds of modeling languages: a simple subset of class-diagram-like language and for feature models. Both algorithms are efficient and provide exhaustive guidance.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alves, V., Gheyi, R., Massoni, T., Kulesza, U., Borba, P., de Lucena, C.J.P.: Refactoring product lines. In: Jarzabek, S., Schmidt, D.C., Veldhuizen, T.L. (eds.) GPCE, pp. 201–210. ACM, New York (2006)CrossRefGoogle Scholar
  2. 2.
    Batory, D.: Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  3. 3.
    Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers 35(8) (1986)Google Scholar
  4. 4.
    Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison–Wesley Publishing Company (2002)Google Scholar
  5. 5.
    Czarnecki, K., Antkiewicz, M., Kim, C.H.P., Lau, S., Pietroszek, K.: Fmp and Fmp2rsm: eclipse plug-ins for modeling features using model templates. In: OOPSLA 2005: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 200–201. ACM, New York (2005)CrossRefGoogle Scholar
  6. 6.
    Czarnecki, K., Helsen, S., Eisenecker, U.: Staged Configuration Using Feature Models. In: Nord, R.L. (ed.) SPLC 2004. LNCS, vol. 3154. Springer, Heidelberg (2004)Google Scholar
  7. 7.
    Czarnecki, K., Wąsowski, A.: Feature diagrams and logics: There and back again. In: Kellenberger [16]Google Scholar
  8. 8.
    Czarnecki, K., Wąsowski, A.: Sample spaces and feature models: There and back again. In: Proceedings of the 12th International Software Product Line Conference, SPLC  2008. IEEE Computer Society, Los Alamitos (2007)Google Scholar
  9. 9.
    Fundamental Approaches to Software Engineering. LNCS. Springer, Heidelberg (2008)Google Scholar
  10. 10.
    Hadzic, T., Jensen, R., Andersen, H.R.: Notes on calculating valid domains (2006),
  11. 11.
    Hessellund, A., Czarnecki, K., Wąsowski, A.: Guided development with multiple domain-specific languages. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 46–60. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  12. 12.
    Janota, M., Kiniry, J.: Reasoning about feature models in higher-order logic. In: Kellenberger [16]Google Scholar
  13. 13.
    Janota, M., Botterweck, G.: Formal Approach to Integrating Feature and architecture Models. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 31–45. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  14. 14.
    Junker, U.: Configuration. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming. Elsevier Science Inc., Amsterdam (2006)Google Scholar
  15. 15.
    Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-oriented domain analysis (FODA), feasibility study. Technical Report CMU/SEI-90-TR-021, SEI, Carnegie Mellon University (November 1990)Google Scholar
  16. 16.
    Kellenberger, P. (ed.): Software Product Lines. IEEE Computer Society, Los Alamitos (2007)Google Scholar
  17. 17.
    Kuzina, V.: Interactive derivation of feature diagrams. Master’s thesis, IT University of Copenhagen (to appear, 2008)Google Scholar
  18. 18.
    Lau, S.Q.: Domain analysis of e-commerce systems using feature-based model templates. Master’s thesis, Dept. Electrical and Computer Engineering, University of Waterloo, Canada (2006),
  19. 19.
    Massoni, T., Gheyi, R., Borba, P.: Formal Model-Driven Program Refactoring. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 362–376. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  20. 20.
    Mazanek, S., Meier, S., Minas, M.: Auto-completion for diagram editors based on graph grammars. In: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). IEEE Computer Society, Los Alamitos (2008)Google Scholar
  21. 21.
    Schobbens, P.-Y., Heymans, P., Trigaux, J.-C.: Feature diagrams: A survey and a formal semantics. In: Proceeding of 14th IEEE International Requirements Engineering Conference (RE). IEEE Computer Society, Los Alamitos (2006)Google Scholar
  22. 22.
    Sen, S., Baudry, B., Vangheluwe, H.: Domain-specific model editors with model completion. In: Mosterman, P.J., Levandowszky, T., de Lara, J. (eds.) The 2nd International Workshop on Multi-Paradigm Modeling (2007)Google Scholar
  23. 23.
    van der Meer, E.R., Wąsowski, A., Andersen, H.R.: Efficient interactive configuration of unbounded modular systems. In: Haddad, H. (ed.) SAC, pp. 409–414. ACM, New York (2006)Google Scholar
  24. 24.
    White, J., Schmidt, D., Nechypurenko, A., Wuchner, E.: Domain-Specific Intelligence Frameworks for Assisting Modelers in Combinatorically Challenging Domains. In: GPCE4QoS (October 2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Mikoláš Janota
    • 1
  • Victoria Kuzina
    • 2
  • Andrzej Wąsowski
    • 2
  1. 1.Lero, University College DublinIreland
  2. 2.IT University of CopenhagenDenmark

Personalised recommendations