Aspect Algebra: The Operational Semantics for Aspect Oriented Software

Author

Sarkar, Anirban ; Debnath, Narayan C.

Author_Institution

Dept. of Comput. Applic., Nat. Inst. of Technol., Durgapur, India

fYear

2012

fDate

16-18 April 2012

Firstpage

139

Lastpage

144

Abstract

This paper has proposed novel aspect algebra for Graph -- semantic based Aspect Model called GAM. The GAM provides formal representation of Aspect Oriented System (AOS) concepts like join points, advices, Point Cut etc. using graph based semantics. On the other hand, the proposed algebra is comprised of set of operators defined on conceptual semantics of AOS. Those operators are used to conceptualize the different operational semantics of cross cutting concerns in Aspect Oriented System design and will play a crucial role on realization of weaving mechanism formally at model level.

Keywords

aspect-oriented programming; formal specification; graph theory; process algebra; programming language semantics; AOS concepts; GAM; aspect algebra; aspect oriented software; aspect oriented system design; conceptual semantics; cross cutting concerns; formal representation; graph based semantics; graph-semantic based aspect model; operational semantics; weaving mechanism; Algebra; Medical services; Object oriented modeling; Programming; Semantics; Unified modeling language; Weaving; Aspect Oriented Modeling; Aspect Oriented System; Conceptual Modeling; Cross-Cutting Concerns; Cross-cutting Operations;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Technology: New Generations (ITNG), 2012 Ninth International Conference on

Conference_Location

Las Vegas, NV

Print_ISBN

978-1-4673-0798-7

Type

conf

DOI

10.1109/ITNG.2012.28

Filename

6209157