形式化B方法和UML的结合

形式化B方法和UML存在很大的互补性,二者的结合研究对提高软件的可靠性有着非常重要的意义,文章通过从UML类图到B抽象机器的转换给出了一个UML和B方法结合的方法。     

基于UML工作流模型的应用研究

分析了工作流模型的组成,根据统一建模语言的特点,形式化定义了为工作流过程建模的UML活动图结构以及建模规则,给出一个应用实例来描述建模过程并对模型作了详细分析。     

UML状态图映射为Petri网模型的方法研究

UML广泛应用于软件建模,然而UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证。状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题。Petri网作为一种图形化建模工具,具有严格的形式化语法语义,而且有很多成熟的分析方法。本文提出了将UML状态图映射为Petri网模型的方法,并结合实例对映射后的模型进行分析,验证了模型的一系列正确性。     

开放教育排课系统UML建模研究

采用基于UML的面向对象分析方法对开放教育排课系统进行建模设计,利用UML用例图和类图描述系统需求与系统架构。通过系统UML建模,进一步确定开放教育排课系统各功能实现的方法与技术,有效保证系统开发的质量和效率。     

UML建模机制及其应用

文中以一个求职就业网站为背景，探讨了利用统一建模语言（UML）进行面向对象分析及面向对象设计，并对系统进行了功能建模，静态建模和动态建模，此建模语言能够形成统一的，标准的各种视图，如用例图，类图，状态图等，解决了领域专家。软件设计人员和客户之间交流的难题。     

基于UML的汽车制造工艺信息系统分析与建模

为实现汽车制造企业工艺信息网络化管理和车间生产集成化管理协同作业,采用统一建模语言UML对汽车制造工艺信息系统进行分析与建模,针对某制造企业生产实际的工艺工作流程,找出主要用例,确定系统边界,建立其活动图、分析类、顺序图,并给出建模步骤,对其进行总结和评价。     

基于MDD的住宅报警系统开发模型分析*

应用 MDD方法,提出了住宅报警系统开发的模型分析方法,涉及开发过程中需求与分析2个阶段。功能性需求通过用例建模搭建。非功能性需求用自然语言文本表述。系统结构用 UML类图建模,系统行为通过状态图描述。建模实践说明,MDD方法是实时和并行控制系统模型分析的有效方法。     

基于UML的城市公交评价系统建模

以开发城市公交评价系统为例,使用UML进行系统分析建模,以RUP软件开发思想为指导,提出城市公交评价系统的总体框架,论述了使用UML中的类图、用例图、时序图等构建公交评价系统的方法。     

基于UML的多视图集成建模方法

智能交通系统设计需要系统化的建模设计方法。提出了基于统一建模语言(UML)的多视图集成建模方法,应用交通管理信息平台设计中的典型例子,阐述了多视图集成建模过程。在系统设计过程中,对组织、功能和过程视图的描述是紧密交叉并行的,然后用信息视图全局性地描述功能和过程视图中的信息对象,用资源视图全局性地描述其他各个视图中的物理实体。实际应用表明了多视图集成建模方法的必要性,该方法可以有效地支撑智能交通系统设计过程的建模活动和文档组织。     

统一建模语言--UML

随着系统复杂性的增加，好的建模技术的重要性也同样提高。项目成功有许多其它因素，但拥有严谨的建模语言标准是其中的一个重要因素。UML就是对这些诸多需求所作出的一种反映，它是一种可供构建面向对象和基于组件的系统所选择的可视化的建模语言，它定义准确并容易被人们接受。本文主要介绍UML的基本概念和主要表现形式。     

UML Galaxy Diagram： An Approach of Conceptual Data Integration for OLAP

IntroductionWith the development of contemporary elec-tronic commerce,the multidimensional data analy-sis for On-Line Analytical Processing(OLAP)onthe web makes it necessary to integrate various da-ta sources such as Extensible Markup Language(XML)data and relational data on the conceptuallevel.XML is quickly becoming the new standardfor data representation and exchange on the WorldWide Web[1].At present,the most widespreadconceptual model is the Unified Modeling Lan-guage(UML)which …     

基于UML的在线考试系统的设计与实现

采用UML建模技术对系统进行了需求分析与设计,给出了系统的主要用例图、顺序图、状态图。系统基于B/S架构、采用MVC模式和JSP+Oracle数据库技术,实现了在线考试和在线进行模拟测试,极大的降低了教师的工作量和人工阅卷的出错率,提高了工作效率。     

MDA和UML的比较研究

模型驱动架构MDA是OMG提出的一种对业务逻辑建立抽象模型,然后从抽象模型自动产生最终的完备的应用程序的方法论.统一建模语言UML是一个开放的、可扩展的工业标准的可视化建模语言.本文首先介绍了二者的基本概念和特点,然后从基本概念、理论体系、实现方式、输出结果、模型形态等多个角度对MDA和UML进行了比较,并总结了它们之间的区别和联系.     

MDA和UML的比较研究

模型驱动架构MDA是OMG提出的一种对业务逻辑建立抽象模型,然后从抽象模型自动产生最终的完备的应用程序的方法论.统一建模语言UML是一个开放的、可扩展的工业标准的可视化建模语言.本文首先介绍了二者的基本概念和特点,然后从基本概念、理论体系、实现方式、输出结果、模型形态等多个角度对MDA和UML进行了比较,并总结了它们之间的区别和联系.     

Research on metamodels consistency verification based on formalization of domain-specific metamodeling language

Domain-specific metamodeling language (DSMML) defined by informal method cannot strictly represent its structural semantics, so its properties such as consistency cannot be holistically and systematically verified. In response, the paper proposes a formal representation of the structural semantics of DSMML named extensible markup language (XML) based metamodeling language (XMML) and its metamodels consistency verification method. Firstly, we describe our approach of formalization, based on this, the method of consistency verification of XMML and its metamodels based on first-order logical inference is presented; then, the formalization automatic mapping engine for metamodels is designed to show the feasibility of our formal method.     

车站联锁系统行为验证与数据确认的形式化方法

车站联锁系统是一种典型的基于数据驱动的安全苛求系统,开发过程中需要对系统行为进行验证并需确认数据的正确性. 为此,通过分析联锁系统的设计规范,基于RODIN平台并使用Event-B语言,辅助使用UML （unified modeling language）图工具快速建立系统的初始模型,以自动生成模型文件并描述出各系统属性与事件流程;基于精化策略分层建模,对各层模型的证明义务进行定理证明,验证了系统的各项属性,得出可靠的通用功能模型;基于实例车站,对模型的公理进行了验证,同时实现了对联锁数据的确认;通过形式化验证过程,结合给定场景联锁数据的有效性确认,发现并纠正系统需求及分析过程中造成的潜在行为缺陷;通过功能仿真与验收测试,进一步确认了通用模型与联锁数据的正确性. 结果表明:本文方法提高了基于模型开发过程的准确性与层次性,验证了系统通用行为状态,且结合公理验证,实现了联锁数据的确认,并能基于模型进行功能场景仿真与测试,从而可进一步提高系统通用功能原型的可靠性.