Semantics of aspect-oriented modeling of data and processes

An approach to semantic unification of aspect-oriented programming (AOP) technologies based on formalization by means of category theory is presented. Aspect-oriented programming technology is represented as a category of formal models of aspect-oriented programs and their interconnections equipped with functor of taking aspectual structure (labeling of models by concerns). Weaving of aspect-oriented programs is formalized as certain universal construction in this category. Formal AOP technologies applicable for reducing costs at modeling data and process scenarios are defined and considered. Weaving existence condition for scenario models is stated and justified.