期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

AspectualACME语言切点指示器的形式化描述方法

FORMAL DESCRIPTION APPROACH FOR POINTCUT DESIGNATOR OF AspectualACME
下载PDF
导出
摘要 面向方面软件体系结构描述语言AspectualACME虽引入了切点指示器PCD(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述。针对这一问题,基于AspectualACME语言抽象语法树,设计了一阶逻辑语言LIAPCD(Logic Language forPCD)。在此基础上提出了AspectualACME语言PCD的形式化描述方法。该方法能精确定义软件体系结构层PCD的语义,可为形式化分析软件体系结构层方面编织提供支持。 Though the grammar component of Pointcut designator （ PCD ） is introduced by AspectualACME, a kind of aspect-oriented software architecture description language, but the formal description of semantics of PCD has not been given yet. For this issue, in this paper we design a first-order logic language for PCD （LIAPCD） based on the abstract syntax tree of AspectualACME. The formal description method for the PCD of AspectualACME is proposed on the basis of LIAPCD. This method can precisely define the semantics of PCD at software architecture level, and provide support for the formal analysis of aspect weaving at software architecture level as well.
作者 倪友聪 叶鹏 杜欣 肖如良 张琳琳
机构地区 福建师范大学软件学院 武汉纺织大学数学与计算机学院 新疆大学信息科学与工程学院
出处 《计算机应用与软件》 CSCD 2011年第11期214-217,共4页 Computer Applications and Software
基金 福建省自然科学基金项目(2011J05146) 湖北省教育厅科学技术研究项目(B20111607) 新疆维吾尔自治区高校科研计划青年教师科研培育基金(XJEDU2009S15) 新疆大学博士毕业生科研启动基金项目(BS090142)
关键词 面向方面软件体系结构描述语言 AspectualACME 方面编织 切点指示器 Aspect-oriented software architecture description language（AOADL） AspectualACME Aspect weaving Pointcut designator
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献12

  • 1Perez J, Ali N. Integrating aspects in software architectures: PRISMA applied to robotic tele-operated systems[J]. Information and Software Technology, 2008,50 (9/10) :969 - 990.
  • 2Perez J, Ramos I, Jaen J, et al. PRISMA: Towards Quality, Aspect Oriented and Dynamic Software Architectures [ C ]//Proceedings of the Third International Conference on Quality Software ( Qstc' 03 ), 2003. Dallas, Texas, USA: IEEE Computer Society, 2003:59 - 65.
  • 3Pinto M, Fuentes L, Troya J M. DAOP-ADL: an architecture description language for dynamic component and aspect-based development[C]//Proceedings of International Conference on Generative Programming and Component Engineering( GPCE'03 ), 2003. Erfurt, Germany : Springer, 2003 : 118 - 137.
  • 4Pinto M, Fuentes L. AO-ADL:An ADL for Describing Aspect-Oriented Architectures [ J ]. Early Aspects: Current Challenges and Future Directions, 2007:94 - 114.
  • 5Navasa A, Perez M, Murillo J. AspectLEDA: Extending an ADL with Aspectual Concepts [C]//Proceedings of Software architecture: first European conference, 2007. Madrid, Spain : Springer-Verlag, 2007 : 330 - 334.
  • 6Navasa A, Perez-Toledano M A, Murillo J M. An ADL dealing with aspects at software architecture stage [ J ]. Information and Software Technology, 2009, 51 (2) : 306 - 324.
  • 7倪友聪,应时,张琳琳,文静,叶鹏.基于时序逻辑的面向方面体系结构描述语言[J].计算机科学,2010,37(1):146-152. 被引量：4
  • 8倪友聪,应时,张琳琳,文静,叶鹏,赵楷.一种面向方面软件体系结构中的编织机制研究[J].计算机研究与发展,2010,47(4):695-706. 被引量：7
  • 9Wen Jing, Ying Shi, Zhang Linlin, et al. AC2-ADL: Architectural Description of Aspect-oriented Systems [ J ]. International Journal of Software Engineering and Its Applications, 2009,3 (1) :1 -10.
  • 10Batista T, Chavez C, Garcia A, et al. Aspectual Connectors: supporting the seamless integration of aspects and ADLs [C]//Proceedings of the ACM SIGSoft XX Brazilian Symposium on Software Engineering, 2006. Florianopolis, Brazil : ACM, 2006.

二级参考文献23

  • 1Medvidovic N, Taylor RN. A classification and comparison framework for software architecture description language[J]. IEEE Transactions on Software Engineering, 2000,26 (1) : 70-93.
  • 2Pinto M, Fuentes L,Troya J. DAOP-ADL: An Architeeture Description Language for Dynamic Component and Aspect-Based Development[C]//Proceedings 2nd International Conference on Generative Programming and Component Engineering, GPCE 2003. Erfurt, Germany, September 2003.
  • 3Pessemier N,Seinturier L, Coupaye T. A Model for Developing Component-Based and Aspect-Oriented Systems[C]//Proceedings of the 5th International Symposium on Software Composition, SC 2006. Vienna, Austria, March 2006.
  • 4Perez J, Ramos I, et al. PRISMA: Towards Quality, Aspect Oriented and Dynamic Software Architeetures[C]//Proceedings of the 3rd IEEE International Conference on Quality Software, QSIC 2003. Texas, USA, November 2003.
  • 5Navasa A,Perez M A, Murillo J M. Aspect Modeling at Architecture Design[C]//Proceedings of the 2nd European Workshop on Software Architecture,EWSA 2005. Pisa, Italy,June 2005.
  • 6Batista T, Chavez C, Garcia A, et al. Aspectual Connectors: Supporting the Seamless Integration of Aspects and ADLs[C]//Proceedings of the 20th Brazilian Symposium on Software Engineering,SBES'06. Florianopolis,Brazil,October 2006.
  • 7Medvidovic N,Taylor R N.A classification and comparison framework for software architecture description language[J].IEEE Trans on Software Engineering,2000,26(1):70-93.
  • 8Garlan D,Shaw M.An Introduction to Software Architecture[M].Pittsburgh,PA:World Scientific Publishing Company,1993.
  • 9Tekinerdogan B.ASAAM:Aspectual software architecture analysis method[C]//Proc of the 4th Working IEEE/IFIP Conf on Software Architecture (WICSA'04).Piscataway,NJ:IEEE,2004.
  • 10Kojarski S,Lorenz D H.Modeling aspect mechanisms:A top-down approach[C]//Proc of the 28th Int Conf on Software Engineering (ICSE'06).Piscataway,NJ:IEEE,2006:212-221.

共引文献8

计算机应用与软件
2011年 第11期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部