A Process Algebra Based Aspect Weaving Model

This paper presents a model for architecture level 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. Moreover, the underlying PA formalism offers the model powerful capability for future analysis.