From sequence diagrams to Java-stairs aspects

ABSTRACT

Execution traces are naturally represented at the design level with UML sequence diagrams. During a system execution, trace-based aspects can be used to monitor behavioral patterns and protocols and may e.g. provide mitigation strategies for unwanted behavior. Trace-based and stateful aspects have evolved to handle such reoccurring interaction patterns at the implementation level. We define a STAIRS-inspired semantics for trace-based Java aspects, and a sequence diagram aspect notation with a mapping to a trace-based Java implementation. We use this to show that aspect composition is semantics preserving with respect to refinement under the given semantics.

REFERENCES

• 1: Chris Allan , Pavel Avgustinov , Aske Simon Christensen , Laurie Hendren , Sascha Kuzins , Ondřej Lhoták , Oege de Moor , Damien Sereni , Ganesh Sittampalam , Julian Tibble, Adding trace matching with free variables to AspectJ, Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 16-20, 2005, San Diego, CA, USA
• 2: P. Avgustinov, J. Tibble, and O. de Moor. Making Trace Monitors Feasible. Technical Report abc-2007-1, University of Oxford, UK, 2007.
• 3: Elisa Baniassad , Siobhan Clarke, Theme: An Approach for Aspect-Oriented Analysis and Design, Proceedings of the 26th International Conference on Software Engineering, p.158-167, May 23-28, 2004
• 4: Manfred Broy , Ingolf H. Krüger , Michael Meisinger, A formal model of services, ACM Transactions on Software Engineering and Methodology (TOSEM), v.16 n.1, p.5-es, February 2007 [doi>10.1145/1189748.1189753]
• 5: Thomas Cottenier , Aswin van den Berg , Tzilla Elrad, Stateful aspects: the case for aspect-oriented modeling, Proceedings of the 10th international workshop on Aspect-oriented modeling, p.7-14, March 12-12, 2007, Vancouver, Canada [doi>10.1145/1229375.1229377]
• 6: M. Deubler, M. Meisinger, S. Rittmann, and I. Krüger. Modeling Crosscutting Services with UML Sequence Diagrams. In Model Driven Engineering Languages and Systems, MODELS, Jamaica, 2005. Springer.
• 7: Rémi Douence , Pascal Fradet , Mario Südholt, A Framework for the Detection and Resolution of Aspect Interactions, Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering, p.173-188, October 06-08, 2002
• 8: Rémi Douence , Pascal Fradet , Mario Südholt, Composition, reuse and interaction analysis of stateful aspects, Proceedings of the 3rd international conference on Aspect-oriented software development, p.141-150, March 22-24, 2004, Lancaster, UK [doi>10.1145/976270.976288]
• 9: R. Douence, P. Fradet, and M. Südholt. in Trace-based Aspects, chapter Trace-based Aspects., pages 201--217. Addison-Wesley, ISBN 0-32-121976, 2004.
• 10: Roy Grønmo , Fredrik Sørensen , Birger Møller-Pedersen , Stein Krogdahl, A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol, Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications, June 09-13, 2008, Berlin, Germany [doi>10.1007/978-3-540-69100-6_18]
• 11: Stefan Hanenberg , Dominik Stein , Rainer Unland, From aspect-oriented design to aspect-oriented programs: tool-supported translation of JPDDs into code, Proceedings of the 6th international conference on Aspect-oriented software development, March 12-16, 2007, Vancouver, British Columbia, Canada [doi>10.1145/1218563.1218570]
• 12: Ø. Haugen, K. E. Husa, R. K. Runde, and K. Stølen. Why Timed Sequence Diagrams Require Three-Event Semantics. Research Report 309, ISBN 82-7368-261-7, University of Oslo, 2004.
• 13: Ø. Haugen, K. E. Husa, R. K. Runde, and K. Stølen. STAIRS Towards Formal Design with Sequence Diagrams. Software and Systems Modeling, pages 355--367, 2005.
• 14: Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William G. Griswold, An Overview of AspectJ, Proceedings of the 15th European Conference on Object-Oriented Programming, p.327-353, June 18-22, 2001
• 15: Jacques Klein , Loïc Hélouët , Jean-Marc Jézéquel, Semantic-based weaving of scenarios, Proceedings of the 5th international conference on Aspect-oriented software development, March 20-24, 2006, Bonn, Germany [doi>10.1145/1119655.1119662]
• 16: K. Klose and K. Ostermann. Back to the Future: Pointcuts as Predicates over Traces. Foundations of Aspect-Oriented Languages workshop (FOAL), 2005.
• 17: C. Koppen and M. Storzer. PCDiff: Attacking the Fragile Pointcut Problem. European Interactive Workshop on Aspects in Software (EIWAS), Berlin, Germany, 2004.
• 18: I. H. Krüger, M. Meisinger, and M. Menarini. Runtime Verification of Interactions: From MSCs to Aspects. Workshop on Runtime Verification, 2007.
• 19: M. S. Lund. Operational Analysis of Sequence Diagram Specifications. PhD thesis, Department of Informatics, University of Oslo, 2008.
• 20: Shahar Maoz , David Harel, From multi-modal scenarios to code: compiling LSCs into aspectJ, Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, November 05-11, 2006, Portland, Oregon, USA [doi>10.1145/1181775.1181802]
• 21: Jon Oldevik , Øystein Haugen, Semantics Preservation of Sequence Diagram Aspects, Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications, June 09-13, 2008, Berlin, Germany [doi>10.1007/978-3-540-69100-6_15]
• 22: J. Oldevik, T.Neple, R. Grønmo, J. Aagedal, and A. Berre. Toward Standardised Model to Text Transformations. In European Conference on Model Driven Architecture -- Foundations and Applications (ECMDA), pages 239--253, Nuremberg, 2005. Springer.
• 23: OMG. The Unified Modeling Language: Superstructure, Version 2.1. Standard ptc/06-01-02, OMG, 2006.
• 24: K. Ostermann, M. Mezini, and C. Bockisch. Expressive Pointcuts for Increased Modularity. European Conference on Object Oriented Programming (ECOOP), 3586/2005:214--240, 2005.
• 25: D. Stein, S. Hanenberg, and R. Unland. Query Models. In 7th International Conference of Modelling Languages and Applications, volume 3273/2004, pages 98--112, Lisbon, Portugal, 2004. Springer.
• 26: Dominik Stein , Stefan Hanenberg , Rainer Unland, Expressing different conceptual models of join point selections in aspect-oriented design, Proceedings of the 5th international conference on Aspect-oriented software development, March 20-24, 2006, Bonn, Germany [doi>10.1145/1119655.1119661]
• 27: Davy Suvée , Wim Vanderperren , Viviane Jonckers, JAsCo: an aspect-oriented approach tailored for component based software development, Proceedings of the 2nd international conference on Aspect-oriented software development, p.21-29, March 17-21, 2003, Boston, Massachusetts [doi>10.1145/643603.643606]
• 28: W. Vanderperren, D. Suvée, M. A. Cibrán, and B. D. Fraine. Stateful Aspects in JAsCo. 4th Intl. Workshop of Software Composition, 2005.
• 29: R. J. Walker and G. C. Murphy. Joinpoints as Ordered Events: Towards Applying Implicit Context to Aspect-Orientation. Workshop on Advanced Separation of Concerns at ICSE, 2001.
• 30: Robert J. Walker , Kevin Viggers, Implementing protocols via declarative event patterns, Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, October 31-November 06, 2004, Newport Beach, CA, USA
• 31: J. Whittle and P. Jayaraman. MATA: A Tool for Aspect-Oriented Modeling based on Graph Transformation. 11th International Workshop on Aspect-Oriented Modeling (AOM), 2007.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.10 Design**
            Subjects: Representation**

General Terms:
Design, Languages

Keywords:
refinement, sequence diagram aspects, trace-based aspects