Modeling complex software systems using an aspect extension of object-Z

18th International Conference on Software Engineering and Knowledge Engineering, SEKE 2006

Volumn , Issue , 2006, Pages 11-16

  Yu, Huiqun ^a   Liu, Dongmei ^a   Shao, Zhiqing ^a   He, Xudong ^b  

^a EAST CHINA UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^b FLORIDA INTERNATIONAL UNIVERSITY   (United States)

Author keywords

Analysis; Aspect orientation; Formal method; Modeling; Object Z

Indexed keywords

ANALYSIS; ASPECT ORIENTATION; ASPECT ORIENTED MODELING; ASPECT ORIENTED SOFTWARE DEVELOPMENT; COMPLEX SOFTWARE SYSTEMS; CROSS-CUTTING CONCERNS; OBJECT Z; SYSTEM SPECIFICATION;

COMPUTER SYSTEMS PROGRAMMING; FORMAL METHODS; KNOWLEDGE ENGINEERING; MODELS; QUALITY ASSURANCE; REUSABILITY; SPECIFICATIONS;

COMPUTER SOFTWARE;

EID: 35248890867     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. L Bergmans and M Aksits Composing crosscutting concerns using composition filters Communications of the ACM, 44(10):51-57, 2001.
2. J Boner What are the key issues for commercial AOP use: how does AspectWerkz address them? In AOSD '04: Proceedings of the 3rd international conference on Aspectoriented software development, pages 5-6, New York, NY, USA, 2004 ACM Press.
3. E A Emerson Temporal logic and modal logic In J van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B, pages 995-1072 Elsevier Science Publishers, 1990.
4. A Garcia, C Sant'Anna, E Figueiredo, U Kulesza, C Lucena, and A von Staa Modularizing design patterns with aspects: a quantitative study In AOSD '05: Proceedings of the 4th International conference on Aspect-oriented software development, pages 3-14, New York, NY, USA, 2005 ACM Press.
5. G George, R France, and I Ray Design high integrity systems using aspects In Proceedings of the 5th IFIP TC-11 WG 11.5 Working Conference on Integrity and Internal Control in Information Systems, pages 37-57, 2002.
6. G Kiczales, E Hilsdale, J Hugunin, M Kersten, J Palm, and W Griswold An overview of AspectJ In Proceedings of the European Conference on Object-Oriented Programming (ECOOP), LNCS 2072, pages 327-353 Springer-Verlag, 2001.
7. G Kiczales, J Lamping, A Mendhekar, C Maeda, C Lopes, J Loingtier, and J Irwin Aspect-oriented programming In Proceedings of the European Conference on Object-Oriented Programming (ECOOP), LNCS 1241, pages 220-242 Springer-Verlag, 1997.
8. D K Kim, I Ray, R B France, and N Li Modeling rolebased access control using parameterized UML models In M Wermelinger and T Margaria, editors, Proceedings of 7th International Conference on Fundamental Approaches to Software Engineering (FASE 2004), LNCS 2984, pages 180-193 Springer, 2004.
9. K Lieberherr, D Orleans, and J Ovlinger Aspect-oriented programming with adaptive methods Communications of the ACM, 44(10):39-41, 2001.
10. P Maes Concepts and experiments in computational reflection In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pages 147-155 ACM, 1987.
11. Z Manna and A Pnueli The Temporal Logic of Reactive and Concurrent Systems: Specification Springer-Verlag, 1992.
12. B Nuseibeh Crosscutting requirements In AOSD '04: Proceedings of the 3rd international conference on Aspectoriented software development, pages 3-4, New York, NY, USA, 2004 ACM Press.
13. A Rashid, A Moreira, and J Araujo Modularisation and composition of aspectual requirements In Proceedings of the 2nd International Conference on Aspect-Oriented Software Development (ASOD 2003), pages 11-20 ACM, 2003.
14. G Smith An Object-Oriented Approach to Formal Specification PhD thesis, University of Queensland, St Lucia 4072, Australia, 1992.
15. J Spivey The Z Notation: A Refernce Manual (2rd Edition) Prentice Hall, UK, 1992.
16. K Winter and G Smith Compositional verification for Object-Z http://citeseer.ist.psu.edu/winter03composi tional.html, 2003.
17. H Yu, D Liu, L Yang, and X He Formal aspectoriented modeling and analysis by AspectZ Proceedings of 17th International Conference on Software Engineering and Knowledge Engineering, Taipei, pages 175-180, 2005.