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

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.

[1]  Carlos José Pereira de Lucena,et al.  Refactoring product lines , 2006, GPCE '06.

[2]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[3]  Krzysztof Czarnecki,et al.  Staged Configuration Using Feature Models , 2004, SPLC.

[4]  Andrzej Wasowski,et al.  Efficient interactive configuration of unbounded modular systems , 2006, SAC '06.

[5]  S. Griffis.  EDITOR , 1997, Journal of Navigation.

[6]  Hans Vangheluwe,et al.  Domain-Specific Model Editors with Model Completion , 2008, MoDELS.

[7]  Paulo Borba,et al.  Formal Model-Driven Program Refactoring , 2008, FASE.

[8]  Krzysztof Czarnecki,et al.  Feature Diagrams and Logics: There and Back Again , 2007 .

[9]  Michal Antkiewicz,et al.  fmp and fmp2rsm: eclipse plug-ins for modeling features using model templates , 2005, OOPSLA '05.

[10]  Mikolás Janota,et al.  Formal Approach to Integrating Feature and Architecture Models , 2008, FASE.

[11]  Toby Walsh,et al.  Handbook of Constraint Programming , 2006, Handbook of Constraint Programming.

[12]  Krzysztof Czarnecki,et al.  Sample Spaces and Feature Models: There and Back Again , 2008, 2008 12th International Software Product Line Conference.

[13]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[14]  Sean Quan Lau.  Domain Analysis of E-Commerce Systems Using Feature-Based Model Templates , 2006 .

[15]  Joseph R. Kiniry,et al.  Reasoning about Feature Models in Higher-Order Logic , 2007 .

[16]  Steffen Mazanek,et al.  Auto-completion for diagram editors based on graph grammars , 2008, 2008 IEEE Symposium on Visual Languages and Human-Centric Computing.

[17]  Robert L. Nord,et al.  Software Product Lines , 2004, Lecture Notes in Computer Science.

[18]  Don S. Batory,et al.  Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.

[19]  Perdita Stevens,et al.  Modelling Recursive Calls with UML State Diagrams , 2003, FASE.

[20]  Pierre-Yves Schobbens,et al.  Feature Diagrams: A Survey and a Formal Semantics , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[21]  Krzysztof Czarnecki,et al.  Guided development with multiple domain-specific languages , 2007, MODELS'07.

[22]  E BryantRandal.  Graph-Based Algorithms for Boolean Function Manipulation , 1986 .

[23]  David A. Schmidt,et al.  Intelligence frameworks for assisting modelers in combinatorically challenging domains , 2006 .

[24]  Paul Clements,et al.  Software product lines - practices and patterns , 2001, SEI series in software engineering.