描述逻辑SHIQ研究

描述逻辑由于有很好的建模和推理特性,已成为语义web本体描述语言的逻辑基础．描述逻辑SHIQ是语义web本体描述语言DAML＋OIL的逻辑基础,也是OWLDL的核心．该文从逻辑的角度介绍了SHIQ的语法、语义、推理问题和推理算法．     

典型航空制造企业业务建模与分析

通过对典型航空制造企业业务过程、活动的分析研究,建立了典型航空生产企业的功能模型、数据模型和过程模型,其中主要介绍了生产设计系统,同时采用IDEF建模方法,用BPWIN4.1建模工具建立其功能模型和过程模型,运用建模分析方法对企业业务过程的进行了优化和改良。     

基于OpenGL的管线三维模型的可视化研究

空间实体三维建模的关键是模型特征点空间坐标的计算。本文以管线为建模对象,对管线三维模型构建的元素进行分析,建立管线的三维数据模型,并给出了基本模型构建元素的数据结构的定义。根据给出的数据模型和数据结构对管线直线部分和管线衔接处的三维建模的方法和步骤进行探讨。以VC++为程序设计语言,利用OpenGL的函数库为图形的显示工具,开发出管线三维建模的实验系统。     

基于车道特征的多层交通网络时空数据模型研究

【目的】针对当前交通地理系统(GIS-T)领域中常用数据模型在城市交通网络的几何、时空语义属性、拓扑关系等描述以及路径诱导实际需求方面的不足,提出基于车道特征的多层交通网络时空数据模型。【方法】根据数据模型的建模层次,引入道路中心线、行车道、实际车道等特征,构建交通网络的多层次表达,并依次设计概念数据模型和逻辑数据模型,最后通过实验验证模型的性能。【结果】该模型比传统基于车道的网络模型的算法效率高,行驶时间少。【结论】该模型对车道特征的描述方案可行,在交通路径诱导中的实用性、精度及效率等方面比传统模型更优。     

基于本体的工作流抽象模型

基于本体的抽象模型框架, 提出一种工作流的感知建模方法, 通过感知特定领域中实际运行的具体工作流获得构建该领域工作流抽象模型的知识, 既可为工作流模型的设计提供共享和重用机制, 也可直接构造该领域的工作流抽象模性, 实现工作流的部分或全部自动化运行. 并给出了工作流行为本体类和行为关系本体类的定义,  形式化地描述了两个本体类的动态构建和扩展过程, 同时给出了在基于本体抽象模型框架下的工作流抽象建模过程.     

图形化本体建模工具GOM的设计与实现

将本体表示语言OWL Lite中相关词条图形化, 以图形化结构表示本体模型, 设计并实现了一种图形化本体建模工具GOM. GOM以图形化结构表示本体, 能够把图形化结构的本体模型转换成OWL Lite语言表示形式; 也可读取OWL Lite表示的本体, 生成本体模型的图形化结构. GOM实现了图形化结构的本体模型和OWL Lite表示的本体模型间的相互转换, 提高了本体模型的可读性, 降低了本体建模的工作强度.     

知识系统建模框架研究

以PSM和本体为核心，构筑了知识系统建模框架，将知识系统结构要素分为需求本体、概念本体、方法本体、控制知识和解释知识，并用面向目标的黑板控制模型有效地将以上诸要素加以集成，将概念本体和方法本体溶入多主体的建模中．并探讨了本体维护和管理的方法．     

可信Web服务的度量模型

针对Web服务的可信性缺乏有效度量方法的问题,引用本体的基本思想和主要理论对Web服务进行统一的语义描述和建模,提出了可信Web服务的度量模型(MM-TWS),建立了面向本体的可信Web服务,并解析了MM-TWS中建立本体的基本步骤和主要流程。采用模糊描述逻辑来设计MM-TWS的模型算法FDL-MM-TWS,并推算Web服务的可信度。最后,利用MM-TWS对一个基于突发事件处理的智能建筑系统集成进行度量,初步验证了该方法的可行性和有效性。     

基于领域知识复用的需求建模

为了准确地获取和复用军事电子信息系统需求,提出了基于领域知识复用的需求建模方法.介绍了利用领域知识进行需求建模的过程,利用目标模型表达用户需求,并通过复用领域知识建立目标模型;通过目标查询匹配和复用获取目标相关需求,建立应用本体;利用顶层本体概念与MEISRDL业务框架的映射关系,根据应用本体生成需求模型.实例表明,通过复用领域知识,不仅保证了需求模型的质量,而且提高了需求建模的效率.     

基于PowerDesigner模型驱动机制下的全程建模研究

数据库设计工具PowerDesigner采用模型驱动机制,通过包括需求模型、业务流程模型、概念数据模型、物理数据模型、面向对象模型、多模型报告的多模型建立和转换,为软件开发实现全程建模提供了一种切实可行的软件开发方法,从而大大提高了软件开发的效率和质量,实现了软件工具放大人的智力这一论点.     

本体在UML建模中的应用研究

本体作为一种能够有效表达概念层次结构和语义的模型,被广泛地应用到计算机科学的众多领域.UMI 作为一种通用的建模语言,已成为面向对象建模领域公认的工业标准.在介绍本体和统一建模语言基本概念的基础上,比较分析了面向对象建模与本体建模的异同,提出用本体技术来弥补UML 规范中存在的缺陷,使得uML能够更加规范地表达建模信息.     

UBOM:基于UML的本体建模工具

在分析UML与本体描述语言异同的基础上,针对OWL等语言存在的模型层次不清晰、缺乏相应的可视化模型表示法等问题,提出了本体建模语言元模型,并在此基础上实现了基于UML的支持面向Web的本体建模开发工具UBOM.与其他相关工作相比,该开发工具UBOM的概念体系更加清晰和完整,既支持DAML OIL又支持OWL,所得模型符合本体模型语义.     

农业本体中信息关联挖掘及映射技术

随着物联网技术的发展,通过各类农业传感器终端可以获取海量信息,但机器不能根据上下文准确判定信息是否有用.针对此问题,研究了类图映射本体模型,通过UML模型增强检测关联的可能性,并在对应的编辑器中直观地显示实体、属性和联系,形象地呈现出农业领域概念关系.基于Protege平台进行实验,结果表明对2个不同模型作合并关联,明显地增强了本体模型的关联性,成功地实现了UML到本体之间的映射,达到了扩展本体的目的.     

基于MDA的企业应用系统元建模研究

基于MDA(ModelDrivenArchitecture)方法,使用UML扩展机制,提出一个面向企业应用系统建模的元模型。探讨了元模型的构成和语义,通过模型实例,表明此元模型可以很好地应用于企业应用系统开发过程。这种以模型为驱动的开发方法能够通过模型来保持开发过程的一致性,提高了开发效率,并可以利用模型的可执行来仿真业务流程。     

基于统一建模语言的分布式企业信息系统软件体系结构模型

讨论了分布式企业信息系统软件体系结构建模的基本问题和统一建模语言 ( Unified Mod-eling Language,UML)的体系结构建模特性 ,在此基础上提出了基于 UML的分布式企业信息系统软件体系结构模型 UDESAM.UDESAM由组件、连接件、接口件和约束组成 ,采用 UML的一个子集作为体系结构建模语言 ,用例视图、逻辑视图、构件视图和配置视图是表示 UDESAM的 4个视图 .给出了基于 UDESAM的软件开发过程和以体系结构为中心、以面向对象为指导思想、基于构件、由用例驱动的软件开发策略 ,并以一个基于 Web的销售系统开发实例辅证     

UML在柔性管理信息系统开发中的应用

为了解决管理信息系统在实际开发应用中的企业需求的“柔性”和系统自身的“刚性”的矛盾问题，采用应用建模的方法，以领导综合查询系统科研项目为实例，总结了UML的建模机制与方法。在该系统的开发过程中，利用UML，完成了系统的需求分析，概念设计和详细设计，构建了系统的需求模型、静态结构模型和动态的行为模型。结果表明，系统可视化模型的建立，加深了用户对系统的开发平台、体系架构和实现功能的认识，用户的意见不断的修补系统的模型和文档，大大减少了系统实现阶段的工作量，有效应对用户的需求变更。提高了系统对企业环境的适应能力。     

一种基于UML的动态企业建模的研究

研究了利用扩充UML元模型定义企业建模的方法.采用了UML中的相应方法建立起企业的工作流视图、组织视图和资源视图.以一个冶炼厂的生产管理系统为例,建立了一个典型的离散型制造企业的企业模型,并实现了相应的应用软件框架,从而实现了动态企业建模在生产管理中的应用.     

UML的供应链订单管理系统分析与设计

供应链管理是经济全球化发展的产物，对企业的管理信息系统提出了更高的要求．分析供应链管理面向需求的特点，结合软件工程和面向对象技术(UML)，提出以订单为整个企业管理信息系统核心的观点．基于UML类图和顺序图设计供应链订单管理系统模型，并运用UML活动图描述订单处理的工作流程．     

基于UML的软件可靠性建模

标准的UML方法对软件质量部分如何建模是缺乏的,由此本文研究了针对软件可靠性建模和评估的UML剖面,它是基于标准UML元模型的扩展,能对系统中影响软件可靠性的因素建模;同时研究了此模型应用于传统的可靠性评估技术中的一些结论;此模型有助于贯穿软件生命期的软件可靠性工程,以提高待开发软件的可靠性指标.     

Rigorous Modeling of Real-time System Based on UML and PVS

Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models could be verified. Tools are needed for rigorous modeling of embedded real-time system. UML is an industrial standard modeling language which provides a powerful expressi-veness, intuitive and easy to use interface to model. UML is widely accepted by software developer. However, for lack of precisely defined semantics, especially on the dynamic diagrams, UML model is hard to be verified. PVS is a general formal method which provides a high-order logic specification language and integrated with model checking and theorem proving tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time system. In this approach, we provide 1) a timed extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexible and friendly in modeling, extendable in formalization and verification content, and better performance. Time constraints are modeled and verified and its a highlight of this paper.