基于Petri网的软件动态演化的一致性分析

在分析软件动态演化面临的挑战的基础上,以扩展的Petri网为主形式化工具,基于面向动态演化的SA元模型DEAM,对如何保证动态演化的一致性问题进行分析。首先,讨论了一致性分析的总体思路和策略,确定以构件作为动态演化实施和分析的基本对象;其次,从构件结构演化的视角对构件的子网类型进行分析,提出了保证结构一致性的方法;再次,从构件行为演化的视角,分别从内部和外部观察构件演化前后的行为,并通过建立模拟关系来分析和判断演化前后构件的行为是否一致;最后,通过案例研究对所提方法的可行性进行验证。

基于层次消息总线的软件构架动态模拟和演化研究

1.引言 在软件工程实践中，人们越来越深刻地认识到，随着软件系统规模和复杂性的增加，系统总体结构设计的重要性已远远超过特定算法和数据结构的选择，良好的软件构架是保证系统成功的关键。软件构架已成为目前软件工程研究的热点之一。 软件系统的构架定义了组成系统的构件和构件之间相互作用的关系[3]，表达构件之间相互作用关系的又称为连接件(connector)。在构架层次上，典型的构件包括客户、服务器、数据库、过滤器等。

一种MPI并行软件的动态演化框架

为使MPI并行计算软件具有运行时改变软件功能和拓扑的能力,基于MPI系统模型提出一种用于描述和实现动态演化的两层软件框架。在管理层,采用适用于消息传递的管道-过滤器风格规范系统的结构、分析并行软件的可演化性,并约定一种相应的动态ADL用于描述演化行为。在计算层,设计符合管道-过滤器风格的构件元模型及过滤器的重配置管理自动机。针对实现演化的两个核心问题,即进程的启动和数据连接的建立释放,实现基于MPI动态进程管理的重配置方法。通过性能测试,验证了该软件框架的可用性,为并行计算软件的动态演化提供了一种新的实现方法。