Dynamic aspect weaving in large-scale distributed technological control systems
The paper discusses the design and formalization problems of dynamic aspect weaving in distributed control systems based on a united logging and reactive model. A formal model of dynamic weaving is presented and justified using constructions of set theory.