Paper Info
Title
Enforcing Interaction Properties in AOSD-Enabled Systems
Abstract
The construction and maintenance of large and complex software systems depend on the existence of global principles describing the structure and the interaction among its various components. Due to their critical nature, such principles have to be explicitly formulated and strictly verified and enforced throughout the lifetime of the software product. Aspect Oriented Software Development (AOSD) provides necessary tools for the formulation of such principles as aspects--called here structural aspects, and for their compile-time verification and dynamic enforcement. This enforcement, however, becomes problematic when aspects are also used as a vehicle for programming the components themselves, due to aspect interference. In this paper we show how the aspects embedded in system's components--called here programming aspects--can interact unfavourably with other components thus invalidating the role of the structural aspects. We present a number of methods that address this problem, and we introduce a DirectedPairWiseWeaver tool we have developed in order to prevent this interference.
Year
DOI
Venue
2006
10.1109/ICSEA.2006.78
ICSEA
Keywords
Field
DocType
software product,dynamic enforcement,enforcing interaction properties,complex software system,critical nature,aspect interference,structural aspect,aspect oriented software development,aosd-enabled systems,directedpairwiseweaver tool,global principle,compile-time verification,control systems,security,software systems,encapsulation,computer science,architecture,computer architecture,interference,programming
Systems engineering,Software engineering,Computer science,Software system,Aspect-oriented software development,Software,Enforcement,Interference (wave propagation),Control system,Encapsulation (computer programming)
Conference
ISBN
Citations 
PageRank 
0-7695-2703-5
2
0.39
References 
Authors
10
2
Name
Order
Citations
PageRank
Constantin Serban1598.07
Shmuel Tyszberowicz2343.46