Informatics and Applications
2015, Volume 9, Issue 1, pp 55-69
FORMAL AXIOMATIC APPROACH TO ASPECT-ORIENTED EXTENSION OF PROGRAMMING TECHNOLOGIES
Abstract
The procedure of extending modular software systems design technologies by aspect-oriented techniques
is considered. The extension is described as enrichment of formal module models by labeling their interfaces
by concerns they handle which comprise aspect structure. A novel approach to separation of concerns based on
the natural modularizing aspect structure is proposed. Partial modularization of the aspect structure is proposed
to generalize this approach. In order to formalize these constructs at the general systems level independently
of particular programming paradigms, the category theory is employed. Software engineering technologies are
represented as categories with formal models of programs as objects and technological operations as morphisms.
The aspect-oriented extension of the technology is axiomatically described as a functor between such categories
that has appropriate right and left adjoints. The event-based approach to system modeling is employed as an
illustrative case of the aspect-oriented extension.
[+] References (21)
- Repin, V. V., and V.G. Eliferov. 2013. Protsessnyy podkhod
k upravleniyu. Modelirovanie biznes-protsessov [Process
approach to control. Business process modeling].
Moscow:Mann, Ivanov and Ferber. 544 p.
- Kiczales, G., J. Lamping, A. Mendhekar, C. Maeda,
C. V. Lopes, J.-M. Loingtier, and J. Irwin. 1997. Aspectoriented
programming. 11th Conference (European) on
Object-Oriented Programming Proceedings. Eds. M. Aksit
and S. Matsuoka. Lecture notes in computer science ser.
Springer. 1241:220–242.
- Steimann, F. 2006. The paradoxical success of
aspect-oriented programming. Conference (International)
OOPSLA’06 Proceedings. Portland. 481–497.
- Colyer, A., A. Clement, G. Harley, andM.Webster. 2004.
Eclipse AspectJ: Aspect-oriented programming with AspectJ
and the Eclipse AspectJ development tools. Addison-Wesley.
504 p.
- Rashid, A., and R. Chitchyan. 2008. Aspect-oriented requirements
engineering: A roadmap. 13th Workshop (International)
on Early Aspects Proceedings. Leipzig. 35–41.
- Goguen, J. 1973. Categorical foundations for General
Systems Theory. Advances in cybernetics and systems research.
London: Transcripta Books. 121–130.
- Fiadeiro, J. L., A. Lopes, and M. Wermelinger. 2003.
A mathematical semantics for architectural connectors.
Generic programming — advanced lectures. Eds.
R.C. Backhouse and J. Gibbons. Lecture notes in computer
science ser. Springer. 2793:190–234.
- Douence, R., P. Fradet, and M. Sudholt. 2004. Tracebased
aspects. Aspect-oriented software development. Reading:
Addison Wesley. 201–218.
- Jagadeesan,R.,C.Pitcher, and J.Riely. 2007.Open bisimulation
for aspects. Conference (International) AOSD’07
Proceedings. Vancouver, Canada. 107–120.
- Mac Lane, S. 1978. Categories for the working mathematician.
Berlin –Heidelberg –New York: Springer. 317 p.
- Adamek, J., H. Herrlich, and G. Strecker. 1990. Abstract
and concrete categories. New York:Wiley and Sons. 482 p.
- Kovalyov, S. P. 2010. Formal’nyy podkhod k aspektno-orientirovannomu modelirovaniyu
stsenariev [Formal approach
to aspect-oriented scenario modeling]. Sibirskiy
Zhurnal Industrial’noy Matematiki [J. Appl. Industrial
Math.] 13(3):30–42.
- Gotel, O., and A. Finkelstein. 1994. An analysis of the requirements
traceability problem. 1st Conference (International)
on Requirements Engineering Proceedings.Colorado
Springs. 94–101.
- Egyed, A., P. Grunbacher, M. Heindl, and S. Biffl. 2009.
Value-based requirements traceability: Lessons learned.
Design requirements engineering: A ten-year perspective.
Eds. Lyytinen, K., P. Loucopoulos, J. Mylopoulos, and
B. Robinson. Lecture notes in business information processing
ser. Springer 14:240–257.
- Aizenbud-Reshef,N., B.Nolan, J.Rubin, and Y.Shaham-
Gafni. 2006. Model traceability. IBM Syst. J. 45(3):515–
526.
- Goguen, J. 1991. A categorical manifesto. Math. Struct.
Comp. Sci. 1(1):49–67.
- Kovalyov, S. P. 2013. Semantika aspektno-orientirovannogo
modelirovaniya dannykh i protsessov [Semantics of
aspect-oriented modeling of data and processes]. Informatika
i ee Primeneniya — Inform. Appl. 7(3):70–80.
- Pratt, V.R. 1986. Modeling concurrency with partial orders.
Int. J. Parallel Prog. 15(1):33–71.
- Sutton, S.M., and I. Rouvellou. 2004. Concernmodeling
for aspect-oriented software development. Aspect-oriented
software development. Reading: AddisonWesley. 479–505.
- Rashid, A., and A.Moreira. 2006. Domain models are not
aspect free. 9th Conference (International) on Model Driven
Engineering Languages and Systems Proceedings. Eds.
Nierstrasz, O., J. Whittle, D. Harel, and G. Reggio. Lecture
notes in computer science ser. Springer. 4199:155–
169.
- Andryushkevich, S.K., and S. P. Kovalyov. 2011. Dinamicheskoe
svyazyvanie aspektov v krupnomasshtabnykh
sistemakh tekhnologicheskogo upravleniya [Dynamic
aspectweaving inlarge-scalemanufacturing control
systems]. Vychislitel’nye Tekhnologii [J. Comput. Technol.].
16(6):3–12.
[+] About this article
Title
FORMAL AXIOMATIC APPROACH TO ASPECT-ORIENTED EXTENSION OF PROGRAMMING TECHNOLOGIES
Journal
Informatics and Applications
2015, Volume 9, Issue 1, pp 55-69
Cover Date
2014-10-30
DOI
10.14357/19922264150105
Print ISSN
1992-2264
Publisher
Institute of Informatics Problems, Russian Academy of Sciences
Additional Links
Key words
aspect-oriented programming; traceability; category theory; architecture school; separation of concerns
Authors
S. P. Kovalyov 
Author Affiliations
Institute of Control Problem, Russian Academy of Sciences, 65 Profsoyuznaya Str., Moscow 117997, Russian
Federation
|