An Aspect-Oriented Language for Product Family Specification

D. L. Parnas, On the design and development of program families, IEEE Trans. Software Eng. 2 (1) (1976) 1-9. K. Czarnecki, Generative programming, principles and techniques of software engineering based on automated configuration and fragment-based component models, Ph.D. thesis, Technical University of Ilmenau.(Oct. 1998). M. Eriksson, J. B̈orstler, K. Borg, The PLUSS approach-domain modeling with features, use cases and use realization, in: Proc. of 9th International Conference on Software Product Lines, 2005, pp. 33-44. M. L. Griss, J. Favaro, M. d’Alessandro, Integrating features modeling with the RSEB, in: Proc. of the 5th International Conference on Software Reuse, 1998, pp. 76-85. K. Kang, S. Cohen, J. Hess,W. Novak, A. Peterson, Feature oriented domain analysis (FODA) feasibility study, Technical Report CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University.(Nov 1990). M. Riebisch, K. B̈ollert, D. Streitferdt, I. Philippow, Extending feature diagrams with UML multiplicites.(2002). K. E. Nygard, D. Xu, J. Pikalek, M. Lundell, Multi-agent designs for ambient systems, in: 1st International ICST Conference on Ambient Media and Systems, 2010, pp. 10:1-10:6. J. Kuusela, H. Tuominen, Aspect-Oriented Approach to Operating System Development Empirical Study, Journal of Communication and Computer 6 (8) (2009) 233-238. P. Ḧofner, R. Khedri, B. M̈oller, Feature algebra, in: J. Misra, T. Nipknow, E. Sekerinski (Eds.), Formal Methods, Lecture Notes in Computer Science, Vol. 4085, Springer-Verlag, 2006, pp. 300-315. P. Ḧofner, R. Khedri, B. M̈oller, Algebraic view reconciliation, in: Proc. of 6th IEEE International Conference on Software Engineering and Formal Methods, 2008, pp. 85-94. P. Ḧofner, R. Khedri, B. M̈oller, An algebra of product families, Software and Systems Modeling 10 (2) (2011) 161-182. P. Ḧofner, R. Khedri, B. M̈oller, Supplementing product families with behaviour, International Journal of Informatics (2011) 245-266. F. Alturki, R. Khedri, A tool for formal feature modeling based on bdds and product families algebra, in: 13th Workshop on Requirement Engineering, 2010, pp. 109-120. Q. Zhang, R. Khedri, J. Jaskolka, An aspect-oriented language based on product family algebra: Aspects specification and verification, Tech. Rep. CAS-11-08-RK, McMaster University, Hamilton, Ontario, Canada, available: http://www.cas.mcmaster.ca/cas/0template1.php?601.(Nov. 2011). M. Acher, P. Collet, P. Lahire, R. France, Composing feature models, in: M. van den Brand, D. Gǎsevic, J. Gray (Eds.), Software Language Engineering, Vol. 5969 of Lecture Notes in Computer Science, Springer Berlin/Heidelberg, 2010, pp. 62-81. M. Alf́erez, J. Santos, A. Moreira, A. Garcia, U. Kulesza, J. Aráujo, V. Amaral, Multi-view composition language for software product line requirements, in: Proc. of the 2nd International Conference on Software Language Engineering, 2009, pp. 103-122. S. Apel, T. Leich, G. Saake, Aspectual mixin layers: Aspects and features in concert, in: Proc. of the International Conference on Software Engineering, 2006, pp. 122-131. M. L. Griss, Implementing product-line features by composing component aspects, in: Proc. of First International Software Product Lines Conference, 2000, pp. 271-288. I. Groher, M. Voelter, Xweave: Models and aspects in concert, in: Proc. of the 10th Workshop on Aspect-Oriented Modelling, 2007, pp. 35-40. N. Loughran, A. Rashid, Framed aspect: Support variability and configurability for AOP, in: Proc. of International Conference on Software Reuse, 2004, pp. 127-140. M. Mezini, K. Ostermann, Variability management with feature-oriented programming and aspects, in: Proc. of the 12th ACM International Symposium on Foundations of Software Engineering, 2004, pp. 127-136. E. Dijkstra, A discipline of programming, Prentice-Hall, 1976.