Managing variability complexity in aspect-oriented modeling

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

Volumn 5301 LNCS, Issue , 2008, Pages 797-812

  Morin, Brice ^a   Vanwormhoudt, Gilles ^b   Lahire, Philippe ^c   Gaignard, Alban ^c   Barais, Olivier ^a   Jézéquel, Jean Marc ^a  

^a INRIA   (France)

^b UNIV LILLE   (France)

^c UNIVERSITY OF NICE SOPHIA ANTIPOLIS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL EXPLOSIONS; COMPLEX TASKS; DYNAMIC CHECKING; MODEL CONSISTENCIES; POINTCUT; STATIC CHECKING;

LINGUISTICS; MODELS; REUSABILITY;

MODEL CHECKING;

EID: 56649092632     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87875-9_55     Document Type: Conference Paper

References (22)

1. Barais, O., Klein, J., Baudry, B., Jackson, A., Clarke, S.: Composing Multi-View Aspect Models. In: 7th IEEE International Conference on Composition-Based Software Systems (ICCBSS), Madrid, Spain (Febuary 2008)
2. Bertolino, A., Fantechi, A., Gnesi, S., Lami, G.: Product Line Use Cases: Scenario-based Specification and Testing of Requirements. In: Software Product Lines, pp. 425-445. Springer, Heidelberg (2006)
3. Cohen, M.B., Dwyer, M.B., Shi, J.: Coverage and Adequacy in Software Product Line Testing. In: ROSATEA 2006: ISSTA 2006 workshop on Role of software architecture for testing and analysis, pp. 53-63. ACM Press, New York (2006)
4. Czarnecki, K., Pietroszek, K.: Verifying Feature-Based Model Templates Against Well-Formedness OCL Constraints. In: GPCE 2006: Proceedings of the 6th Int. Conf. on Generative Programming and Component Engineering, pp. 211-220. ACM Press, New York (2006)
5. Geppert, B., Li, J.J., Rößler, F., Weiss, D.M.: Towards Generating Acceptance Tests for Product Lines. In: Bosch, J., Krueger, C. (eds.) ICOIN 2004 and ICSR 2004. LNCS, vol. 3107, pp. 35-48. Springer, Heidelberg (2004)
6. Kishi, T., Noda, N., Katayama, T.: Design Verification for Product Line Development. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 150-161. Springer, Heidelberg (2005)
7. Lahire, P., Morin, B., Vanwormhoudt, G., Gaignard, A., Barais, O., Jézéquel, J.M.: Introducing Variability into Aspect-Oriented Modeling Approaches. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 498-513. Springer, Heidelberg (2007)
8. Lahire, P., Quintian, L.: New Perspective To Improve Reusability in Object-Oriented Languages. Journal Of Object Technology (JOT) 5(1), 117-138 (2006)
9. Mannion, M., Cámara, J.: Theorem Proving for Product Line Model Verification. In: van der Linden, F.J. (ed.) PFE 2003. LNCS, vol. 3014, pp. 211-224. Springer, Heidelberg (2004)
10. Metzger, A., Heymans, P., Pohl, K., Schobbens, P.-Y., Saval, G.: Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis. In: RE 2007: 15th Int. Conf. on Requirements Engineering, Delhi, October 2007, pp. 243-253. IEEE Computer Society, Los Alamitos (2007)
11. Morin, B., Barais, O., Jézéquel, J.M.: Weaving Aspect Configurations for Managing System Variability. In: VaMoS 2008: 2nd International Workshop on Variability Modelling of Software-intensive Systems, Essen, Germany (2008)
12. Muller, P.A., Fleurey, F., Jézéquel, J.M.: Weaving Executability into Object-Oriented Meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713. Springer, Heidelberg (2005)
13. Nebut, C., Fleurey, F., Le Traon, Y., Jézéquel, J.M.: A Requirement-Based Approach to Test Product Families. In: van der Linden, F.J. (ed.) PFE 2003. LNCS, vol. 3014, pp. 198-210. Springer, Heidelberg (2004)
14. Pohl, K., Metzger, A.: Software Product Line Testing. Commun. ACM 49(12), 78-81 (2006)
15. Ramos, R., Barais, O., Jézéquel, J.M.: Matching Model Snippets. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 121-135. Springer, Heidelberg (2007)
16. Reuys, A., Reis, S., Kamsties, E., Pohl, K.: The ScenTED Method for Testing Software Product Lines. In: Software Product Lines, pp. 479-520. Springer, Heidelberg (2006)
17. Sen, S., Baudry, B., Mottu, J.-M.: On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing. In: ICST 2008: 1st Int. Conf. on Software Testing Verification and Validation, Lillehammer, Norway (April 2008)
18. Sen, S., Baudry, B., Precup, D.: Partial Model Completion in Model Driven Engineering using Constraint Logic Programming. In: Int. Conf. on Appl. of Declarative Programming and Knowledge Management, Wurzburg, Germany (October 2007)
19. SmartAdapters action language semantics (2008), http://www.irisa.fr/ triskell/perso-pro/obarais/pmwiki.php?n=Research.SmartAdapters
20. Svahnberg. M., Bosch, J.: Issues Concerning Variability in Software Product Lines. In: van der Linden, F.J. (ed.) IW-SAPF 2000. LNCS, vol. 1951, pp. 146-157. Springer, Heidelberg (2000)
21. Thaker, S., Batory, D., Kitchin, D., Cook, W.: Safe Composition of Product Lines. In: GPCE 2007: 6th Int. Conf. on Generative Programming and Component Engineering, pp. 95-104. ACM, New York (2007)
22. Ziadi, T., Jézéquel, J.M.: Product Line Engineering with the UML: Products Derivation. In: Software Product Lines, pp. 557-588. Springer, Heidelberg (2006)