微信服务号

微信订阅号

2025年3月30日 20:22 星期日
首页 > 过刊浏览>2016年第27卷第3期 >633-644. DOI:10.13328/j.cnki.jos.004985
PDF HTML阅读 XML下载 导出引用 引用提醒
面向方面设计中干涉问题的分析工具
作者:
基金项目:

国家自然科学基金(91318301,61561146394);国家重点基础研究发展计划(973)(2014CB340703);教育部高等学校博士学科点专项科研基金(20110091120058);江苏省产学研项目(BY2014126-03)


Tool for Analyzing Interference Problems in Aspect-Oriented Designs
Author:
Fund Project:

National Natural Science Foundation of China (91318301, 61561146394); the National Key Basic Research Program of China (973) (2014CB340703); Specialized Research Fund for the Doctoral Program of Higher Education (20110091120058); Project on the Integration of Industry, Education and Research of Jiangsu Province (BY2014126-03)

  • 摘要
    • | |
  • 访问统计
    • |
  • 参考文献 [18]
    • |
  • 相似文献 [20]
    • | | |
  • 文章评论
    摘要:

    干涉问题是指基础程序和方面之间或者方面之间发生不需要的相互作用,导致最终程序中产生不想要的功能,危害程序的正确性.很难检测和修正在面向方面设计中存在的干涉,已经成为推广面向方面技术的阻碍.受到技术自身可扩展能力的局限,现有的基于模型验证技术的工作不能有效地处理功能干涉问题.设计开发了基于推理验证技术直接检查和去除面向方面设计中功能干涉的工具,它可以根据类和方面的功能规约自动产生确保不发生干涉的条件,并引入交互式证明工具PVS来提高证明过程的自动化程度.证明可以确认设计中无干涉存在或者为修正干涉问题提供线索.

    Abstract:

    Interference problems refer to the undesired interaction between aspects and base programs or interaction between aspects that results in unexpected functions and is harmful to the correctness of the entire program.The difficulty in detecting and fixing interferences in aspect-oriented designs impedes the widespread application of aspect-oriented programming paradigm.Suffered from the scalability problem, existing researches that use model checking techniques cannot effectively handle functional interferences.The paper designs and implements a tool that employs deduction-based technologies to support direct checking and remove functional interferences in aspect-oriented designs.This tool can automatically generate proof obligations excluding the existence of interference.In addition, the paper introduces the tool PVS to raise the automation level of verification.The proof can either ascertain no interference exists or give clues on how to rectify the design.

    参考文献
    [1] Filman R, Elrad T, Clarke S, Aksit M. Aspect-Oriented Software Development. Addison-Wesley Professional, 2004.
    [2] Dantas DS, Walker D. Harmless advice. In:Morrisett JG, Jones SLP, eds. Proc. of the 33rd ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages. New York:ACM Press, 2006. 383-396.[doi:10.1145/1111037.1111071]
    [3] He JF, Li XS, Liu ZM. rCOS:A refinement calculus of object systems. Theoretical Computer Science, 2006,365(2):109-142.[doi:10.1016/j.tcs.2006.07.034]
    [4] Hoare CAR, He JF. Unifying Theories of Programming. London:Prentice-Hall, 1998.
    [5] Xu DX, Alsmadi I, Xu WF. Model checking aspect-oriented design specification. In:Proc. of the 31st Annual Int'l Computer Software and Applications Conf. New York:IEEE Computer Society, 2007. 491-500.[doi:10.1109/COMPSAC.2007.152]
    [6] Katz S, Sihman M. Aspect validation using model checking. In:Dershowitz N, ed. Proc. of the Verification:Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday. LNCS 2772, Berlin:Springer-Verlag, 2003. 373-394.[doi:10.1007/978-3-540-39910-0_18]
    [7] Corbett JC, Dwyer MB, Hatcliff J, Robby. Bandera:A source-level interface for model checking Java programs. In:Ghezzi C, Jazayeri M, Wolf AL, eds. Proc. of the 22nd Int'l Conf. on Software Engineering. New York:ACM Press, 2000. 762-765.[doi:10. 1145/337180.337625]
    [8] Krishnamurthi S, Fisler K, Greenberg M. Verifying aspect advice modularly. In:Taylor RN, Dwyer MB, eds. Proc. of the 12th ACM SIGSOFT Int'l Symp. on Foundations of Software Engineering. New York:ACM Press, 2004. 137-146.[doi:10.1145/1029894.1029916]
    [9] Goldman M, Katz S. Maven:Modular aspect verification. In:Grumberg O, Huth M, eds. Proc. of the 13th Int'l Conf. on Tools and Algorithms for the Construction and Analysis of Systems. Berlin:Springer-Verlag, 2007. 308-322.[doi:10.1007/978-3-540-71209-1_24]
    [10] Aksit M, Rensink A, Staijen T. A graph-transformation-based simulation approach for analysing aspect interference on shared join points. In:Sullivan KJ, Moreira A, Schwanninger C, Gray J, eds. Proc. of the 8th Int'l Conf. on Aspect-Oriented Software Development. New York:ACM Press, 2009. 39-50.[doi:10.1145/1509239.1509247]
    [11] Mostefaoui F, Vachon J. Design-Level detection of interactions in aspect-uml models using alloy. Journal of Object Technology, 2007,6(7):137-165.[doi:10.5381/jot.2007.6.7.a6]
    [12] Khatchadourian R, Soundarajan N. Rely-Guarantee approach to reasoning about aspect-oriented programs. In:Bergmans L, Brichau J, Ernst E, Gybels K, eds. Proc. of the 5th Workshop on Software Engineering Properties of Languages and Aspect Technologies. New York:ACM Press, 2007. 5.[doi:10.1145/1233843.1233848]
    [13] Xu QW, de Roever WP, He JF. The rely-guarantee method for verifying shared variable concurrent programs. Formal Aspect of Computing, 1997,9(2):149-174.[doi:10.1007/BF01211617]
    [14] Oliveira BCdS, Schrijvers T, Cook WR. EffectiveAdvice:Disciplined advice with explicit effects. In:Jézéquel JM, Südholt M, eds. Proc. of the 9th Int'l Conf. on Aspect-Oriented Software Development. New York:ACM Press, 2010. 109-120.[doi:10.1145/1739230.1739244]
    [15] Clifton C, Leavens GT. Observers and assistants:A proposal for modular aspect-oriented reasoning. In:Proc. of the 1st Workshop on Foundations of Aspect-Oriented Languages. 2002. 33-44.
    [16] Rinard M, Salcianu A, Bugrara S. A classification system and analysis for aspect-oriented programs. In:Taylor RN, Dwyer MB, eds. Proc. of the 12th ACM SIGSOFT Int'l Symp. on Foundations of Software Engineering. New York:ACM Press, 2004. 147-158.[doi:10.1145/1029894.1029917]
    [17] Ciraci S, Havinga W, Aksit M, Bockisch C, van den Broek P. A graph-based aspect interference detection approach for UML-based aspect-oriented models. Trans. on Aspect-Oriented Software Development VⅡ, 2010,(7):321-374.[doi:10.1007/978-3-642-16086-8_9]
    [18] Zhao JJ, Rinard M. Pipa:A behavioral interface specification language for AspectJ. In:Pezzè M, ed. Proc. of the 6th Int'l Conf. on Fundamental Approaches to Software Engineering. Berlin:Springer-Verlag, 2003. 150-165.[doi:10.1007/3-540-36578-8_11]
    引证文献
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

陈鑫,黄超,张一帆,梅一鸣.面向方面设计中干涉问题的分析工具.软件学报,2016,27(3):633-644

复制
分享
文章指标
  • 点击次数:4722
  • 下载次数: 6155
  • HTML阅读次数: 2406
  • 引用次数: 0
历史
  • 收稿日期:2015-07-15
  • 最后修改日期:2015-10-20
  • 在线发布日期: 2016-01-06
文章二维码
友情链接:中国科学院软件研究所中国计算机学会中国科学院国家自然科学基金委员会CCF数字图书馆Int'l J of Softw Info计算机系统应用
您是第19754353位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司

京公网安备 11040202500063号