CSP parallel composition of aspect models

We present an approach to aspect specification based on the Protocol Modelling paradigm, which uses CSP parallel composition as the mechanism for combining partial behaviour specifications. Using the Protocol Modelling approach enables local reasoning about the behaviour of the whole model based on knowledge of behaviour of the composed aspects, and we present the proof of this key property in this paper. We describe how Protocol Modelling allows the definition of aspect join points and weaving relationships at the model level, and how different aspects may use different abstractions over the same domain. We illustrate this using a small case example.

[1]  Mehmet Aksit,et al.  Transactions on Aspect-Oriented Software Development IV , 2007, Trans. Aspect-Oriented Software Development IV.

[2]  Gregor Engels,et al.  Observable or Invocable Behaviour - You Have to Choose , 1994 .

[3]  David Walker,et al.  Harmless advice , 2006, POPL '06.

[4]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[5]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[6]  Ella E. Roubtsova,et al.  Protocol Modelling Semantics for Embedded Systems , 2007, 2007 International Symposium on Industrial Embedded Systems.

[7]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[8]  Bedir Tekinerdogan,et al.  Deriving Design Aspects from Conceptual Models , 1998, ECOOP Workshops.

[9]  Shamus P. Smith,et al.  Using CSP to Specify Interaction in Virtual Environments , 1999 .

[10]  Michael Jackson,et al.  Domain descriptions , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[11]  Mira Mezini,et al.  Aspect-oriented programming and modular reasoning , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[12]  Stefan Hanenberg,et al.  Expressing different conceptual models of join point selections in aspect-oriented design , 2006, AOSD.

[13]  Ashley T. McNeile,et al.  Protocol modelling: A modelling approach that supports reusable behavioural abstractions , 2006, Software & Systems Modeling.

[14]  Kathi Fisler,et al.  Verifying aspect advice modularly , 2004, SIGSOFT '04/FSE-12.

[15]  Nikolai Tillmann,et al.  Action Machines: a Framework for Encoding and Composing Partial Behaviors , 2006, Int. J. Softw. Eng. Knowl. Eng..

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

[17]  John Daniels,et al.  Designing object systems: object-oriented modelling with Syntropy , 1995 .

[18]  Shmuel Katz.  Aspect Categories and Classes of Temporal Properties , 2006, LNCS Trans. Aspect Oriented Softw. Dev..

[19]  David Harel,et al.  Modeling Reactive Systems With Statecharts : The Statemate Approach , 1998 .

[20]  Peter W. O'Hearn,et al.  Local Reasoning about Programs that Alter Data Structures , 2001, CSL.