Modeling Aspects by Category Theory

  title={Modeling Aspects by Category Theory},
  author={Serge P. Kovalyov},
A framework for formal analysis of aspect-oriented software development (AOSD) is proposed. AOSD is treated as enriching formal models of programs by traceable refinements that produce their systemic interfaces. Category-theoretic construction of architecture school is employed to formalize this approach. Aspect weaving and separation of concerns are defined as universal constructions. Aspect-oriented scenario modeling is discussed as an example. 

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 16 references

Domain Engineering of Distributed Measurement Systems

P. KovalyovS.
Optoelectronics , Instrumentation and Data Processing • 2008

Domain Engineering of Distributed Measurement Systems. Optoelectronics

S. P. Kovalyov
Instrumentation and Data Processing, • 2008
View 2 Excerpts

An Architecture Description Language for Dynamic Component and AspectBased Development

M. Pinto, L. Fuentes, Troya J. M. DAOP-ADL
Lecture Notes in Computer Science • 2003

Similar Papers

Loading similar papers…