面向方面设计中干涉问题的分析工具

发布时间：2017-12-04 16:34

  本文关键词：面向方面设计中干涉问题的分析工具

  更多相关文章： 面向方面的设计 功能干涉 推理验证 设计演算

【摘要】：干涉问题是指基础程序和方面之间或者方面之间发生不需要的相互作用,导致最终程序中产生不想要的功能,危害程序的正确性.很难检测和修正在面向方面设计中存在的干涉,已经成为推广面向方面技术的阻碍.受到技术自身可扩展能力的局限,现有的基于模型验证技术的工作不能有效地处理功能干涉问题.设计开发了基于推理验证技术直接检查和去除面向方面设计中功能干涉的工具,它可以根据类和方面的功能规约自动产生确保不发生干涉的条件,并引入交互式证明工具PVS来提高证明过程的自动化程度.证明可以确认设计中无干涉存在或者为修正干涉问题提供线索.
【作者单位】： 计算机软件新技术国家重点实验室(南京大学);南京大学计算机科学与技术系;
【基金】：国家自然科学基金(91318301,61561146394) 国家重点基础研究发展计划(973)(2014CB340703) 教育部高等学校博士学科点专项科研基金(20110091120058) 江苏省产学研项目(BY2014126-03)~~
【分类号】：TP311.52
【正文快照】： 近年来,面向方面技术[1]在软件设计与开发中得到了广泛的应用.面向方面技术支持在软件系统的设计和实现过程中运用关注点分离策略,它将软件系统的基本功能和多个横切关注点进行分离,在基础程序中实现系统的基本功能,引入方面将横切关注点进行封装,并依靠编织机制在编译或运行

【共引文献】

中国博士学位论文全文数据库 前1条

1 窦亮;UML动态行为图的机械语义形式验证与精化研究[D];华东师范大学;2015年

【相似文献】

中国期刊全文数据库 前2条

1 李彤,柳青,孔兵,王黎霞;并行软件功能规约的组合语义方法[J];计算机工程与应用;2000年06期

2 ;[J];;年期

，

本文编号：1251660