By Topic

A Formal Description Method for Aspect-Oriented Statechart Based on CSP

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Bin Wang ; Sch. of Inf. Sci. & Eng., Central South Univ., Changsha, China ; Chunhua Zhu ; Jinfang Sheng

Aspect-oriented software development method solves crosscutting problem by separating concerns and aspect-oriented software can be modeled by extending UML. This paper proposes a method to describe the aspects and core components as well as weaving between them through introducing aspect into UML statechart. Then the extended UML statechart is described in formal semantics of CSP, a kind of process algebra, which introduces formal dynamic semantics into UML and makes it possible to verify and prove the model in a formal way. The ATM system is used as an example to illustrate the efficiency of the aspect-oriented statechart described in CSP. Finally, FDR, a model checker, is used to perform verification of the CSP code for the ATM system.

Published in:

Computer Science and Computational Technology, 2008. ISCSCT '08. International Symposium on  (Volume:2 )

Date of Conference:

20-22 Dec. 2008