Aspect-oriented approach to early design modelling

IEE Proceedings: Software

Volumn 151, Issue 4, 2004, Pages 173-185

  France, R ^a   Ray, I ^a   Georg, G ^a   Ghosh, S ^a  

^a Department of Computer Science   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; FAULT TOLERANT COMPUTER SYSTEMS; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SECURITY OF DATA;

ASPECT ORIENTED ARCHITECTURE MODELS; ASPECT ORIENTED MODELLING; OBJECT CONSTRAINT LANGUAGE;

SOFTWARE ENGINEERING;

EID: 5744230994     PISSN: 14625970     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1049/ip-sen:20040920     Document Type: Article

References (40)

1. Jackson, M.: 'Problem frames: analyzing and structuring software development problems' (Addison Wesley Professional, 2000)
2. Kande, M.: 'A concern-oriented approach to software architecture'. PhD thesis, EPFL, Lausanne, Switzerland, 2003
3. Sandhu, R., Coyne, E.J., Feinstein, H.L., and Youman, C.E.: 'Role based access control models', Computer, 1996, 29, (2), pp. 38-47
4. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., and Griswold, W.G.: 'An overview of AspectJ'. Proc. European Conf. on Object-Oriented Programming (ECOOP), Budapest, Hungary, June 2001, pp. 327-353
5. The Object Management Group. 'Unified modelling language. Version 1.5', OMG, formal/2003-03-01, 2003
6. Clarke, S., and Murphy, J.: 'Developing a tool to support the application of aspect-oriented programming principles to the design phase'. Proc. Int. Conf. on Software Engineering (ICSE), Kyoto, Japan, April 1998
7. France, R., Kim, D.-K., Ghosh, S., and Song, E.: 'A UML-based pattern specification technique', IEEE Trans. Sofw. Eng., 2004, 30, (3)
8. Warmer, J., and Kleppe, A.: 'The object constraint language' (Addison-Wesley, 2003, 2nd edn.)
9. The Object Management Group. 'Unified modelling language: superstructure. Version 2.0', OMG, ptc/03-07-06, 2003
10. Andrews, A., France, R., Ghosh, S., and Craig, G.: 'Test adequacy criteria for UML design models', Sofw. Test. Verif. Reliab., 2003, 13, (2), pp. 95-127
11. Ghosh, S., France, R.B., Braganza, C., Kawane, N., Andrews, A., and Pilskalns, O.: 'Test adequacy assessment for UML design model testing'. Proc. Int. Symp. on Software Reliability Engineering (ISSRE), 2003
12. Pilskalns, O., Andrews, A., Ghosh, S., and France, R.B.: 'Rigorous testing by merging structural and behavioral UML representations'. Proc. 6th Int. Conf. on Unified Modeling Language (UML), San Francisco, USA, 20-24 October 2003
13. Atlee, J.M., and Gannon, J.: 'State-based model checking of event-driven system requirement', IEEE Trans. Softw. Eng., 1993, 19, (1 , pp. 24-40
14. Holzmann, G.J.: 'Design and validation of computer protocols' (Prentice Hall, Englewood Cliffs, NJ, 1991), Software Series
15. O.M. Group. 'PDM enablers'. Technical Report mfg/98-02-02, The Object Management Group (OMG), 2002
16. Mekerke, F., Georg, G., France, R., and Alexander, R.: 'Tool support for aspect-oriented design'. Presented at Workshop on Advances in Object-Oriented Information Systems: (OOIS), 2002
17. Bergmans, L., and Aksit, M.: 'Composing multiple concern using composition filters', Commun. ACM, 2001, 44, (10)
18. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., and Grisword, W.G.: 'Getting started with AspectJ', Commun. ACM, 2001, 44, (10), pp. 59-65
19. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., and Irwin, J.: 'Aspect-oriented programming', Lect. Notes Comp. Sci., 1997, 1241, pp. 220-242
20. Kieberherr, K., Orleans, D., and Ovlinger, J.: 'Aspect-oriented programming with adaptive methods', Commun. ACM, 2001, 44, (10), pp. 39-41
21. Ossher, H., and Tarr, P.: 'Using multidimensional separation of concerns to (re)shape evolving software', Commun. ACM, 2001, 44, (10), pp. 43-50
22. Pace, J.A.D., and Campo, M.R.: 'Analyzing the role of aspects in software design', Commun. ACM, 2001, 44, (10), pp. 66-73
23. Silva, A.R.: 'Separation and composition of overlapping and interacting concerns'. Proc. 1st Workshop on Multi-Dimensional Separation of Concerns in Object-Oriented Systems (OOPSLA), Denver, Colorado, November 1999
24. Sullivan, G.T.: 'Aspect-oriented programming using reflection and metaobject protocols', Commun. ACM, 2001, 44, (10), pp. 95-97
25. Fiadeiro, J.L., and Lopes, A.: 'Algebraic semantics of co-ordination or what is it in a signature?', Lect. Notes Comp. Sci., 1999, 1548, pp. 293-307
26. Gray, J., Bapty, T., Neema, S., and Tuck, J.: 'Handling crosscutting constraints in domain-specific modeling', Commun. ACM, 2002, 44, (10), pp. 87-93
27. Rashid, A., Moreira, A., and Araujo, J.: 'Modularization and composition of aspectual requirements'. Proc. 2nd ACM Int. Conf. on Aspect-Oriented Software Development, Boston, March 2003, pp. 11-20
28. Rashid, A., Sawyer, P., Moreira, A., and Araujo, J.: 'Early aspects: a model for aspect-oriented requirements engineering'. Proc. IEEE Joint Int. Conf. on Requirements Engineering, Essen, Germany, 9-13 September 2002, pp. 199-202
29. Suzuki, J., and Yamamoto, Y.: 'Extending UML with aspects: aspect support in the design phase'. Proc. 3rd ECOOP Aspect-Oriented Programming Workshop, Lisbon, Portugal, June 1999
30. Clarke, S.: 'Extending standard UML with model composition semantics', Sci. Comput. Program., 2002, 44, (1), pp. 71-100
31. Clarke, S., and Walker, R.J.: 'Composition patterns: An approach to designing reusable aspects'. Presented at 23rd Int. Conf. on Software Engineering (ICSE), Toronto, Canada, 2001
32. Clarke, S., and Walker, R.J.: 'Towards a standard design language for AOSD'. Presented at 1st Int. Conf. on Aspect-Oriented Software Development, Enschede, The Netherlands, April 2002
33. Rashid, A.: 'A hybrid approach to separation of concerns: the story of SADES', Lect. Notes Comp. Sci., 2001, 2192, pp. 231-249
34. Rashid, A., and Chitchyan, R.: 'Persistence as an aspect'. Proc. 2nd ACM Int. Conf. on Aspect-Oriented Software Development, Boston, March 2003, pp. 120-129
35. Georg, G., France, R., and Ray, I.: 'An aspect-based approach to modeling security concerns'. Proc. Workshop on Critical Systems Development with UML, Dresden, Germany, 2002
36. Georg, G., France, R., and Ray, I.: 'Designing high integrity systems using aspects'. Proc. 5th IFIP TC-11 WG 11.5 Working Conf. on Integrity and Internal Control in Information Systems (IICIS), Bonn, Germany, November 2002
37. Georg, G., Ray, I., and France, R.: 'Using aspects to design a secure system'. Proc. Int. Conf. on Engineering Complex Computing Systems (ICECCS), Greenbelt, MD, December 2002
38. Feather, M.: 'A quantitative risk-based model for reasoning over critical system properties'. Proc. Int. Workshop on Requirements for High Assurance Systems, Essen, Germany, September 2002, pp. 11-18
39. Feather, M., Conford, S., Dunphy, J., and Hicks, K.: 'A quantitative risk model for early lifecycle decision making'. Presented at Society for Design and Process Science Conf. on Integrated Design and Process Technology (IDPT), 2002
40. Feather, M., and Cornford, S.: 'Quantitative risk-based requirements reasoning', Require. Eng., to be published