Title :
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
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;
Conference_Titel :
Information Technology: New Generations (ITNG), 2012 Ninth International Conference on
Conference_Location :
Las Vegas, NV
Print_ISBN :
978-1-4673-0798-7
DOI :
10.1109/ITNG.2012.28
