Aspect-Oriented Development Method for Non-Functional Characteristics of Cyber Physical Systems Based on MDA Approach
Lichen Zhang · Journal of Software · 2012
Cyber physical systems have many non-functional requirements, which always crosscut the whole system modules. That may cause the code tangle and scatter, make the systems hard to design, reuse and maintain, and affect performance of systems badly. AOP is a new software development paradigm, which could attain a higher level of separation of concerns in both functional and non-functional matters by introducing aspect, for the implementation of crosscutting concerns. Different aspects can be designed separately, and woven into systems. In this paper, we propose an aspect-oriented MDA approach for non-functional properties to develop cyber physical systems. An aspect-oriented UML profile is built to develop cyber physical systems. Aspect-oriented UML models are designed as Platform Independent Models (PIM) for target-platform implementation, which deal with non-functional properties. OCL formal language is used to restrict the model in every stages of MDA, and the real-time extension of OCL formal language is made to describe the timing constraints of cyber physical systems. Finally, the model- based development and aspect-oriented approach, the formal methods and the cyber physical system are integrated effectively. A case study illustrates the aspect oriented MDA development of cyber physical systems.