Confluence in domain-independent product line transformations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5503, Issue , 2009, Pages 34-48

  Oldevik, Jon ^a,b   Haugen, Ystein ^a,b   Møller Pedersen, Birger ^a  

^a UNIVERSITY OF OSLO   (Norway)

^b SINTEF   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

DOMAIN SPECIFIC; FLEXIBLE MODEL; INDEPENDENT MODEL; MULTIPLE VARIABILITY; PRODUCT-LINES; DOMAIN INDEPENDENTS; DOMAIN SPECIFIC MODELING; VARIABILITY MODELLING;

COMPUTER SOFTWARE; SOFTWARE ENGINEERING;

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

EID: 67650130396     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00593-0_3     Document Type: Conference Paper

References (13)

1. Pohl, K., Bockle, G., Van Der Linden, F.: Software Product Line Engineering - Foundations, Principles, and Techniques. Springer, Heidelberg (2005)
2. Czarnecki, K., Helsen, S., Eisenecker, U.: Staged Configuration Using Feature Models, pp. 266-283. Springer, Heidelberg (2004)
3. Haugen, Ø., Møller-Pedersen, B., Oldevik, J., Olsen, G., Svendsen, A.: Adding Standardized Variability to Domain Specific Languages. In: Software Product Line Conference (SPLC) (2008)
4. Object Management Group (OMG): Meta Object Facility (MOF) Core Specification. OMG Available Specification formal/06-01-01, Object Management Group, OMG (2006)
5. Svendsen, A., Olsen, G.K., Endresen, J., Moen, T., Carlson, E., Alme, K.J., Haugen, O.: The Future of Train Signaling. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) Czarnecki, K., Eisenecker, U.: Generative Programming - Methods, Tools, and Applications. ACM Press/Addison-Wesley Publishing Co., New York (2000)
6. Kang, K., Cohen, S., Hess, J., Novak, W., Petersen, S.: Feature-Oriented Domain Analysis (FODA) Feasibility Study, CMU/SEI-90-TR-21. Technical report, Software Engineering Institute (SEI) (1990)
7. Bayer, J., Gerard, S., Haugen, Ø., Mansell, J., Møller-Pedersen, B., Oldevik, J., Tessier, P., Thibault, J., Widen, T.: Consolidated Product Line Variability Modeling. In: Software Product Lines, Research Issues in Engineering and Management. Springer, Heidelberg (2006)
8. Oldevik, J., Neple, T., Grønmo, R., Aagedal, J., Berre, A.: Toward Standardised Model to Text Transformations. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, Vol. 3748, pp. 239-253. Springer, Heidelberg (2005)
9. Knuth, D., Bendix, P.: Simple word problems in universal algebras. In: Leech, J. (ed.) Computational Problems in Abstract Algebra (1970)
10. Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic Approaches to Graph Transformation. Part I: Basic Concepts and Double Pushout Approach. In: Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, Vol. 1, pp. 163-245 (1997)
11. Heckel, R., Küster, J.M., Taentzer, G.: Confluence of Typed Attributed Graph Transformation Systems. In: Proceedings of the First International Conference on Graph Transformation, pp. 161-176 (2002)
12. Czarnecki, K., Antkiewicz, M.: Mapping Features to Models: A Template Approach Based on Superimposed Variants. In: Glück, R., Lowry, M. (eds.) GPCE 2005. LNCS, Vol. 3676, pp. 422-437. Springer, Heidelberg (2005)
13. Batory, D., Sarvela, J.N., Rauschmayer, A.: Scaling Step-Wise Refinement. In: ICSE 2003: Proceedings of the 25th International Conference on Software Engineering, pp. 187-197. IEEE Computer Society, Washington (2003)