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/

[1] Fiadeiro J. L., Lopes A., Wermelinger M., “A mathematical semantics for architectural connectors”, Lecture Notes in Comput. Sci., 2793, 2003, 190–234

[2] Aspect-oriented Software Development, Addison Wesley, Reading, 2004

[3] Vanhooff B., Baelen S. van, Joosen W., Berbers Y., “Traceability as input for model transformations”, Proc. 3 ECMDA-TW, Haifa, 2007, 37–46

[4] Sassone V., Nielsen M., Winskell G., “Deterministic behavioural models for concurrency”, Lecture Notes in Comput. Sci., 711, 1997, 682–692 | MR

[5] Kovalev S. P., “Aspektnoe proektirovanie integrirovannykh sistem upravleniya energopotrebleniem”, Sb. mat. 2 Mezhdunar. nauch.-tekhn. konf. “Novye informatsionnye tekhnologii v neftegazovoi otrasli i obrazovanii”, izd. TyumGNGU, Tyumen, 2006, 97–99

[6] Adámek J., Herrlich H., Strecker G., Abstract and Concrete Categories, Wiley and Sons, N.Y., 1990 | MR | Zbl

[7] Carboni A., Janelidze G., Kelly G. M., Paré R., “On localization and stabilization for factorization systems”, Appl. Categ. Structures, 5 (1997), 1–58 | DOI | MR | Zbl

[8] Pratt V. R., “Modeling concurrency with partial orders”, Internat. J. Parallel Programming, 15:1 (1997), 33–71 | DOI | MR

[9] Glabbeek R. J. van, Goltz U., “Refinement of actions and equivalence notions for concurrent systems”, Acta Informatica, 37:4–5 (1996), 229–327 | MR

[10] Kovalev S. P., “Arkhitektura vremeni v raspredelennykh informatsionnykh sistemakh”, Vychisl. tekhnologii, 7:6 (2002), 38–53 | MR | Zbl