基于多态性的UML时序图度量研究

目前对于时序图度量的研究没有考虑到面向对象软件的多态性特点,度量不够准确。本文结合面向对象多态性的特点和UML(Unified mode ling language)类图、时序图,运用图论的方法构建了有向无环图,并在此基础上提出了相适应的度量集,最后通过实例分析说明时序图的多态性扩展和度量集的有效性。同时,本文的研究也为软件测试用例的设计提供了指导。     

面向适航认证的模型驱动机载软件构件的安全性验证

 在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。     

试飞数据库管理系统实现研究

试飞数据库管理系统(FTDBMS)是支持军机、民机、直升机等各类试飞数据处理需要的工程数据库管理系统。文中分析了试飞数据库管理系统的特点,重点分析了历程和非历程数据的特征,给出了试飞工程数据管理的实现方法,提出了松耦合和紧耦合两种数据访问接口,描述了试飞数据标识体系及其工作原理,该系统的研制将我国试飞数据处理软件提高到集成化、广适应、标准化、可重用的新阶段     

OPENSTOCK的高可用性解决方案

高可用性是基于网络的电子商务系统的关键要素.文中首先介绍了一个用于日本药局的商务系统OPEN-STOCK,重点给出了它的高可用性解决方案,介绍了该方案中各类系统信息的作用范围,定义了商务系统服务状态相关的参数表,给出了负载平衡的三种调度算法,以及网络系统参数获取和系统服务状态侦测的实现方法.该方案具有规模可调整以及面向应用的特征,它通过实现负载平衡以达到系统的高性能,并支持容错而获得系统的高可靠性.该电子商务系统及其技术已经在日本市场投入应用,并达到了设计目标.     

基于元模型的工程数据仓库系统元数据集成

传统的数据仓库元数据集成方案投资巨大但是效率不高,而且主要是针对商业数据仓库系统,并不适用于工程数据仓库系统。本文利用元模型技术进行工程数据仓库系统的元数据集成,根据工程数据组织分散、模式复杂多变的特点扩充了公共仓库元模型(Comm on w arehouse m etam ode l,CWM),使之不仅适用于商业数据仓库系统,也适用于工程数据仓库系统。然后,以扩充后的元模型为基础实现了自行开发的工程数据仓库系统的元数据集成,有效地提高了元数据集成的效率,达到了预期的目标。     

结合逻辑和决策论方法的Agent模型研究

分析了目前Agent模型与实现相分离的原因,将逻辑与决策论方法相结合,以自主为前提,面对个体自主性和群体交互的社会性要求,研究如何建立理性Agent以及理性Agent构成的多Agent社会。对Agent的信念、愿望、效用、约定和意图等心智状态之间的关系进行了直观的描述,阐明了理性行为的决策过程,并采用量化多模态逻辑对该模型进行了形式化描述。完善了Cohen和Levesque的BDI模型理论,使其能更准确地反映理性A-gent的行为,为多Agent系统设计与实现提供了理论基础。     

元模型在工程数据仓库中的作用

工程数据的组织管理分散、模式复杂且随时间变化,这就要求工程数据管理系统不仅可以统一管理数据,而且支持客户化工作、可扩展。这种系统的设计必须依赖数据模型的灵活性和自描述性。本文在分析工程数据的特点及其管理现状基础上,描述了工程数据仓库的体系结构和多层元模型;重点刻画了利用元对象技术实现工程数据管理的设计实现;最后描述了一个现实的利用元对象管理仓库中工程数据的系统-FTEDWS,证明了本方案和元模型的有效性。这种采用元模型的方法提供了一个灵活、可互交换的环境,用以支持系统演化和重用。     

持久性在面向对象语言中的扩充

持久性是传统程序设计语言所缺乏的,它是程序设计语言中值得重视的一个要素,面向对象语言是当前表达能力和建模能力最强的一种语言,持久性与面向对象语言的结合将能够提供一个计算建模和数据建模、数据处理和数据管理的一体化语言环境。本文介绍了持久性程序设计的发展及其相关的概念,包括持久性与数据类型的正交性;讨论了持久性与面向对象语言结合中的有关问题,如对象标识及对象指针持久性等问题;同时给出了一个在面向对象语言基础上扩充持久性的实现描述,重点在其组织结构、内外存映射及其工作过程。     

一种扩展了价格信息的进程代数

针对目前进程代数缺乏成本建模和分析能力的现状,提出一种扩展了价格信息的进程代数(Price process algebra,PPA).在传值通信系统演算(Calculus of communication systems,CCS)基础上为进程动作和状态扩展价格函数,使用价格迁移系统给出PPA的语义,证明PPA的进程状态扩展累计成本的合理性和完备性,给出构造状态空间的算法并证明该算法的有效性,实例分析说明PPA用于成本建模和分析的可行性.