Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects

Proceedings of the 2006 International Symposium on Software Testing and Analysis, ISSTA 2006

Volumn 2006, Issue , 2006, Pages 181-190

  Kiviluoma, Kimmo ^a   Koskinen, Johannes ^b   Mikkonen, Tommi ^b  

^a Solita Oy   (Finland)

^b TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

Author keywords

AspectJ; Behavioral profile; Monitoring; Software architecture

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; DYNAMIC PROGRAMMING; JAVA PROGRAMMING LANGUAGE; UNIFIED MODELING LANGUAGE;

ARCHITECTURAL PROFILES; ASPECTJ; BEHAVIORAL PROFILE; INDUSTRIAL USE;

SOFTWARE ARCHITECTURE;

EID: 34247356196     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1146238.1146259     Document Type: Conference Paper

References (25)

1. J. Airaksinen, K. Koskimies, J. Koskinen, J. Peltonen, P. Selonen, M. Siikarla, and T. Systä. xUMLi: Towards a tool-independent UML processing platform. In Proceedings of the Nordic Workshop on Software Development Tools and Techniques, pages 1-16, Copenhagen, Denmark, Aug. 2002. IT University of Copenhagen.
2. The AspectJ Team, http://www.eclipse.org/aspectj/doc/released/progguide/. The AspectJ Programming Guide, 2003.
3. R. E. Filman, T. Elrad, S. Clarke, and M. Akşit, editors. Aspect-Oriented Software Development. Addison-Wesley, Boston, 2005.
4. R. B. France, D.-K. Kim, S. Ghosh, and E. Song. A UML-based pattern specification technique. IEEE Trans. Softw. Eng., 30(3): 193-206, 2004.
5. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design patterns: elements of reusable object-oriented software. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1995.
6. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification, 2nd Edition. Addison-Wesley Longman Publishing Co., Inc., 2000.
7. I. Groher and S. Schulze. Generating aspect code from UML models. In F. Akkawi, O. Aldawud, G. Booch, S. Clarke, J. Gray, B. Harrison, M. Kandé, D. Stein, P. Tarr, and A. Zakaria, editors, The 4th AOSD Modeling With UML Workshop, 2003.
8. IEEE Computer Society. 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom. IEEE Computer Society, 2004.
9. G. Kiczales, J. Lamping, A. Mendhekar, Maede, C., C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In Proceedings of the 11th European Conference on Object-Oriented Programming (ECOOP '97), pages 220-242. Springer-Verlag, June 1997.
10. K. Kiviluoma, J. Koskinen, and T. Mikkonen. Run-time monitoring of behavioral profiles with aspects. In Proceedings of the NWUML'2005: the 3rd Nordic Workshop on UML and Software Modeling, pages 62-76. Department of Computer Sciences, University of Tampere, 2005.
11. J. Koskinen, K. Koskimies, T. Mikkonen, and T. Systä. Profile-based checking of behavioral consistency. In Proceedings of Consistency in Model Driven Engineering (CoMoDe) Workshop of the European Conference on MDA - Foundations and Applications (ECMDA), November 2005.
12. E. Mäkinen and T. Systä. MAS - an interactive synthesizer to support behavioral modeling in UML. In ICSE, pages 15-24. IEEE Computer Society, 2001.
13. Maven. http://maven.apache.org/, 2005.
14. Object Management Group, Inc. OMG Unified Modeling Language (UML) Specification/03-03-01, March 2003. Version 1.5.
15. Object Management Group, Inc. Unified Modeling Language: Superstructure version 2.0 Final Adopted Specification ptc/03-08-02, August 2003. Version 2.0.
16. Rational Software, http://www-306.ibm.com/software/rational. Rational Rose, 2005.
17. M. Richters and M. Gogolla. Aspect-oriented monitoring of UML and OCL constraints. In F. Akkawi, O. Aldawud, G. Booch, S. Clarke, J. Gray, B. Harrison, M. Kandé, D. Stein, P. Tarr, and A. Zakaria, editors, The 4th AOSD Modeling With UML Workshop, 2003.
18. C. Riva, P. Selonen, T. Systä, and J. Xu. UML-based reverse engineering and model analysis approaches for software architecture maintenance. In ICSM, pages 50-59. IEEE Computer Society, 2004.
19. P. Selonen and J. Xu. Validating UML models against architectural profiles. In Proceedings of the 9th European Software Engineering Conference held jointly with 10th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 58-67. ACM Press, 2003.
20. The Spring Framework. http://www.springframework.org, 2005.
21. V. Stolz and E. Bodden. Temporal Assertions using AspectJ. In RV'05 - Fifth Workshop on Runtime Verification, July 2005.
22. S. Uchitel, J. Kramer, and J. Magee. Synthesis of behavioral models from scenarios. IEEE Trans. Softw. Eng., 29(2):99-115, 2003.
23. J. Whittle and J. Schumann. Generating statechart designs from scenarios. In ICSE, pages 314-323, 2000.
24. H. Yan, D. Garlan, B. R. Schmerl, J. Aldrich, and R. Kazman. Discotect: A system for discovering architectures from running systems. In ICSE [8], pages 470-479.
25. T. Ziadi, L. Hélouét, and J.-M. Jézéquel. Revisiting statechart synthesis with an algebraic approach. In ICSE [8], pages 242-251.