Detecting dependences and interactions in feature-oriented design

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2010, Pages 161-170

  Apel, Sven ^a   Scholz, Wolfgang ^a   Lengauer, Christian ^a   Kästner, Christian ^b  

^a UNIVERSITY OF PASSAU   (Germany)

^b PHILIPPS UNIVERSITY MARBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FEATURE-ORIENTED; FEATURE-ORIENTED SOFTWARE DEVELOPMENT; LARGE-SCALE SOFTWARE SYSTEMS; MODELING LANGUAGE - ALLOY; SEPARATION OF CONCERNS;

COMPUTER SOFTWARE SELECTION AND EVALUATION; DESIGN; QUALITY ASSURANCE; SEMANTICS; SOFTWARE RELIABILITY;

SOFTWARE DESIGN;

EID: 78751696727     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2010.11     Document Type: Conference Paper

References (43)

1. S. Apel and C. Kästner, "An Overview of Feature-Oriented Software Development," J. Object Technology (JOT), vol. 8, no. 5, pp. 49-84, 2009.
2. K. Czarnecki and U. Eisenecker, Generative Programming: Methods, Tools, and Applications. Addison-Wesley, 2000.
3. K. Pohl, G. Böckle, and F. van der Linden, Software Product Line Engineering. Foundations, Principles, and Techniques. Springer-Verlag, 2005.
4. D. Jackson, "Alloy: A Lightweight Object Modelling Notation," ACM Trans. Software Engineering and Methodology (TOSEM), vol. 11, no. 2, pp. 256-290, 2002.
5. M. Calder, M. Kolberg, E. Magill, and S. Reiff-Marganiec, "Feature Interaction: A Critical Review and Considered Forecast," Computer Networks: Int. J. Computer and Telecommunications Networking, vol. 41, no. 1, pp. 115-141, 2003.
6. Y. Smaragdakis and D. Batory, "Mixin Layers: An Object-Oriented Implementation Technique for Refinements and Collaboration-Based Designs," ACM Trans. Software Engineering and Methodology (TOSEM), vol. 11, no. 2, pp. 215-255, 2002.
7. D. Batory, J. Sarvela, and A. Rauschmayer, "Scaling Step-Wise Refinement," IEEE Trans. Software Engineering (TSE), vol. 30, no. 6, pp. 355-371, 2004.
8. S. Apel, T. Leich, and G. Saake, "Aspectual Feature Modules," IEEE Trans. Software Engineering (TSE), vol. 34, no. 2, pp. 162-180, 2008.
9. S. Apel, T. Leich, M. Rosenmüller, and G. Saake, "FeatureC++: On the Symbiosis of Feature-Oriented and Aspect-Oriented Programming," in Proc. Int. Conf. Generative Programming and Component Engineering (GPCE), ser. LNCS, vol. 3676. Springer-Verlag, 2005, pp. 125-140.
10. S. Apel, C. Kästner, and C. Lengauer, "FeatureHouse: Language-Independent, Automated Software Composition," in Proc. Int. Conf. Software Engineering (ICSE). IEEE CS, 2009, pp. 221-231.
11. S. Apel, S. Kolesnikov, J. Liebig, C. Kästner, M. Kuhlemann, and T. Leich, "Access Control in Feature-Oriented Programming," Science of Computer Programming, 2010, to appear in the Special Issue on Feature-Oriented Software Development.
12. D. Jackson, Software Abstractions: Logic, Language, and Analysis. MIT Press, 2006.
13. S. Apel, F. Janda, S. Trujillo, and C. Kästner, "Model Superimposition in Software Product Lines," in Proc. Int. Conf. Model Transformation (ICMT), ser. LNCS, vol. 5563. Springer-Verlag, 2009, pp. 4-19.
14. S. Thaker, D. Batory, D. Kitchin, and W. Cook, "Safe Composition of Product Lines," in Proc. Int. Conf. Generative Programming and Component Engineering (GPCE). ACM Press, 2007, pp. 95-104.
15. C. Kästner, S. Apel, S. ur Rahman, M. Rosenmüller, D. Batory, and G. Saake, "On the Impact of the Optional Feature Problem: Analysis and Case Studies," in Proc. Int. Software Product Line Conference (SPLC). SEI, 2009, pp. 181-190.
16. C. Prehofer, "Feature-Oriented Programming: A Fresh Look at Objects," in Proc. Europ. Conf. Object-Oriented Programming (ECOOP), ser. LNCS, vol. 1241. Springer-Verlag, 1997, pp. 419-443.
17. J. Liu, D. Batory, and S. Nedunuri, "Modeling Interactions in Feature-Oriented Designs," in Proc. Int. Conf. Feature Interactions in Software and Communication Systems (ICFI). IOS Press, 2005, pp. 178-197.
18. J. Liu, D. Batory, and C. Lengauer, "Feature-Oriented Refactoring of Legacy Applications," in Proc. Int. Conf. Software Engineering (ICSE). ACM Press, 2006, pp. 112-121.
19. B. Delaware, W. Cook, and D. Batory, "Fitting the Pieces Together: A Machine-Checked Model of Safe Composition," in Proc. Int. Symp. Foundations of Software Engineering (FSE). ACM Press, 2009, pp. 243-252.
20. S. Apel, C. Kästner, A. Größlinger, and C. Lengauer, "Type Safety for Feature-Oriented Product Lines," Automated Software Engineering - An International Journal, vol. 17, no. 3, pp. 251-300, 2010.
21. G. Lagorio, M. Servetto, and E. Zucca, "Featherweight Jigsaw - A Minimal Core Calculus for Modular Composition of Classes," in Proc. Europ. Conf. Object-Oriented Programming (ECOOP), ser. LNCS, vol. 5653. Springer-Verlag, 2009, pp. 244-268.
22. M. Jackson and P. Zave, "Distributed Feature Composition: A Virtual Architecture for Telecommunications Services," IEEE Trans. Software Engineering (TSE), vol. 24, no. 10, pp. 831-847, 1998.
23. S. Ratnasamy, P. Francis, M. Handley, R. Karp, and S. Schenker, "A Scalable Content-Addressable Network," in Proc. Int. Conf. Applications, Technologies, Architectures, and Protocols for Computer Communications (SIGCOMM). ACM Press, 2001, pp. 161-172.
24. E. Kang and D. Jackson, "Formal Modeling and Analysis of a Flash Filesystem in Alloy," in Proc. Int. Conf. Abstract State Machines, B and Z (ABZ), ser. LNCS, vol. 5238. Springer-Verlag, 2008, pp. 294-308.
25. K. Fisler and S. Krishnamurthi, "Decomposing Verification Around End-User Features," in Proc. Int. Conf. Verified Software: Theories, Tools, Experiments (VSTTE), ser. LNCS, vol. 4171. Springer-Verlag, 2008, pp. 74-81.
26. S. Trujillo, D. Batory, and O. Díaz, "Feature Oriented Model Driven Development: A Case Study for Portlets," in Proc. Int. Conf. Software Engineering (ICSE). IEEE CS, 2007, pp. 44-53.
27. C. Prehofer, "Plug-and-Play Composition of Features and Feature Interactions with Statechart Diagrams," Software and Systems Modeling (SoSyM), vol. 3, no. 3, pp. 221-234, 2004.
28. S. Clarke and E. Baniassad, Aspect-Oriented Analysis and Design. The Theme Approach. Addison-Wesley, 2005.
29. J.-M. Jezequel, "Model Driven Design and Aspect Weaving," Software and Systems Modeling (SoSyM), vol. 7, no. 2, pp. 209-218, 2008.
30. P. Jayaraman, J. Whittle, A. Elkhodary, and H. Gomaa, "Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis," in Proc. Int. Conf. Model Driven Engineering Languages and Systems (MODELS), ser. LNCS, vol. 4735. Springer-Verlag, 2007, pp. 151-165.
31. F. Mostefaoui and J. Vachon, "Design-Level Detection of Interactions in Aspect-UML Models using Alloy," J. Object Technology (JOT), vol. 6, no. 7, pp. 137-165, 2007.
32. E. Uzuncaova, D. Garcia, S. Khurshid, and D. Batory, "Testing Software Product Lines Using Incremental Test Generation," in Proc. Int. Symp. Software Reliability Engineering (ISSRE). IEEE CS, 2008, pp. 249-258.
33. N. Weston, R. Chitchyan, and A. Rashid, "A Formal Approach to Semantic Composition of Aspect-Oriented Requirements," in Proc. Int. Requirements Engineering Conference (RE). IEEE CS, 2008, pp. 173-182.
34. C. Chavez, A. Garcia, T. Batista, M. Oliveira, C. Sant'Anna, and A. Rashid, "Composing Architectural Aspects Based on Style Semantics," in Proc. Int. Conf. Aspect-Oriented Software Development (AOSD). ACM Press, 2009, pp. 111-122.
35. H. Li, S. Krishnamurthi, and K. Fisler, "Modular Verification of Open Features Using Three-Valued Model Checking," Automated Software Engineering, vol. 12, no. 3, pp. 349-382, 2005.
36. M. Poppleton, "Towards Feature-Oriented Specification and Development with Event-B," in Proc. Int. Work. Conf. Requirements Engineering: Foundation for Software Quality (REFSQ), ser. LNCS. Springer-Verlag, 2007, vol. 4542, pp. 367-381.
37. K. Lauenroth, S. Toehning, and K. Pohl, "Model Checking of Domain Artifacts in Product Line Engineering," in Proc. Int. Conf. Automated Software Engineering (ASE). IEEE CS, 2009, pp. 269-280.
38. A. Gruler, M. Leucker, and K. Scheidemann, "Calculating and Modeling Common Parts of Software Product Lines," in Proc. Int. Software Product Line Conference (SPLC). IEEE CS, 2008, pp. 203-212.
39. A. Classen, P. Heymans, P.-Y. Schobbens, A. Legay, and J.-F. Raskin, "Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines," in Proc. Int. Conf. Software Engineering (ICSE). ACM Press, 2010, pp. 335-344.
40. P. Zave, "A Formal Model of Addressing for Interoperating Networks," in Proc. Int. Symp. Formal Methods (FM), ser. LNCS, vol. 3582. Springer-Verlag, 2005, pp. 318-333.
41. B. Smith, "The Limits of Correctness," SIGCAS Comput. Soc., vol. 14,15, no. 1,2,3,4, pp. 18-26, 1985.
42. K. Czarnecki and K. Pietroszek, "Verifying Feature-Based Model Templates Against Well-Formedness OCL Constraints," in Proc. Int. Conf. Generative Programming and Component Engineering (GPCE). ACM Press, 2006, pp. 211-220.
43. C. Kästner and S. Apel, "Type-Checking Software Product Lines - A Formal Approach," in Proc. Int. Conf. Automated Software Engineering (ASE). IEEE CS, 2008, pp. 258-267.