Confluence in Domain-Independent Product Line Transformations

Authors:
Jon Oldevik;Øystein Haugen;Birger Møller-Pedersen
Affiliations:
Department of Informatics, University of Oslo, Oslo, Norway and SINTEF Information and Communication Technology, Oslo, Norway;SINTEF Information and Communication Technology, Oslo, Norway and Department of Informatics, University of Oslo, Oslo, Norway;Department of Informatics, University of Oslo, Oslo, Norway
Venue:
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Year:
2009

Citing 9
Cited 4

Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach

Handbook of graph grammars and computing by graph transformation
Generative programming: methods, tools, and applications

Generative programming: methods, tools, and applications
Confluence of Typed Attributed Graph Transformation Systems

ICGT '02 Proceedings of the First International Conference on Graph Transformation
Scaling step-wise refinement

Proceedings of the 25th International Conference on Software Engineering
Software Product Line Engineering: Foundations, Principles and Techniques

Software Product Line Engineering: Foundations, Principles and Techniques
The Future of Train Signaling

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Adding Standardized Variability to Domain Specific Languages

SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Mapping features to models: a template approach based on superimposed variants

GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Toward standardised model to text transformations

ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications

Abstract delta modeling

GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs

Theoretical Computer Science
Towards correct product derivation in model-driven product lines

SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
Confluence of aspects for sequence diagrams

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Flexible models for product line variability allow representing variability within any kind of domain-specific model. We show how complex variabilities represented by one variability modelling approach are implemented by general, domain-independent model transformations. We analyse the confluence and consistency characteristics of these transformations, show when multiple variabilities may be in conflict, and define the criteria for confluence of multiple variability transformations.