Back to the list of technical reports.
Key words: Design, Requirements Engineering, Reliability, Verification, Semantics, Non-functional Aspects, Distributed Systems, Real-time Systems
This paper describes an extension to the GAMMA formalism, which we name AspectGAMMA, and we show how non-computational aspects can be expressed separately from the computation in this framework. Examples of such aspects include real-time constraints, location/distribution, behavioral requirements, fault-tolerance, power requirements, and many other aspects. The idea is to abstract the emerging idea of aspect-oriented programming (AOP) into a formal framework, thereby facilitating specification-driven design, enabling formal validation, and design reuse at the requirement specification level. The main goal of this position paper is to outline the way towards a formal foundation of aspect-oriented specification and refinement towards implementation.
(The full report is available in postscript and pdf)
Back to the list of technical reports.