【摘 要】
：
随着软件技术的不断发展,软件系统的复杂性、多变性不断提高,为了满足软件体系结构的正确性要求,仅有系统静态结构信息的描述方法不足以满足这种需求,因此需要在软件体系结构层次对系统行为进行建模。另一方面,为了使用户能够方便地进行体系结构行为建模,同时通过模型检查方法支持自动的正确性分析与验证,需要从工具上加以支持。本文提出了体系结构层次描述系统行为及约束的构件交互模型,并基于UML顺序图给出了表示法及其
【机 构】
：
北京大学信息科学技术学院软件研究所 高可信软件技术教育部重点实验室 北京 100871
论文部分内容阅读
随着软件技术的不断发展,软件系统的复杂性、多变性不断提高,为了满足软件体系结构的正确性要求,仅有系统静态结构信息的描述方法不足以满足这种需求,因此需要在软件体系结构层次对系统行为进行建模。另一方面,为了使用户能够方便地进行体系结构行为建模,同时通过模型检查方法支持自动的正确性分析与验证,需要从工具上加以支持。本文提出了体系结构层次描述系统行为及约束的构件交互模型,并基于UML顺序图给出了表示法及其语义;其次,本文设计并实现了对应的可视化工具,并集成了已有的模型检查器;最后,本文通过实例展示了该工具在软件体系结构设计与验证中的应用。
其他文献
膨胀图是有很好连通性的稀疏图。一个膨胀图族是具有相同膨胀系数的一类正则膨胀图。本文从组合学角度对膨胀图及膨胀图族的概念、性质进行讨论。用概率方法证明了3-正則膨胀图族的存在性,井证明了2-正则膨胀图族的不存在性,提出了一类3-正則非膨胀图──塔形图的概念。按时间复杂度可将膨胀图分为弱可构造的和强可构造的。膨胀图的扩张图仍然是膨胀图,通过应用实例说明利用膨胀图能够降低随机算法对随机位的依赖程度。
澄清了非滥用性质的模糊理解,提出了一种新的非滥用性质的形式化描述,并用定理证明工具Isabelle/HOL验证了BW多方合同签署协议的非滥用性。
对业务流程的建模分析是建立在工作流网的理论模型之上的,因此需要合适的算法将建模工具中用户建立的有向图映射到工作流网。针对经典Petri网的一些固有缺陷,对其在颜色、时间上进行了扩展,给出了赋时着色Petri网定义,并提出了一种基于链表遍历方式的业务流程到工作流网的映射算法。文中重点研究了工作流模型基本控制结构的映射规则及其相关证明,并给出了该算法的具体实例。
为了对计算机软件质量进行更加精确、客观、科学的评价,综合遗传算法的收敛速度快和神经网络的自学习能力,提出一种基于遗传神经网络的软件质量评价方法。即先通过遗传学习算法进行全局训练,再用权重调整BP算法进行精确训练,这一算法克服了BP算法收敛速度幔、易陷入局部极小点等缺陷,应用表明,该方法克服了由专家确定变量参数的缺点,达到评价结果较高的客观性、科学性,具有很高的应用价值。
Web环境下服务数量急剧增长,如何根据用户的需求进行Web服务的动态组合是一个迫切需要解决的问题。基于过程定义建立Web服务组合模型,根据各服务结点的功能需求进行检索,获得所有候选服务构造一个服务组合图,基于该图给出一个QoS全局优化的服务选择算法,使得组合服务在满足用户需求的同时服务质量最优。
服务等级协议SLA(Service Level Agreement)是目前多样化网络服务中服务质量保障的重要手段,面向服务体系结构正成为新一代网络计算研究的热点。本文将服务等级概念引入到Web服务体系架构上,提出了SLA建模与表示,针对服务组合的端到端的QoS保证,提出了一套基于agent的在动态的、变化的服务环境下自适应的服务等级协议协商机制。
在分布式系统的发展过程中,交互的动态特性越来越明显。本文运用反射的思想,对元对象的分层表示及其之间的交互进行了详细阐述,并提出了集中性观点,对元级交互模型进行了改进,从而解决了动态对象的处理与获取。同时,本模型拥有更好的适应性、可修改性和可扩展性。
数据流分析技术基于编译优化理论,在程序转换过程中优化数据变量的定义,确定数据类型、程序参数以及函数返回值等。本文阐述了反编译过程中数据流分析技术的实现。在数据流分析阶段,利用前端扫描程序获取程序控制流程图和、集合等信息,采用寄存器拷贝替换算法和算法分别完成基本块内及基本块间寄存器的定义优化,引入布尔表达式消除条件转移指令,并通过确定子程序实参消除堆栈传递参数指令。该方法已程序实现,针对Intel8
虽然动态织入技术可以使得横切逻辑在软件系统运行过程中被织入到核心逻辑中去,但在很多动态AOP语言中仍然需要对aspect模决的实例化操作和织入时间进行编程控制管理,而这些控制代码又往往与系统的业务逻辑混杂在一起。本文基于对象代理模型,提出了一种动态AOP的解决方案,并且通过利用代理对象的创建条件和自动创建机制,实现了aspect模块的自动实例化和织入管理。本文中所描述的方案,能够根据系统运行过程中
体系结构的运行时动态演化已经成为许多软件系统的根本需求,而支持动态体系结构的运行平台和实现框架是其中的关键问题。本文在课题组前期开发的基于Java的请求/调用式构件组装工具BSAppBuilder基础上,借助动态AOP技术,提出了一种基于AOP的动态体系结构实现方法。该方法包括了进行运行环境监控的传感器以及执行演化控制的控制中心。在演化实现机制上,该方法利用Aspect的动态织入技术实现构件间连接