Flexible Aspect-Oriented Design Model Checking

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...

Full description

Saved in:
Bibliographic Details
Published in2008 15th Asia-Pacific Software Engineering Conference pp. 537 - 544
Main Authors Wuwei Shen, Wong, W.E.
Format Conference Proceeding
LanguageEnglish
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
Online AccessGet full text

Cover

More Information
Summary: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 validate an aspect-oriented design model using the UML profile extension mechanism. With this mechanism, engineers can utilize the ICER tool to find errors in an aspect-oriented design model using the instance-of relationship. Moreover, the profile extension mechanism also provides engineers with an ability to introduce their own validation of an aspect-oriented design model. This flexibility allows engineers to express the special requirements in a particular development environment. We also illustrate how ICER can find errors in a real aspect-oriented design model composed by the UML metamodel and a creation aspect model.
ISBN:0769534465
9780769534466
ISSN:1530-1362
2640-0715
DOI:10.1109/APSEC.2008.14