集成的Z实时扩展RT-Z及其应用模式

将具有状态描述能力的Z语言和具有实序并发描述能力的其它形式化方法如TimedCCS,TimedCSP相结合大大拓展了其在实时并发系统的中的应用能力,不但可以用于需求描述,也可应用于系统设计。在统一语义的背景下使用多种集成方法,其根本目的是适合应用领域的不同特点,本文以RT-Z为基础提出的基本扩展框架对类似集成工作具有普遍意义,最后结合RT-Z的语义集成的分析提出了并发实时系统开发中的一种基本应用模式。

应用形式化与实时语言的面向方面方法

面向方面的软件开发方法是在面向对象开发方法的基础上,在AOP的支持下将贯穿系统的横切关注点提取出来,通过联结方式织入系统功能代码中的软件开发方法,该方法降低了软件开发的复杂性,提高了系统的灵活性和可维护性。形式化和实时语言为面向方面方法贯穿于实时软件开发提供了必要的支持,以形式化方法AO-RT-Z和实时语言PEARL为基础,给出了一种面向方面的实时软件开发框架,实现了软件生命周期各个阶段对面向方面的无缝支持,降低了实时软件开发的复杂性,提升了系统的可信度。

Z实时扩展及基于多视点的应用模式

RT -Z是由Z和经实时扩展的通信顺序进程timedCSP集成的用以描述实时系统的规格说明语言,它将Z对状态描述的优点和timedCSP对时序关系和并发描述的优点相结合,具有强大的描述能力;而基于时序转化系统的Z扩展适合描述系统状态的转化。给出了Z实时扩展的分类原则并从讨论了其应用特点,最后在分析RT- Z的语义集成的基础上提出了Z实时扩展的多视点应用模式。

实时系统的方面开发方法和应用模型

结合领域工程的方法,在某个领域内建立面向方面的软件开发AOSD框架是值得探讨的简单可行的方法,探讨了在实时系统开发过程中支持面向方面方法的几个关键问题及解决方案,提出了一种实时领域面向方面开发框架,降低了实时软件开发的复杂性,提升了系统的可信度,同时实现了实时软件开发各个阶段的无缝连接。

多视点实时形式化方法的应用模式

RT-Z结合了Z的状态描述能力和TimedCSP对并发实时进程的描述能力,成为一种有效的实时并发软件的开发手段,RT-Z不但是一种规格说明语言,也可以用于建模.多视点的软件开发方法的研究从不同的视点观察系统,分离各自的关注点,简化了系统的设计.本文在形式化方法RT—Z的基础上扩充语法框架,以支持多视点工程的思想,充分利用形式化方法的精化推理机制,同时具有对实时约束的描述能力,可作为并发实时系统开发中的基本模式.

面向方面的实时系统形式化开发方法

实时系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要如面向方面和基于组件的软件工程方法的支持,同时实时系统的可信性要求采用形式化方法来开发实时系统。本文试图建立一种面向方面的实时系统形式化开发方法,这种方法对RT-Z进行了面向方面和面向部件的扩展,并通过实时组件模型在需求和设计阶段提供了对基于部件的系统开发方法(CBSD)和面向方面的系统开发方法(AOSD)的支持。本文给出了面向方面的实时Z(AO-RT-Z)的组件模型的框架结构、语法要求、方面的联结和功能接口和非功能接口的定义,重点讨论并证明了面向方面的实时Z(AO-RT-Z)作为规格描述语言的健全性。

衬套内爆ALE方法二维MHD数值模拟

作者在详细介绍了衬套内爆二维磁流体(MHD)力学模拟的ALE方法的基础上,运用算子分裂技术将MHD力学方程组分裂成热扩散、磁扩散、Lagrangian流动、网格生成和对流输运4步求解.作者对Frese等人的Lagrangian流动步方法进行了改进,消除了其拉氏计算的质量损失.编制了二维计算程序并通过验证,获得的二维衬套内爆不稳定性发展与Doughlas和Liberman等人的结果相吻合.

基于实时语言和面向方面的形式化开发方法

面向方面方法和实时语言特性应用于实时软件开发工程,将降低实时软件开发的复杂性,而形式化方法将提升系统的可信度。该文提出的一种面向方面的实时软件开发方法AOSDBRTL,它基于经面向方面扩展的形式化方法AO-RT-Z,在编码阶段应用实时语言PEARL,实现了软件开发各个阶段对面向方面的无缝支持。

基于实时语言的多视点形式化实时开发模式

实时编程语言提供了运行时实时约束支持机制,而形式化方法的精化及推理机制可以最大限度地保证分析设计阶段系统的正确性和一致性,多视点软件开发思想则改进了软件开发过程的复杂性.本文提出了一种基于多视点方法,利用了PEARL语言的特征和RT-Z的语法、语义和结构特点的方法.该方法将RT-Z和PEARL独立于硬件和应用环境,同时对实时约束灵活的分解降低了系统开发的难度.