Context-aware feature-oriented modeling with an aspect extension of VDM

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2007, Pages 1269-1274

  Ubayashi, Naoyasu ^a   Nakajima, Shin ^b  

^a KYUSHU INSTITUTE OF TECHNOLOGY   (Japan)

^b NATIONAL INSTITUTE OF INFORMATICS   (Japan)

Author keywords

Aspect orientation; Context; Feature oriented modeling; Proof obligation; Software product line; VDM; Weaving

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER AIDED DESIGN; COMPUTER SIMULATION; FORMAL LOGIC;

ASPECT ORIENTATION; CONTEXT-AWARE FEATURE; FORMAL DESIGN; MODULAR DESCRIPTIONS; PROOF OBLIGATION; SOFTWARE PRODUCT LINE; VDM DESIGN DESCRIPTION;

SOFTWARE DESIGN;

EID: 35248850172     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1244002.1244277     Document Type: Conference Paper

References (21)

1. AspectJ. http://www.eclipse.org/aspectj/.
2. Elrad, T., Filman, R.E. and Bader A.: Aspect-oriented programming, Comm. ACM, vol.44, no.10, pp.29-32, 2001.
3. Fitzgerald, J. and Larsen, G. P.: Modeling Systems, Practical Tools and Techniques in Software Development, Cambridge University Press, 1998.
4. Fitzgerald, J., Larsen, G. P., Mukherjee, P., Plat, N., and Verhoef, M.: Validated Designs for Object-oriented Systems, Springer Verlag, 2005.
5. Greenfield, J.: Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools, John Wiley & Sons Inc, 2003.
6. Greenspan, S., Mylopoulos, J., and Borgida, A.: Capturing More World Knowledge in the Requirements Specification, In Proceedings of International Conference on Software Engineering (ICSE'82), pp.225-234, 1982.
7. Java Modeling Language (JML), http://www.cs.iastate.edu/leavens/JML/
8. Kang, K. C., Lee, J., and Donohoe, P.: Feature-Oriented Product Line Engineering, IEEE Software, Vol. 9, No. 4, pp.58-65, 2002.
9. Kiczales, G., et al: Aspect-Oriented Programming, In Proceeding of European Conference on Object-Oriented Programming (ECOOP'97), pp.220-242, 1997.
10. Masuhara, H. and Kiczales, G.: Modeling Crosscutting in Aspect-Oriented Mechanisms, In Proceedings of European Conference on Object-Oriented Programming (ECOOP 2003), pp.2-28, 2003.
11. Masuhara, H., Tatsuzawa, H., and Yonezawa, A.: Aspectual Caml: an Aspect-Oriented Functional Language, In Proceedings of International Conference on Functional Programming (ICFP 2005), pp.320-330, 2005.
12. Meyer, B.: Object-Oriented Software Construction, Second Edition, ISE Inc., Santa Barbara Prentice Hall Professional Technical Reference, 1997.
13. Nakajima, S. and Tamai, T.: Lightweight Formal Analysis of Aspect-Oriented Models. Workshop on Aspect-Oriented Modeling at UML2004, 2004.
14. Parnas, D. : On the Criteria To Be Used in Decomposing Systems into Modules. Comm. ACM, Vo. 15, No. 12, pp.1053-1058, 1972.
15. SEI: Product Line Approach to Software Development, http://www.sei.cmu. edu/plp/
16. Tarr, P., Ossher, H., Harrison, W. and Sutton, S.M., Jr.: N Degrees of Separation: Multi-dimensional Separation of Concerns, In Proceedings of International Conference on Software Engineering (ICSE'99), pp.107-119, 1999.
17. Ubayashi, N., Moriyama, G., Masuhara, H., and Tamai, T.: A Parameterized Interpreter for Modeling Different AOP Mechanisms, In Proceedings of International Conference on Automated Software Engineering (ASE 2005), pp.194-203, 2005.
18. Ubayashi, N. and Nakajima, S.: Separation of Context Concerns -Applying Aspect Orientation to VDM,Talk at the 2nd Overture Workshop, FM'06, Hamilton, August 2006.
19. Yamada, K. and Watanabe, T. : An Aspect-Oriented Approach to Modular Specification of Java Component. In Proceedings of the IASTED International Conference on Software Engineering 2005 (SE2005), 2005.
20. Yu, H., Liu, D., Yang, L., and He, X.: Formal Aspect-Oriented Modeling and Analysis by AspectZ. In Proceedings of International Conference on Software Engineering and Knowledge Engineering (SEKE 2005), pp.175-180, 2005.
21. Yu, H., Liu, D., Shao, Z., and He, X.: Modeling Complex Software Systems Using an Aspect Extension of Object-Z. In Proceedings of International Conference on Software Engineering and Knowledge Engineering (SEKE 2006), pp.11-16, 2006.