Abstract
The separate development of aspects may introduce semantic problems in the composition of the aspects and the base system. A rigorous aspect weaving model can not only help to uncover potential semantic problems, but also make it convenient for reasoning. This paper presents a model for aspect weaving. Its underlying formalism is Process Algebra. In the model, the base model and aspect models are specified as labeled transition systems, while aspect weaving is interpreted as an algebraic operation between the base model, aspect models and the woven model. Through the model, the logic relationship between the woven model and the base model, aspect models can be achieved, which lays foundations for future reasoning.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
