Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Batory, D.: Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714. Springer, Heidelberg (2005)
Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers 35(8) (1986)
Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison–Wesley Publishing Company (2002)
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)
Czarnecki, K., Helsen, S., Eisenecker, U.: Staged Configuration Using Feature Models. In: Nord, R.L. (ed.) SPLC 2004. LNCS, vol. 3154. Springer, Heidelberg (2004)
Czarnecki, K., Wąsowski, A.: Feature diagrams and logics: There and back again. In: Kellenberger [16]
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)
Fundamental Approaches to Software Engineering. LNCS. Springer, Heidelberg (2008)
Hadzic, T., Jensen, R., Andersen, H.R.: Notes on calculating valid domains (2006), http://www.itu.dk/~tarik/cvd/cvd.pdf
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)
Janota, M., Kiniry, J.: Reasoning about feature models in higher-order logic. In: Kellenberger [16]
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)
Junker, U.: Configuration. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming. Elsevier Science Inc., Amsterdam (2006)
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)
Kellenberger, P. (ed.): Software Product Lines. IEEE Computer Society, Los Alamitos (2007)
Kuzina, V.: Interactive derivation of feature diagrams. Master’s thesis, IT University of Copenhagen (to appear, 2008)
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), http://gp.uwaterloo.ca/files/2006-lau-masc-thesis.pdf
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)
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)
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)
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)
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)
White, J., Schmidt, D., Nechypurenko, A., Wuchner, E.: Domain-Specific Intelligence Frameworks for Assisting Modelers in Combinatorically Challenging Domains. In: GPCE4QoS (October 2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Janota, M., Kuzina, V., Wąsowski, A. (2008). Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax. In: Czarnecki, K., Ober, I., Bruel, JM., Uhl, A., Völter, M. (eds) Model Driven Engineering Languages and Systems. MODELS 2008. Lecture Notes in Computer Science, vol 5301. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87875-9_31
Download citation
DOI: https://doi.org/10.1007/978-3-540-87875-9_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87874-2
Online ISBN: 978-3-540-87875-9
eBook Packages: Computer ScienceComputer Science (R0)