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

used to illustrate the specification process of aspect-oriented formal specification for
real-time systems.
However aspect-oriented formal specification technique is still at initial stage at
present, lots of work should be done in the future. In this paper we only provide some
ideas for aspect-oriented formal specification of real-time systems. But actually many
real-time systems are intricate and include a lot of other aspects that would crosscut
one another. So ongoing and future research is as follows:
Integrated aspect-oriented formal specification with UML further,
Supporting multi-dimensional concerns modeling and weaving,
The semantic of aspect-oriented formal specification for real-time systems,
Automatically code generation,
Developing logic for expressing of the aspect models and the weaving of those,
Performing case studies to validate the method.
Acknowledgment
This work is supported by the National Natural Science Foundation of China under
Grant No.90818008, No.60774095 and No.60474072, the Natural Science Foundation
of Guangdong Province of China under Grant No.07001774 and No.04009465.
References
1. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irving,
J.: Aspect Oriented Programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS,
vol. 1241, pp. 220-242. Springer, Heidelberg (1997)
2. Mohammad, R.M., Michel, R.: Separation of Concerns in the Formal Design of Real-Time
Shared Data-Space Systems. In: 3rd International Conference on ACSD 2003 (2003)
3. Mousavi, Russello, M., Chaudron, G.: Using Aspect-GAMMA in the design of embedded
systems. In: 7th IEEE International Conference on High-Level Design Validation and Test
Workshop (2002)
4. Hoare, C.A.R.: Communicating sequential processes. Prentice-Hall, Englewood Cliffs
(1985)
5. Lamport, L.: The temporal logic of actions. ACM Transactions on Programming
Languages and Systems 16(3), 872-923 (1994)
6. Lynch, N.: Distributed algorithms. Morgam Kaufmann Publishers, San Francisco (1986)
7. Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems: specication.
Springer, New York (1992)
8. Milner, R.A.: A Calculus of Communication Systems. LNCS, vol.92. Springer,
Heidelberg (1980)
9. Blair, L., Blair, G.S., Andersen, A.: Separating Functional Behaviour and Performance
Constraints: Aspect-Oriented Specification, Distributed Multimedia Research Group
Report MPG-98-07, Lancaster University, UK (1998)
10. Bolognesi, T., Brinksma, E.: Introduction to the ISO Specification Language LOTOS.
Computer Networks and ISDN Systems 14(1), 25-59 (1987)
11. Lakas, A., Blair, G.S., Chetwynd, A.: Specification and Verification of Real-Time Proper-
ties Using LOTOS and SQTL. In: Proceedings of the 8th International Workshop on
Software Specification and Design, p. 75 (1996)