Aspect-oriented software design with a variant of uml/std

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2006, Pages 44-50

  Nakajima, Shin ^a   Tamai, Tetsuo ^b  

^a NATIONAL INSTITUTE OF INFORMATICS   (Japan)

^b UNIVERSITY OF TOKYO   (Japan)

Author keywords

Join point model; Spin; Uml state diagrams

Indexed keywords

ASPECT-ORIENTED SOFTWARE; CROSS-CUTTING CONCERNS; EXECUTION SEMANTICS; EXISTING SYSTEMS; JOIN POINT; MODEL LANGUAGES; SPIN; STATE DIAGRAM;

ALGORITHMS; MATHEMATICAL MODELS; SEMANTICS; TOOLS;

SOFTWARE DESIGN;

EID: 84885574334     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1138953.1138963     Document Type: Conference Paper

References (19)

1. J. Araujo, J. Whittle, and D. Kim. Modeling and Composing Scenario-Based Requirements with Aspects, In Proc. RE 2004, pages 58-67, September 2004.
2. S. Clarke and E. Baniassad. Aspect-Oriented Analysis and Design. Addison-Wesley 2005.
3. F. Cottet, J. Delacroix, C. Kaiser, and Z. Mammeri. Scheduling in Real-time Systems. Wiley 2002.
4. M. Deubler, M. Meisinger, S. Rittmann, and I. Kruger. Modeling Crosscutting Services with UML Sequence Diagrams. In Proc. MoDELS 2005, pages 522-536, 2005.
5. T. Elrad, O. Aldawud, and A. Bader. Expressing Aspects Using UML Behavioral and Structural Diagrams. In [6], pages 459-478, 2005.
6. R. Filman, T. Elrad, S. Clarke, and M. Aksit. Aspect-Oriented Software Development. Addison Wesley 2005.
7. R. France, I. Ray, G. Georg, and S. Ghosh. An Aspect-Oriented Approch to Design Modeling. IEE Proceedings, 151 (4), August 2004.
8. D. Harel and A. Naamad. The STATEMATE Semantics of Statecharts. ACM Trans. Softw. Engin. Meth., Vol.5, No.4, pages 293-333, 1996.
9. G. Holzmann. The SPIN Model Checker. Addison-Wesley 2004.
10. I. Jacobson and P.-W. Ng. Aspect-Oriented Software Development with Use Cases. Addison Wesley 2005.
11. E. Katz and S. Katz. Verifying Scenario-Based Aspect Specifications. In Proc. FM 2005, pages 432-447, July 2005.
12. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C.V. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In Proc. ECOOP'97, 1997.
13. J. Lilius and I.P. Paltor. The Semantics of UML State Machines. TUCS TR No.273, May 1999.
14. M. Mahoney, A. Bader, T. Elrad, and O. Aldawud. Using Aspects to Abstract and Modularize Statecharts. UML 2004 Workshop on Aspect-Oriented Modeling, October 2004.
15. H. Masuhara and G. Kiczales. Modeling Crosscutting in Aspect-Oriented Mechanisms. In Proc. ECOOP 2003, 2003.
16. E. Mikk, Y. Lakhnech, M. Siegel, and G. Holzmann. Implementing Statecharts in Promela/SPIN. In Proc. WIFT'98, 1998.
17. T. Schafer, A. Knapp, and S. Merz. Model Checking UML Stata Machines and Collaborations. Electronic Notes in Theoretical Computer Science, Vol.55, No.3, 2001.
18. M. Wand, G. Kiczales, and C. Dutchyn. A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming. ACM TOPLAS, Vol.26, No.5, pages 890-910, September 2004.
19. OMG - Unified Modeling Language, v1.5, March 2003.