Flexible Aspect-Oriented Design Model Checking

• Published in: 2008 15th Asia-Pacific Software Engineering Conference pp. 537 - 544
• Main Authors: Wuwei Shen, Wong, W.E.
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01.01.2008
• Subjects: Aspect-Oriented Design; Computer architecture; Computer science; Design engineering; Modecl Checking; Object oriented modeling; Power system modeling; Production facilities; Programming; Proposals; Software systems; UML; Unified modeling language

An aspect-oriented design model is composed of a primary design model and an aspect model, each of which has a different origin and pursues different goals. How to ensure the correctness of the composition of a primary design model and an aspect model has become an important issue. In this paper, we...