Paper Info
Title
A Formal Approach to Specifying Architecture Aspects and Their Weaving Logic
Abstract
Current aspect specification methods do not provide enough support for explicitly specifying aspects and their weaving logic, nor do they provide effective and suitable mechanisms for aspect analysis and evaluation. A formal approach for specifying architecture aspects and their weaving logic is presented. In this approach, architecture aspects and their weaving logic are specified in independent abstract mechanisms. More importantly, Petri Nets are used as the common foundations for describing their behaviors. Owing to the powerful specification capability of these mechanisms, the main advantages of this approach lie in that it can not only specify complex aspect architecture structures and behaviors and their complex weaving logic, but also make it possible for reasoning about and evaluating the weaving results. A simple example is given to illustrate the approach and its advantages.
Year
DOI
Venue
2007
10.1109/SNPD.2007.368
SNPD (2)
Keywords
Field
DocType
architecture aspect,powerful specification capability,approach lie,petri nets,aspect-oriented modeling,aspect-oriented,aspect architecture structure,architecture,weaving logic,common foundation,specification,complex aspect architecture structure,software architecture,formal approach,petri net,specifying architecture aspects,current aspect specification method,aspect architecture behavior,complex weaving logic,formal specification,aspect analysis,enough support,aspect oriented
Weaving,Architecture,Programming language,Petri net,Aspect-oriented programming,Computer science,Formal specification,Aspect oriented modeling,Software architecture
Conference
Volume
ISBN
Citations 
2
978-0-7695-2909-7
0
PageRank 
References 
Authors
0.34
15
2
Name
Order
Citations
PageRank
Chunhua Yang100.34
Jiancheng Wan2235.23