Sequential Weaving and Behavior Semantics Impact Analysis for Aspects

Aspect weaving morphology and their influences on the woven model has been neglected. The former lays the basis for weaving, while the latter ensures correct weaving results. Based on Process Algebra, this paper defines one typical aspect weaving form- sequential weaving. Moreover, the notion of behavior semantics consistent keeping is given. According to the notion, it can be decided whether a model behavior has been changed after it is woven with an aspect. Finally, influences of sequential aspect weaving are analyzed. The notion of behavior consistent keeping presented in the paper can be used in analysis on other aspect weaving forms.