Loading...
Please wait, while we are loading the content...
Aspects + GAMMA = AspectGAMMA A Formal Framework for Aspect-Oriented Specification
| Content Provider | Semantic Scholar |
|---|---|
| Author | Mousavi, Mohammad Reza Russello, Giovanni Chaudron, Michel R. V. Reniers, Michel A. Basten, Twan Corsaro, Angelo Shukla, Sandeep Gupta, Rajesh Schmidt, D. C. |
| Copyright Year | 2002 |
| Abstract | 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. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.win.tue.nl/~michelr/techreports-michelr/UCI-CECS-02-01.pdf |
| Alternate Webpage(s) | http://www.cecs.uci.edu/~cecs/technical_report/TR02-01.pdf |
| Alternate Webpage(s) | http://www.cs.wustl.edu/~corsaro/papers/aoGammaFinal.ps |
| Alternate Webpage(s) | http://www.ics.ele.tue.nl/~tbasten/papers/ag.pdf |
| Alternate Webpage(s) | http://www.cs.wustl.edu/~schmidt/PDF/aop_final.pdf |
| Alternate Webpage(s) | http://www.cecs.uci.edu/technical_report/TR02-01.pdf |
| Alternate Webpage(s) | http://www.win.tue.nl/~michelr/Files/EarlyAspects2002.pdf |
| Alternate Webpage(s) | http://www.win.tue.nl/~michelr/Files/UCI-CECS-02-01.pdf |
| Alternate Webpage(s) | https://www.researchgate.net/profile/Sandeep_Shukla6/publication/2536903_Aspects__GAMMA__AspectGAMMA_A_Formal_Framework_for_Aspect-Oriented_Specification/links/0fcfd509397d945959000000.pdf |
| Alternate Webpage(s) | http://trese.cs.utwente.nl/AOSD-EarlyAspectsWS/Papers/Mousavi.pdf |
| Alternate Webpage(s) | http://www.dre.vanderbilt.edu/~schmidt/PDF/aop_final.pdf |
| Alternate Webpage(s) | http://cecs.uci.edu/technical_report/TR02-01.pdf |
| Alternate Webpage(s) | http://www.win.tue.nl/~michelr/techreports-michelr/EarlyAspects2002.ps |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
