From the introduction: The paper deals with the formalization of the aspect-oriented approach for program development. It is proved that, from the view point of the aspect-oriented approach, the best transformations are those which allow to trace the inclusions of the components of the system. As an application, the formalization of aspect-oriented models of scenarios of the systems behavior in the form of partially labeled ordered sets is studied.