Computer Science ›› 2018, Vol. 45 ›› Issue (8): 179-185.doi: 10.11896/j.issn.1002-137X.2018.08.032

• Software & Database Technology • Previous Articles     Next Articles

Dynamic Semantics of Aspect-oriented Programming

XIE Gang1, JIANG Qiang1, SHI Lei2,3   

  1. School of Big Data and Computer Science,Guizhou Normal University,Guiyang 550001,China1
    Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia,Beijing University of Posts and Telecommunications,Beijing 100876,China2
    School of Computer Science,Beijing University of Posts and Telecommunications,Beijing 100876,China3
  • Received:2017-12-01 Online:2018-08-29 Published:2018-08-29

Abstract: At present,many researchers have developed various formal semantics for aspect-oriented program.How-ever,none of the semantics can be understood by software designers and developers.Based on the existing research,this paper defined a dynamic semantics of aspect-oriented programs through using the definition of design in unifying theories of programming.The approach was enumerated with a case to demonstrate the usage of the semantics.

Key words: Aspect-oriented programming, Dynamic, Semantics

CLC Number: 

  • TP311
[1]KICZALES G,LAMPING J,MENDHEKAR A,et al.Aspect oriented programming[C]∥European Conference on Object Orien-ted Programming.Springer Berlin Heidelberg,1997:220-242.
[2]王砚霖,王世耆.面向方面编程和AspectJ[OL/EB].
[2016-03-01].http://www.creativepioneer.com/paper/AO P_and _AspectJ.pdf.
[3]KICZALES G,HILSDALE E,HUGUNIN J,et al.An overview of AspectJ[C]∥European Conference on Object-Oriented Prog-ramming.Springer Berlin Heidelberg,2001:327-335.
[4]SPINCZYK O,GAL A,SCHRÖDER-PREIKSCHAT W.As-pectC++:an aspect-oriented extension to the C++ program-ming language[C]∥Proceedings of the Fortieth International Conference on Tools Pacific:Objects for Internet,Mobile and Embedded Applications.Australian Computer Society,Inc.,2002:53-60.
[5]BRYANT A,FELDT R.Asepct R-Simple aspect-oriented pro-gramming in Ruby.http://aspecter-for.sourceforgenet.
[6]BONÉR J.What are the key issues for commercial AOP use:how does AspectWerkz address them?[C]∥Proceedings of the 3rd International Conference on Aspect-oriented SoftwareDeve-lopment.ACM,2004:5-6.
[7]HIRSCHFELD R.AspectS-Aspect-oriented programming withsqueak [M]∥Objects,Components,Architectures,Services,and Applications for a Networked Word.2002:216-232.
[8]JBoss AOP homepage[OL/EB].
[2016-03-01].http:// www.jboss.org/jbossaop.
[9]OSSHER H,TARR P.Hyper/J:multi-dimensional separation of concerns for Java[C]∥Proceedings of the 22nd International Conference on Software Engineering.ACM,2000:734-737.
[10]JIFENG H,LI X,LIU Z.rCOS:A refinement calculus of object systems[J].Theoretical Computer Science,2006,365(1):109-142.
[11]WAND M,KICZALES G,DUTCHYN C.A semantics for advice and dynamic join points in aspect-or iented programming[J].Acm Transactions on Programming Languages and Systems,2004,26(5):890-910.
[12]JAGADEESAN R,JEFFREY A,RIELY J.A calculus of untyped aspect-oriented programs[C]∥European Conference on Object-Oriented Programming.Springer Berlin Heidelberg,2003:54-73.
[13]LÄMMEL R.A semantical approach to method-call inte rception[C]∥Proceedings of the 1st International Conference on Aspect-oriented Software Development.ACM,2002:41-55.
[14]WALKER D,ZDANCEWIC S,LIGATTI J.A theory of aspects [J].Acm Sigplan Notices,2003,38(9):127-139.
[15]TUCKER D B,KRISHNAMURTHI S.Pointcuts and advice in higher-order languages[C]∥Proceedings of the 2nd Internatio-nal Conference on Aspect-oriented Software Development.ACM,2003:158-167.
[16]MASUHARA H,KICZALES G.Modeling crosscutting in aspect-oriented mechanisms[C]∥European Conference on Ob ject-Oriented Programming.Springer Berlin Heidelberg,2003:2-28.
[17]TABAREAU N.Aspect Oriented Programming:a language for 2-categories[C]∥Proceedings of the 10th International Workshop on Foundations of Aspect-oriented Languages.ACM,2011:13-17.
[18]MOLDEREZ T,JANSSENS D.Modular Reasoning in Aspect-Oriented Languages from a Substitution Perspective[C]∥Transactions on Aspect-Oriented Software Development XII.Springer Berlin Heidelberg,2015:3-59.
[19]ZHANG Q,KHEDRI R.On the weaving process of aspect-orien-ted product family algebra[J].Journal of Logical and Algebraic Methods in Programming,2016,85(1):146-172.
[20]GANG X,BO Y,MINGYI Z.A Semantics of Poincuts in As-pectJ[J].IERI Procedia,2013,4:323-330.
[21]XIE G,ZHANG M Y,YANG B.A Static Sema Ntic For Aspectj[J].Journal of Computational Information Systems,2012,8(16):6951-6962.
[22]XIE G,WEI L,WU X.static semantics of aspect-oriented programming[J].Computer Science,2017,44(9):184-189.(in Chinese)谢刚,韦立,吴祥.面向方面程序的静态语义研究[J].计算机科学,2017,44(9):184-189.
[23]陆钟万.面向计算机科学中的数理逻辑(第2版)[M].北京:科学出版社,2002:117-118.
[24]HOARE A R C,HE J.Unifying theories of program ming[M].Englewood Cliffs:Prentice Hall,1998.
[1] XU Yong-xin, ZHAO Jun-feng, WANG Ya-sha, XIE Bing, YANG Kai. Temporal Knowledge Graph Representation Learning [J]. Computer Science, 2022, 49(9): 162-171.
[2] LUO Xiong-feng, ZHAI Xiang-ping. Collision Avoidance Planning for Unmanned Aerial Vehicles Based on Spatial Motion Constraints [J]. Computer Science, 2022, 49(9): 194-201.
[3] SUN Hui-ting, FAN Yan-fang, MA Meng-xiao, CHEN Ruo-yu, CAI Ying. Dynamic Pricing-based Vehicle Collaborative Computation Offloading Scheme in VEC [J]. Computer Science, 2022, 49(9): 242-248.
[4] CHEN Ying, HAO Ying-guang, WANG Hong-yu, WANG Kun. Dynamic Programming Track-Before-Detect Algorithm Based on Local Gradient and Intensity Map [J]. Computer Science, 2022, 49(8): 150-156.
[5] TANG Feng, FENG Xiang, YU Hui-qun. Multi-task Cooperative Optimization Algorithm Based on Adaptive Knowledge Transfer andResource Allocation [J]. Computer Science, 2022, 49(7): 254-262.
[6] GAO Wen-long, ZHOU Tian-yang, ZHU Jun-hu, ZHAO Zi-heng. Network Attack Path Discovery Method Based on Bidirectional Ant Colony Algorithm [J]. Computer Science, 2022, 49(6A): 516-522.
[7] ZHANG Ji-lin, SHAO Yu-cao, REN Yong-jian, YUAN Jun-feng, WAN Jian, ZHOU Li. Dynamic Customization Model of Business Processes Supporting Multi-tenant [J]. Computer Science, 2022, 49(6A): 705-713.
[8] DU Hong-yi, YANG Hua, LIU Yan-hong, YANG Hong-peng. Nonlinear Dynamics Information Dissemination Model Based on Network Media [J]. Computer Science, 2022, 49(6A): 280-284.
[9] ZHAO Jing-wen, FU Yan, WU Yan-xia, CHEN Jun-wen, FENG Yun, DONG Ji-bin, LIU Jia-qi. Survey on Multithreaded Data Race Detection Techniques [J]. Computer Science, 2022, 49(6): 89-98.
[10] CHEN Xin, LI Fang, DING Hai-xin, SUN Wei-ze, LIU Xin, CHEN De-xun, YE Yue-jin, HE Xiang. Parallel Optimization Method of Unstructured-grid Computing in CFD for DomesticHeterogeneous Many-core Architecture [J]. Computer Science, 2022, 49(6): 99-107.
[11] HONG Zhi-li, LAI Jun, CAO Lei, CHEN Xi-liang, XU Zhi-xiong. Study on Intelligent Recommendation Method of Dueling Network Reinforcement Learning Based on Regret Exploration [J]. Computer Science, 2022, 49(6): 149-157.
[12] WANG Ben-yu, GU Yi-jun, PENG Shu-fan, ZHENG Di-wen. Community Detection Algorithm Based on Dynamic Distance and Stochastic Competitive Learning [J]. Computer Science, 2022, 49(5): 170-178.
[13] LI Qing, LIU Wei, GUAN Meng-zhen, DU Yu-yue, SUN Hong-wei. Modeling and Analysis of Emergency Decision Making Based on Logical Probability GamePetri Net [J]. Computer Science, 2022, 49(4): 294-301.
[14] XUE Zhan-ao, HOU Hao-dong, SUN Bing-xin, YAO Shou-qian. Label-based Approach for Dynamic Updating Approximations in Incomplete Fuzzy Probabilistic Rough Sets over Two Universes [J]. Computer Science, 2022, 49(3): 255-262.
[15] LIU Jiang, LIU Wen-bo, ZHANG Ju. Hybrid MPI+OpenMP Parallel Method on Polyhedral Grid Generation in OpenFoam [J]. Computer Science, 2022, 49(3): 3-10.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!