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

Separation of concerns is important to reduce the complexity of software design. This paper examines a software development method starting with the feature-oriented modeling method to have VDM-based formal design. In order to overcome the problem that a feature may be scattered over the VDM design description, the notion of the aspect is adapted to propose Aspect VDM. The identified features are concisely represented in Aspect VDM to demonstrate modular descriptions of cross-cutting concerns in VDM.

[1]  Shin NAKAJIMA,et al.  Lightweight Formal Analysis of Aspect-Oriented Models , 2004 .

[2]  Huiqun Yu,et al.  Modeling Complex Software Systems Using an Aspect Extension of Object-Z , 2006, SEKE.

[3]  Gregor Kiczales,et al.  Aspect-oriented programming , 2001, ESEC/FSE-9.

[4]  Peter Gorm Larsen,et al.  Modelling Systems: Practical Tools and Techniques in Software Development , 1998 .

[5]  Stanley M. Sutton,et al.  N degrees of separation: multi-dimensional separation of concerns , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[6]  Akinori Yonezawa,et al.  Aspectual Caml: an aspect-oriented functional language , 2005, ICFP '05.

[7]  Jack Greenfield,et al.  Software factories: assembling applications with patterns, models, frameworks and tools , 2004, OOPSLA '03.

[8]  Li Yang,et al.  Formal Aspect-Oriented Modeling and Analysis by Aspect , 2005, SEKE.

[9]  Takuo Watanabe,et al.  An Aspect-Oriented Approach to Modular Behavioral Specification , 2005, Electron. Notes Theor. Comput. Sci..

[10]  Naoyasu Ubayashi,et al.  A parameterized interpreter for modeling different AOP mechanisms , 2005, ASE.

[11]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[12]  John Mylopoulos,et al.  Capturing more world knowledge in the requirements specification , 1982, ICSE '82.

[13]  Tzilla Elrad,et al.  Aspect-oriented programming: Introduction , 2001, CACM.

[14]  Hidehiko Masuhara,et al.  Modeling Crosscutting in Aspect-Oriented Mechanisms , 2003, ECOOP.

[15]  Peter Gorm Larsen,et al.  Validated Designs for Object-oriented Systems , 2004 .