C2MV2: Consistency and composition for managing variability in multi-view systems

Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR

Volumn , Issue , 2011, Pages 347-350

  Lopez Herrejon, Roberto E ^a   Egyed, Alexander ^a  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

Feature orientation; Product line evolution; Safe composition; Software product lines

Indexed keywords

CONSISTENCY MANAGEMENT; FEATURE ORIENTATION; MULTI-VIEWS; PRODUCT-LINES; SAFE COMPOSITION; SOFTWARE PRODUCT LINE; SOFTWARE PRODUCT LINES;

REENGINEERING;

COMPUTER SOFTWARE MAINTENANCE;

EID: 79955165078     PISSN: 15345351     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSMR.2011.49     Document Type: Conference Paper

References (48)

1. D. S. Batory, J. N. Sarvela, and A. Rauschmayer, "Scaling step-wise refinement," IEEE Trans. Software Eng., vol. 30, no. 6, pp. 355-371, 2004.
2. K. Czarnecki and U. Eisenecker, Generative Programming: Methods, Tools, and Applications. Addison-Wesley, 2000.
3. K. Pohl, G. Bockle, and F. J. van der Linden, Software Product Line Engineering: Foundations, Principles and Techniques. Springer, 2005.
4. P. Zave, "Faq sheet on feature interaction," http://www.research.att.com/pamela/faq.html.
5. M. Svahnberg, J. van Gurp, and J. Bosch, "A taxonomy of variability realization techniques," Softw., Pract. Exper., vol. 35, no. 8, pp. 705-754, 2005. (Pubitemid 40925871)
6. F. J. van d. Linden, K. Schmid, and E. Rommes, Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering. Springer, 2007.
7. B. Nuseibeh, J. Kramer, and A. Finkelstein, "A framework for expressing the relationships between multiple views in requirements specification," IEEE Trans. Software Eng., vol. 20, no. 10, pp. 760-773, 1994.
8. A. Finkelstein, D. M. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh, "Inconsistency handling in multperspective specifications," IEEE Trans. Software Eng., vol. 20, no. 8, pp. 569-578, 1994.
9. D. Batory, "AHEAD Tool Suite," 2010, http://www.cs.utexas.edu/ users/schwartz/ATS.html.
10. "Aspect-oriented model-driven product line engineering (ample)," 2009, http://www.ample-project.net/.
11. M. Mezini and K. Ostermann, "Variability Management with Feature-Oriented Programming and Aspects," in Proceedings of the International Symposium on Foundations of Software Engineering (FSE), 2004, pp. 127-136. (Pubitemid 40787575)
12. I. Groher and M. Völter, "Using aspects to model product line variability," in SPLC (2), S. Thiel and K. Pohl, Eds. Lero Int. Science Centre, University of Limerick, Ireland, 2008, pp. 89-95.
13. J. Kienzle, W. A. Abed, and J. Klein, "Aspect-oriented multi-view modeling," in AOSD, K. J. Sullivan, Ed. ACM, 2009, pp. 87-98.
14. R. E. Lopez-Herrejon, "Understanding Feature Modularity," Ph.D. dissertation, Department of Computer Sciences, The University of Texas at Austin, 2006.
15. S. Trujillo, D. S. Batory, and O. Díaz, "Feature oriented model driven development: A case study for portlets," in ICSE. IEEE Computer Society, 2007, pp. 44-53. (Pubitemid 47430640)
16. D. Batory and S. O'Malley, "The Design and Implementation of Hierarchical Software Systems with Reusable Components," ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 1, no. 4, pp. 355-398, 1992.
17. R. E. Lopez-Herrejon, D. S. Batory, and C. Lengauer, "A disciplined approach to aspect composition," in PEPM, J. Hatcliff and F. Tip, Eds. ACM, 2006, pp. 68-77.
18. D. S. Batory, "Using modern mathematics as an fosd modeling language," in GPCE, Y. Smaragdakis and J. G. Siek, Eds. ACM, 2008, pp. 35-44.
19. S. Apel, C. Kästner, and C. Lengauer, "Featurehouse: Languageindependent, automated software composition," in ICSE. IEEE, 2009, pp. 221-231.
20. R. E. Lopez-Herrejon, "Language and uml support for features: Two research challenges," in VaMoS, ser. Lero Technical Report, K. Pohl, P. Heymans, K. C. Kang, and A. Metzger, Eds., vol. 2007-01, 2007, pp. 97-100.
21. S. Umapathy, "Extension of UML models to Support Feature Modularization of Software Product Lines," Master's thesis, Computing Laboratory, University of Oxford, 2007.
22. R. E. Lopez-Herrejon, "Models, features and algebras - an exploratory study of model composition and software product lines," in ICSOFT (SE/MUSE/GSDCA), J. Cordeiro, B. Shishkov, A. Ranchordas, and M. Helfert, Eds. INSTICC Press, 2008, pp. 293-296.
23. R. E. Lopez-Herrejon and J. E. Rivera, "Realizing feature oriented software development with equational logic: An exploratory study," in JISBD, A. Vallecillo and G. Sagardui, Eds., 2009, pp. 269-274.
24. D. Benavides, S. Segura, and A. R. Cortés, "Automated analysis of feature models 20 years later: A literature review," Inf. Syst., vol. 35, no. 6, pp. 615-636, 2010.
25. M. Mendonça, A. Wasowski, K. Czarnecki, and D. D. Cowan, "Efficient compilation techniques for large scale feature models," in GPCE, Y. Smaragdakis and J. G. Siek, Eds. ACM, 2008, pp. 13-22.
26. S. Thaker, D. S. Batory, D. Kitchin, and W. R. Cook, "Safe composition of product lines," in GPCE, C. Consel and J. L. Lawall, Eds. ACM, 2007, pp. 95-104. (Pubitemid 351203843)
27. A. Egyed, "Fixing inconsistencies in uml design models," in ICSE '07: Proceedings of the 29th International Conference on Software Engineering. Washington, DC, USA: IEEE Computer Society, 2007, pp. 292-301. (Pubitemid 47430664)
28. -, "Instant consistency checking for the uml," in ICSE, L. J. Osterweil, H. D. Rombach, and M. L. Soffa, Eds. ACM, 2006, pp. 381-390. (Pubitemid 46600935)
29. A. Egyed, E. Letier, and A. Finkelstein, "Generating and evaluating choices for fixing inconsistencies in uml design models," in ASE. IEEE, 2008, pp. 99-108.
30. X. Blanc, I. Mounier, A. Mougenot, and T. Mens, "Detecting model inconsistency through operation-based model construction," in ICSE, W. Schäfer, M. B. Dwyer, and V. Gruhn, Eds. ACM, 2008, pp. 511-520.
31. X. Blanc, A. Mougenot, I. Mounier, and T. Mens, "Incremental detection of model inconsistencies based on model operations," in CAiSE, ser. Lecture Notes in Computer Science, P. van Eck, J. Gordijn, and R. Wieringa, Eds., vol. 5565. Springer, 2009, pp. 32-46.
32. P. Tarr, H. Ossher, W. Harrison, and J. S. M. Sutton, "N Degrees of Separation: Multi-Dimensional Separation of Concerns," in ICSE, 1999, pp. 107-119.
33. D. S. Batory, R. E. Lopez-Herrejon, and J.-P. Martin, "Generating product-lines of product-families," in ASE. IEEE Computer Society, 2002, pp. 81-92.
34. G. de Fombelle, X. Blanc, L. Rioux, and M.-P. Gervais, "Finding a path to model consistency," in ECMDA-FA, ser. Lecture Notes in Computer Science, A. Rensink and J. Warmer, Eds., vol. 4066. Springer, 2006, pp. 101-112. (Pubitemid 44124020)
35. K. Lauenroth and K. Pohl, "Dynamic consistency checking of domain requirements in product line engineering," in RE. IEEE Computer Society, 2008, pp. 193-202.
36. R. E. Lopez-Herrejon and A. Egyed, "Detecting inconsistencies in multi-view models with variability," in ECMFA, ser. Lecture Notes in Computer Science, T. Kühne, B. Selic, M.-P. Gervais, and F. Terrier, Eds., vol. 6138. Springer, 2010, pp. 217-232.
37. -, "On the need of safe software product line architectures," in ECSA, ser. Lecture Notes in Computer Science, M. A. Babar and I. Gorton, Eds., vol. 6285. Springer, 2010, pp. 493-496.
38. M. Huth and M. Ryan, Logic in Computer Science. Modelling and Reasoning about systems. Cambridge University Press, 2004.
39. H. D. Rombach, "Design for maintenance - use of engineering principles and product line technology," in CSMR, A. Winter, R. Ferenc, and J. Knodel, Eds. IEEE, 2009, pp. 1-2.
40. M. de Medeiros Ribeiro and P. Borba, "Improving guidance when restructuring variabilities in software product lines," in CSMR, A. Winter, R. Ferenc, and J. Knodel, Eds. IEEE, 2009, pp. 79-88.
41. C. Nunes, U. Kulesza, C. Sant'Anna, I. Nunes, A. F. Garcia, and C. J. P. de Lucena, "Comparing stability of implementation techniques for multi-agent system product lines," in CSMR, A. Winter, R. Ferenc, and J. Knodel, Eds. IEEE, 2009, pp. 229-232.
42. T. Käkölä and J. C. Dueñas, Eds., Software Product Lines - Research Issues in Engineering and Management. Springer, 2006.
43. "Modelware project website," 2009, http://www.ample-project. net/.
44. "Modelplex project website," 2009, http://www.modelplex.org/.
45. J. Bézivin, S. Bouzitouna, M. D. D. Fabro, M.-P. Gervais, F. Jouault, D. S. Kolovos, I. Kurtev, and R. F. Paige, "A canonical scheme for model composition," in ECMDA-FA, 2006.
46. C. Herrmann, H. Krahn, B. Rumpe, M. Schindler, and S. Völkel, "An algebraic view on the semantics of model composition," in ECMDA-FA, ser. Lecture Notes in Computer Science, D. H. Akehurst, R. Vogel, and R. F. Paige, Eds., vol. 4530. Springer, 2007, pp. 99-113. (Pubitemid 350259522)
47. Y. Smaragdakis and J. G. Siek, Eds., Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings. ACM, 2008.
48. A. Winter, R. Ferenc, and J. Knodel, Eds., 13th European Conference on Software Maintenance and Reengineering, CSMR 2009, Architecture-Centric Maintenance of Large-SCale Software Systems, Kaiserslautern, Germany, 24-27 March 2009. IEEE, 2009.