基于ROSE REI实现面向对象领域建模环境研究

在描述了Rose扩展接口模型REI的框架体系结构后,结合不同的建模需求探讨了REI模型的实现机制,并研究了面向对象领域建模环境的程序实现形式和实现方法。

基于领域编程模型的可信区块链自动化协议

区块链自动化技术有效解决了区块链无法自动执行智能合约程序的困境,拓展了区块链的应用场景。然而,现有的自动化方案往往任务定义复杂、任务执行缺少可证明性且无法支持链下数据,从而存在使用门槛高和可信性低等问题。针对上述问题,提出了一种区块链任务自动化可信协议Specy Network。该协议首先通过结合领域编程模型与可信执行环境,设计了应用于区块链自动化场景的领域专用语言,实现了条件检查的可证明性,且在提高任务检查可靠性的同时降低了定义的复杂度。其次对区块链自动化业务中的角色交互和任务生命周期进行优化,提高了协议实施的稳定性。最后对所提出的协议进行了开发与实现,以具体案例验证了方案的可行性。

基于GIS的铁路选线智能环境及领域本体建模方法

提出基于GIS的铁路选线智能环境(GBRLIE)的智能选线综合解决方案。铁路选线智能环境的既有研究,以及GIS技术、人工智能技术和其他计算机技术的发展为解决方案的研究奠定了基础。在GBRLIE的知识表达上,本体提供了信息共享、互操作的中间件,可保证知识系统从概念分析到系统建立的概念一致性,能保持数据和知识的语义统一。本体位于GBRLIE的逻辑表示层,包括领域本体、方法本体和应用本体。领域本体是对研究领域可共享和重用静态知识的描述,采用UML和面向对象技术进行表示,可克服专用本体描述语言和表示方法的不足。领域本体的形式化描述把关系和规则当作概念处理,用UML表示本体、概念、关系、规则、约束、公理。应用提出的领域本体表示方法描述了铁路选线几何构成本体,列出选线设计中的部分规则及约束。

基于模型库/数据库的面向对象综合仿真环境框架

随着仿真技术和软件技术的发展，仿真系统已经发展成为一个功能完善的仿真环境。本文论述了一个综合仿真环境的原型系统，这个系统基于DEVS形式化描述和UML面向对象可视化建模语言，可以有效地重用模型库中的模型和数据库中的数据，快速生成仿真系统原型，从而将仿真系统开发纳入软件工程的范畴。

CAPP动态应用环境分析与建模

域分析对提高系统的 RRS特性有着决定性作用 .CAPP动态应用环境分析是针对 CAPP系统应用领域的分析 ,是 CAPP域分析的主要组成部分 .其目的就是从 CAPP动态应用环境中识别并提取影响 CAPP系统功能的对象 ,建立 CAPP动态应用环境的多视图模型 .利用该模型可以明确 CAPP应用领域的共同特点及其对 CAPP系统 RRS特性的影响 ,并对建立基于域模型的 CAPP特定域软件体系结构和开发域内可重用构件提供支持 .由于域分析缺乏相应的标准和工具 ,文中采用 U ML 描述

领域分析在C^3I仿真测试环境中的应用

领域分析和建模广泛应用于大型软件系统的分析和设计。目前,由于缺乏有效的方法和实验途径,在C3I系统的建模和设计过程中难以快速建立系统原型,给实际的开发造成了不便。该文将领域技术应用于C3I仿真测试环境中,从四个紧密相关的不同视点(环境、交互、焦点分析和整体分析)来对系统进行领域分析和建模,介绍和说明了它们的界定范围、表示内容、使用方法以及在领域分析中的作用,并从这四个方面来分析和描述了C3I仿真测试环境领域模型的分析和设计过程。该仿真测试环境的领域模型已经应用于实践中,指导了某C3I系统的开发和研制。