Geodesic
A~formal approach to aspect-oriented modelling of scenarios
Sibirskij žurnal industrialʹnoj matematiki, Tome 13 (2010) no. 3, pp. 30-42

Voir la notice de l'article provenant de la source Math-Net.Ru

The article deals with formalizing the aspect-oriented approach to software design. We prove that, from the viewpoint of AOP, the best transformations are those that allow the tracing of component embedding into systems. The formalization of AOP is based on the category theory construction of a formal design discipline. In order to describe the traced transformations we introduce the concept of $M$-initial morphism. By way of application, we consider a formalization of aspect-oriented models for scenarios of system behavior as labeled posets. We describe a general method for formal transformation of aspect-oriented models for dynamical systems into labeled event structures.
Keywords: aspect-oriented approach, traceability, formal design discipline, scenario modelling, labeled event structure.
Mots-clés : initial morphism 
@article{SJIM_2010_13_3_a4,
     author = {S. P. Koval\"ev},
     title = {A~formal approach to aspect-oriented modelling of scenarios},
     journal = {Sibirskij \v{z}urnal industrialʹnoj matematiki},
     pages = {30--42},
     publisher = {mathdoc},
     volume = {13},
     number = {3},
     year = {2010},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/SJIM_2010_13_3_a4/}
}
TY  - JOUR
AU  - S. P. Kovalëv
TI  - A~formal approach to aspect-oriented modelling of scenarios
JO  - Sibirskij žurnal industrialʹnoj matematiki
PY  - 2010
SP  - 30
EP  - 42
VL  - 13
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SJIM_2010_13_3_a4/
LA  - ru
ID  - SJIM_2010_13_3_a4
ER  - 
%0 Journal Article
%A S. P. Kovalëv
%T A~formal approach to aspect-oriented modelling of scenarios
%J Sibirskij žurnal industrialʹnoj matematiki
%D 2010
%P 30-42
%V 13
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SJIM_2010_13_3_a4/
%G ru
%F SJIM_2010_13_3_a4
S. P. Kovalëv. A~formal approach to aspect-oriented modelling of scenarios. Sibirskij žurnal industrialʹnoj matematiki, Tome 13 (2010) no. 3, pp. 30-42. http://geodesic.mathdoc.fr/item/SJIM_2010_13_3_a4/