AMPLE Aspect-Oriented, Model-Driven, Product Line Engineering Specific Target Research Project: IST-33710 Overview of Extensions/Improvements to Existing Implementation Technologies

The deliverable describes potential extensions and combinations of the technologies of the partners that could be considered as improvements with respect to identified requirements for variability management. The deliverable analyses benefits and feasibility of these extensions. Finally, a preliminary concept of the implementation platform is described, explaining how the separate implementation technologies could be used together for SPL development.

[1]  Mónica Pinto,et al.  A Dynamic Component and Aspect-Oriented Platform , 2005, Comput. J..

[2]  Jon Oldevik,et al.  Scenarios of Traceability in Model to Text Transformations , 2007, ECMDA-FA.

[3]  Gary T. Leavens,et al.  Spectators and Assistants: Enabling Modular Aspect-Oriented Reasoning , 2002 .

[4]  Erik Ernst,et al.  Safe Dynamic Multiple Inheritance , 2002, Nord. J. Comput..

[5]  G. Kiczales,et al.  Aspect-oriented programming and modular reasoning , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[6]  David A. Moon,et al.  A monotonic superclass linearization for Dylan , 1996, OOPSLA '96.

[7]  Rémi Douence,et al.  Concurrent aspects , 2006, GPCE '06.

[8]  Erik Ernst,et al.  Family Polymorphism , 2001, ECOOP.

[9]  David A. Moon.  Object-oriented programming with flavors , 1986, OOPSLA 1986.

[10]  Thomas Ledoux,et al.  Safe Dynamic Reconfigurations of Fractal Architectures with FScript , 2006 .

[11]  Mira Mezini,et al.  Conquering aspects with Caesar , 2003, AOSD '03.

[12]  Oege de Moor,et al.  Adding open modules to AspectJ , 2006, AOSD.

[13]  Robert Cartwright,et al.  A first-class approach to genericity , 2003, OOPSLA 2003.

[14]  Gustavo Alonso,et al.  A Proactive Middleware Platform for Mobile Computing , 2003, Middleware.

[15]  Gregor Kiczales,et al.  Aspect-oriented programming , 1996, CSUR.

[16]  Mira Mezini,et al.  Expressive Pointcuts for Increased Modularity , 2005, ECOOP.

[17]  Bedir Tekinerdogan,et al.  Achieving adaptability through separation and composition of concerns , 1996 .

[18]  Kung-Kiu Lau,et al.  Composing Components in Design Phase using Exogenous Connectors , 2006, 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06).

[19]  Erik Ernst.  gbeta - a Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance , 2000 .

[20]  Wim Vanderperren,et al.  AOP for Dynamic Configuration and Management of Web Services , 2004, Int. J. Web Serv. Res..

[21]  Erik Ernst,et al.  Propagating Class and Method Combination , 1999, ECOOP.

[22]  Ralph E. Johnson,et al.  Using Aspects to Make Adaptive Object-Models Adaptable , 2004, RAM-SE.

[23]  Gianluigi Zavattaro,et al.  From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming , 2004, COORDINATION.

[24]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[25]  Michael Haupt,et al.  Efficient control flow quantification , 2006, OOPSLA '06.

[26]  Jacques Noyé,et al.  A Domain-Specific Language for Coordinating Concurrent Aspects in Java , 2007 .

[27]  Rémi Douence,et al.  Composition, reuse and interaction analysis of stateful aspects , 2004, AOSD '04.

[28]  Rémi Douence,et al.  A Framework for the Detection and Resolution of Aspect Interactions , 2002, GPCE.

[29]  Gerd Kortuem,et al.  Adaptation as an aspect in pervasive computing , 2004 .

[30]  Tony Clark,et al.  Model-driven development - Guest editor's introduction , 2003 .

[31]  Sushil Krishna Bajracharya,et al.  Assessing Aspect Modularizations Using Design Structure Matrix and Net Option Value , 2006, LNCS Trans. Aspect Oriented Softw. Dev..

[32]  Julian Padget,et al.  Consistency Checking of Statechart Diagrams of a Class Hierarchy , 2005, ECOOP.

[33]  Ondrej Lhoták,et al.  Adding trace matching with free variables to AspectJ , 2005, OOPSLA '05.

[34]  Mariangiola Dezani-Ciancaglini,et al.  An extension of the basic functionality theory for the λ-calculus , 1980, Notre Dame J. Formal Log..

[35]  Mira Mezini,et al.  An Overview of CaesarJ , 2006, LNCS Trans. Aspect Oriented Softw. Dev..

[36]  Mira Mezini,et al.  A flexible architecture for pointcut-advice language implementations , 2007, VMIL.

[37]  José Antonio Pérez,et al.  Aspect-oriented interaction in multi-organisational web-based systems , 2003, Comput. Networks.

[38]  Luis Daniel Benavides Navarro,et al.  Explicitly distributed AOP using AWED , 2006, AOSD '06.

[39]  Ole Lehrmann Madsen,et al.  Virtual classes: a powerful mechanism in object-oriented programming , 1989, OOPSLA 1989.

[40]  Jonathan Aldrich,et al.  Open Modules: Modular Reasoning About Advice , 2005, ECOOP.

[41]  Michael Haupt,et al.  Virtual machine support for dynamic join points , 2004, AOSD '04.

[42]  Daniel M. Yellin,et al.  Protocol specifications and component adaptors , 1997, TOPL.

[43]  Wouter Joosen,et al.  The case for aspect-oriented reflective middleware , 2007, ARM '07.

[44]  Lodewijk Bergmans,et al.  A graph-based approach to modeling and detecting composition conflicts related to introductions , 2007, AOSD.

[45]  Jörg Kienzle,et al.  AO challenge - implementing the ACID properties for transactional objects , 2006, AOSD.

[46]  Mira Mezini,et al.  Dependent classes , 2007, OOPSLA.

[47]  Wolfgang Schröder-Preikschat,et al.  AspectC++: an aspect-oriented extension to the C++ programming language , 2002 .

[48]  S. Chiba,et al.  Remote pointcut: a language construct for distributed AOP , 2004, AOSD '04.

[49]  Wim Vanderperren,et al.  Stateful Aspects in JAsCo , 2005, SC@ETAPS.

[50]  Stanley M. Sutton,et al.  N degrees of separation: multi-dimensional separation of concerns , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[51]  Juan Manuel Murillo,et al.  Coordinated Roles: Promoting Re-usability of Coordinated Active Objects Using Event Notification Protocols , 1999, COORDINATION.

[52]  Farhad Arbab,et al.  Reo: A Channel-based Coordination Model for Component Composition , 2005 .

[53]  Mónica Pinto,et al.  Supporting the development of CAM-DAOP applications: an integrated development process , 2007 .

[54]  Todd D. Millstein,et al.  Modular typechecking for hierarchically extensible datatypes and functions , 2004, ACM Trans. Program. Lang. Syst..

[55]  Kyo Chul Kang,et al.  Feature Dependency Analysis for Product Line Component Design , 2004, ICSR.

[56]  Gregory T. Sullivan.  Aspect-oriented programming using reflection and metaobject protocols , 2001, CACM.

[57]  Siobhán Clarke,et al.  Extending standard UML with model composition semantics , 2002, Sci. Comput. Program..

[58]  Iris Groher,et al.  XWeave: models and aspects in concert , 2007, AOM@AOSD.

[59]  Lidia Fuentes,et al.  DAOP-ADL: An Architecture Description Language for Dynamic Component and Aspect-Based Development , 2003, GPCE.

[60]  William G. Griswold,et al.  An Overview of AspectJ , 2001, ECOOP.

[61]  Wim Vanderperren,et al.  JAsCo: an aspect-oriented approach tailored for component based software development , 2003, AOSD '03.

[62]  Matthias Felleisen,et al.  A Programmer's Reduction Semantics for Classes and Mixins , 1999, Formal Syntax and Semantics of Java.

[63]  Wim Vanderperren,et al.  Towards a new component composition process , 2001, Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer-Based Systems-ECBS 2001.

[64]  Lidia Fuentes,et al.  Aspect-Oriented Coordination , 2007, WCAT@ECOOP.

[65]  Vinny Cahill,et al.  Supporting Unanticipated Dynamic Adaptation of Application Behaviour , 2002, ECOOP.

[66]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[67]  Harold Ossher,et al.  Multi-Dimensional Separation of Concerns and the Hyperspace Approach , 2002 .

[68]  Vaidas Gasiunas,et al.  Dungeon: A Case Study of Feature-Oriented Programming with Virtual Classes , 2007 .

[69]  Dianxiang Xu,et al.  State-based incremental testing of aspect-oriented programs , 2006, AOSD.

[70]  Jacques Noyé,et al.  A Seamless Extension of Components with Aspects using Protocols , 2007 .

[71]  Olivier Motelet,et al.  A Formal Definition of Crosscuts , 2001, Reflection.