Paper Info
Title
CSP parallel composition of aspect models
Abstract
We present an approach to aspect specification based on the Protocol Modelling paradigm, which uses CSP parallel composition as the mechanism for combining partial behaviour specifications. Using the Protocol Modelling approach enables local reasoning about the behaviour of the whole model based on knowledge of behaviour of the composed aspects, and we present the proof of this key property in this paper. We describe how Protocol Modelling allows the definition of aspect join points and weaving relationships at the model level, and how different aspects may use different abstractions over the same domain. We illustrate this using a small case example.
Year
DOI
Venue
2008
10.1145/1404920.1404923
Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling
Keywords
DocType
Citations 
protocol modelling,csp composition,whole model,join points,protocol modelling approach,partial behaviour specification,protocol modelling paradigm,aspect model,aspects,csp parallel composition,local reasoning,different aspect,models,model level,aspect specification,different abstraction
Conference
15
PageRank 
References 
Authors
1.12
10
2
Name
Order
Citations
PageRank
Ashley McNeile1233.18
Ella Roubtsova2275.38