Aspect-Oriented Formal Specification for Real-Time Systems - Advances in Computational Science and Engineering - page 29

Fig. 7. Weaving the Time Aspect
concerns. Firstly, by separating out the real-time assumptions, the remaining specifi-
cation of behavior is totally abstract in the sense that it does not contain any perform-
ance or implementation considerations. Secondly, the real-time assumptions are im-
mediately identifiable and can be easily changed if necessary.
4 Conclusion and Future Research
In this paper we proposed to use aspect-oriented formal specification for real-time
systems, we provided some ideas for aspect-oriented formal specification of real-time
systems. Real-time systems can be divided into different aspects, each aspect can be
specified independently. After each aspect has been accomplished, it can be woven
back to the system. This aspect oriented formal specification method simplifies the
requirement analysis process of complex multimedia systems. Three case studies were