Abstraction of Operations of Aspect-Oriented Languages
Abstraction of Operations of Aspect-Oriented Languages
复制标题
面向方面语言操作的抽象
DOI：
10.1007/978-4-431-54106-6_15
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Sosuke Moriguchi and Takuo Watanabe
中科院分区：
文献类型：
--
作者：
Sohei Ito;Takuma Ichinose;Masaya Shimakawa;Naoko Izumi;Shigeki Hagihara;Naoki Yonezaki;Sosuke Moriguchi and Takuo Watanabe
尽管面向方面在最近的软件开发中变得流行起来，但方面和相关概念的形式化和通用定义仍在开发中。方面、连接点、切入点、通知等重要概念通常定义在特定的编程语言或形式系统之上。我们的目标是通过定义一个简单的演算来形式化这些常用的“方面”操作，该演算独立于其他计算活动(如函数应用程序或消息传递)对操作进行建模。一种特定的面向方面的语言可以通过将我们的演算与基本语言的模型混合在一起来形式化。本文给出了我们的演算的定义，并通过比较其他形式化方法，讨论了如何使用它来形式化方面的运算。
Although aspect-orientation has gained popularity in recent software development, formal and general definitions of aspects and related concepts are still under development. The important concepts such as aspect, join-point, pointcut, advice, etc. are usually defined on top of specific programming languages or formal systems. Our goal is to formalize these commonly used ‘aspectual’ operations by defining a simple calculus that models the operations independently from other computational activities such as function application or message passing. A specific aspect-oriented language can be formalized by mixing our calculus with the model of the base language. In this paper, we give the definition of our calculus and discuss that how aspectual operations are formalized using it by comparing other formalizations.