面向对象的本体建模研究

UML语言是面向对象建模领域公认的工业标准,而本体建模是近来迅速发展的语义网中主要建模技术,UML在本体建模领域中的应用的可行性和具体方式一直是关注的焦点。该文对面向对象建模与本体建模之间的关系进行分析,基于UML本体承诺的概念,阐述了用UML对本体进行建模的本体对象建模的可行性,提出一种规范本体对象建模的UML元模型扩展方法,为UML直接对本体建模提供了理论依据。     

基于描述逻辑的OntoUML模型的形式化表示

将形式本体理论应用于UML语言的改进是UML的形式化研究的主要方法之一,其中On-toUML是一个概念上完整、语义上清晰和更具本体意义的UML版本。虽然OntoUML基于本体对UML进行了扩充,提供了更为丰富,更能表达现实世界语义的建模原语,但其表达方式不利于在信息系统的设计与开发中应用。本文基于描述逻辑对OntoUML中的关键建模原语及其关系给出了SHIQ形式化表示方法,并进行了实例研究。该方法表达精练、语义清晰,不仅能够表达逻辑清晰的模型,而且保证模型能够正确反映领域事实。这种形式化方法为信息系统概念建模方法提供了理论和应用支撑,在一定程度上推动了OntoUML更为广泛的应用。     

基于UML的电子商务在线销售系统分析与设计

随着面向对象技术的不断发展,利用面向对象思想进行系统建模,已成为当前软件项目开发的主流。本文针对运用UML进行信息系统建模的过程以及模型的选择进行研究,并结合UML系统建模的优势,以电子商务在线购物系统为例,给出基于UML的信息系统建模的完整实现过程。     

基于UML建模的考试信息系统研究

UML是一种定义良好、易于表达、功能强大且普遍适用的统一建模语言,是面向对象建模领域的工业标准。介绍了UML统一建模语言及其建模工具Rational Rose,以考试信息系统为研究对象,分析了其需求和流程,并利用UML的用例图和顺序图及其建模工具Rational Rose对考试信息系统进行了建模。     

UML建模在常住人口管理信息系统开发中的应用

统一建模语言UML(UnifiedModelingLanguage)是面向对象软件开发方法的重要技术。该文在介绍UML的基础上,以常住人口管理信息系统的建模作为实际例子,描述了通过UML来进行静态建模和动态建模的详细过程。     

基于UML建模的新型农村合作医疗信息系统

介绍了面向对象的UML统一建模语言,分析了四川省新型农村合作医疗信息系统的需求和流程,并通过UML用例图和活动图对新型农村合作医疗信息系统的需求和主要流程进行了建模.     

基于RUP的可视化建模研究与应用

简要介绍了RUP和UML的基本概念,重点阐述了在RUP开发过程中如何用UML进行可视化建模的过程。通过对物业管理信息系统的实例建模分析,强化了在面向对象环境下的建模模式。RUP与UML建模的结合,改善了传统建模中的不足,提高了系统开发效率。     

基于UML的本体建模研究

详细对比分析了OWL（Web Ontology Language）特性元素和UML特性元素及本体开发,在讨论OWL本体通过UML类图向面向对象语言转换方法的基础上,通过具体的示例进一步提出了一般多值域OWL属性本体建模的方法,并且说明使用该方法能够直观、清晰地进行本体建模,为下一步研究开发较成熟的软件产品奠定了良好的基础。     

论软件产品线技术

UML作为一种面向对象的的建模方法,可方便地同大多数面向对象的设计语言进行链接．同时还可应用于如商业、信息系统、面向对象设计语言的开发等各方面的需求。本文采用UML的建模方法通过在信息管理系统需求建模中的应用,说明了这一方法对于提高需求建模的速度、确保文档的规范化等具有明显的效果。     

基于本体的UML类图语义推理

统一建模语言(UML)是一个半形式化的语言,其语义部分是采用自然语言描述的,使得它在建模过程中会产生语义不一致等问题。在详细比较UML类图与本体的基础上,提出了一种UML类图的形式化方法;首先将UML类图转换为相应的本体;然后根据本体提供的推理算法(Tableau)对转换得到的本体进行推理,检测其中的不一致性从而修改UML类图,最后达到精确UML类图。     

基于OWL本体的UML类图推理

分析UML模型一致性检测的研究意义,以及UML类图推理的研究现状,提出一种基于OWL本体的UML类图推理方案.研究UML类图向OWL本体转换的映射规则,给出UML类图包含关系、可满足性、等价关系和相离关系的判断方法及其推理规则.利用Jena推理机制实现了UML类图包含关系、可满足性、等价关系和相离关系的推理.     

XML Schema Modeling through UML Class Diagram

A three-step XML Schema modeling method is presented, namely first establishing a diagram of conceptual modeling, then transforming it to UML class diagram and finally mapping it to XML Schema. A case study of handling furniture design data is given to illustrate the detail of conversion process.     

基于XML的多维概念模型的研究

对于数据仓库概念模型的研究,目前缺乏统一的标准,不利于模型的交流与共享。基于XML的多维概念模型利用XML这一标准交换语言,不仅很好地解决了这一问题,而且也为元数据的集成与共享打下了基础。针对多维模型的特点,定义了一个特定的DTD,它能够完整地描述多维概念模型的各种语义特征,并针对基于UML的多维概念建模方法,定义了基于XML的多维概念模型与基于UML类图的多维概念模型的映射方法,为其应用奠定了实践基础。     

一种基于UML的双时态概念模型

随着数据库技术的发展,信息系统对时鸯信息的处理需求越来越强烈。尽管出现了一些时态数据库管理系统,如TimeDB,但这些时态数据模型仍存在着一些不足。该文参考双时态概念数据模型BCDM,对UML类图进行扩展,提出了一种支持时态信息概念建模的概念模型UTCM,UTCM能够支持对时态信息的概念建模,并易于在成熟的DBMS产品上进行实现;     

Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams

UML offers different diagram types to model behavior and dynamics of software systems. In some domains like embedded real-time systems or multimedia systems, it is necessary to include specifications of time since the correctness of these applications depends on the fulfillment of temporal requirements in addition to functional requirements. UML thus already incorporates language features to model time and temporal constraints. Such model elements must have an equivalent in the semantic domain. We have proposed Dynamic Meta Modeling (DMM) as a means for the specification of the formal operational semantics of UML models by applying graph transformation to the meta modeling of dynamic behavior. Within this paper, we extend this approach to also account for time by building on timed graph transformations. We apply these concepts to the domain of multimedia application modeling in which we adopt UML sequence diagrams. The DMM rules with time then specify an interpreter that can be used to analyze or test a model of multimedia sequence diagrams.     

基于UML类图的OWL本体映射方法

传统的本体构建在抽取关键观念和关系时,各领域专家的参与增加了构建领域本体的成本,限制了以领域本体为基础的语义两的发展和普及。针对该问题,通过分析UML类图和OWL的异同点,提出从现有UML模型中提取本体的概念、属性、关系、约束等领域知识并将其映射为OWL本体的方法,利用该方法将加油卡发行UML模型成功转换为OWL本体,从而实现本体创建的经济性和高效性。     

基于UML的蜂窝式客户管理系统的设计与研究

UML是一种标准的图形化建模语言,它是面向对象分析与设计的一种标准表示.蜂窝客户管理系统利用UML类图建立了系统静态模型,并对蜂窝定义与划分模块使用用例图进行需求分析和用时序图来完成动态模型的建立.     

模型驱动架构的语义组合Web服务的验证

针对语义Web服务的组合与验证问题,提出了基于模型驱动架构（MDA）的组合方法与基于语义匹配度的匹配方法。组合方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模。在建模过程中使用基于语义匹配度的匹配方法,选择可用的子Web服务确定最合适的组合Web服务,并将该组合UML模型转化为可验证的Promela语言,使用SPIN工具进行验证,通过验证的UML模型作为模板保存于本体的知识库中以便使用。该模型提高了开发语义Web服务的效率,保证了组合过程的正确性,还能利用模板与语义匹配度实时发现与选择可用的Web服务。