UML可视化建模工具中模型一致性检查机制的研究与实现

采用统一建模语言UML进行系统建模的过程中 ,模型一致性的建立和维护是正确建模的必要前提。但单靠人工检查的方式来保证模型的正确性 ,不仅给开发人员造成很大负担 ,而且容易出现差错或遗漏。因此 ,在UML可视化建模工具中提供模型一致性自动检测和维护机制至关重要。本文对UML主要模型图之间的关系进行了分析 ,识别出这些图之间的一些基本的一致性规则 ;在此基础上 ,提出了UML可视化建模工具中模型一致性检查机制的实施框架 ,并对实现该框架的主要思路进行了详细介绍。

一个可配置的可视化建模工具

可视化建模语言是采用图形方式对系统/软件进行描述的语言,可视化建模工具为其提供了开发环境。不同的建模工具存在的共性,使得开发一种通用的可配置的可视化建模工具成为可能。基于理论研究和工具开发的实践经验,提出定义了一套支持静态语义的可视化建模语言描述方法,并且设计实现了一个从语义、语法、图形到编辑器界面可配置的可视化建模工具。

面向主体的开发方法和可视化建模工具

This paper introduces an agent-oriented methodology and modeling tools based on MAGE. The methodology supports analysis, desing and implimentation of multi-agent systems. The modeling tools assist the developer in building multi-agent systems using the methodology through a set of visual model editors.

基于UML可视化建模工具的研制

针对目前国内建模工具缺乏的现状,从当前软件工程的需求出发,基于统一建模语言UML研制了可视化建模工具,提出了系统总体框架和系统实现的功能,对系统开发过程中遇到的主要技术问题及解决方法进行了详细阐述.

基于TRICHOTOMY模型的可视化建模工具软件测试实例

本文通过总结大量的实例测试,提出了基于TRICHOTOMY模型的可视化建模系统测试方法。对于该方法,文中主要介绍了其在可视化建模工具软件测试中的实例应用。同时为了展示测试的过程与结果,文中给出了两例具体的应用测试图示。

基于语义验证的可视化BPR建模工具

为满足业务流程重组领域的需求变化,重组业务流程需要可验证需求语义特征的建模方法与工具支持,从而为提高执行重组业务流程应用软件的系统支撑平台可信性奠定需求语义验证方面的关键技术基础。针对该问题,研究并提出一种BPR框架下可出具验证的可视化建模工具。该工具在具备基本的可视化业务流程建模功能基础上,可通过与随机Pe-tri Net性能计算工具协同计算,从可覆盖性等角度验证流程属性满足需求语义的合法性。实验结果证明,该工具可提高重组业务流程的正确性和开发效率。

基于广义随机Petri网的可视化建模与仿真工具

为了满足Petri网理论的应用研究的需要,首先给出了层次对象广义随机Petri网模型的定义,并运用面向对象方法设计和开发了基于层次对象广义随机Petri网的可视化建模和仿真工具软件,详细介绍了该软件工具的设计方法,包括功能结构图、网模型对象类图和符合可扩展标记语言规范的中性文件格式存储模型数据结构。最后通过实例说明了该工具应用的有效性。

面向模式的分布式软件构架可视化建模

主要阐述了面向模式的分布式软件构架的概念、原理和常用构架模式的特点。重点研究了提出的面向模式的软件构架建模语言、可视化建模工具的设计原理、功能及特点等,并以一个具体应用实例展示了该建模工具的实用性。

统一建模语言UML及其支持工具

介绍了 UML( Unified Modeling Language)的主要内容及特点 ,讨论了支持它的几种可视化建模工具 Microsoft Visual Modeler、Visual UML、以及 Rational

一种Petri网层次模型建模工具的设计与实现

为解决使用Petri网建模遇到的状态空间爆炸问题,提出使用层次模型,采用分层细化逐步求精的方法建立Petri网分层模型。设计并实现基于图形用户界面的普通边界为1的Petri网分层建模工具软件。用户在交互方式下建立Petri网层次模型,并可修改、删除、存储、分层平面化、简单功能模拟、导入和导出可复用Petri子网和将模型翻译为预定义的模型描述语言源程序。

Smallworld平台上GE配电网设备的数据建模

介绍了基于Smallworld的GE园区设备资产空间管理系统配电网电力设备的GIS设备对象的建模方法,结合面向对象思想与可视化建模工具(Case Tool),描述了GE园区设备资产空间管理系统配电网电力设备GIS数据建模的具体过程,实现了网络拓扑追踪.

基于Smallworld的配电网GIS数据建模

本文介绍了基于Smallworld的配电网GIS对设备对象的建模方法,结合面向对象思想与可视化建模工具(CaseTool),描述了杭州市配电GIS数据建模的具体过程。

可视化REST服务组合框架的设计与实现

应用SOA是构建松散耦合服务组合系统的有效途径.近年来,REST架构由于具有轻量级并且易于服务访问等优秀特性,迅速成为一种实现SOA的主流方式.为了对可视化服务组合进行研究,提出一种可视化REST服务组合框架,该框架由服务开放平台OKApi和可视化服务组合建模工具OKApi Studio两部分组成.提出一种统一的服务模型,使得服务具有更加完整的语义.该框架的目标是提供高效可靠的服务开放平台,开发者基于该平台可以更加高效和便捷地进行服务组合.为了验证系统的有效性,以出差案例作为服务组合实例进行了测试,取得了极佳的效果.

可视化结构建模工具在企业制造模式选择中的应用

企业制造模式对企业的生存与发展具有重要的意义。首先论述了迄今为止几种主要企业制造模式的特点 ,然后基于对可视化结构建模工具特点的分析 ,举例说明了可视化结构建模工具在企业进行制造模式选择过程中的应用。

基于UML的自动排课系统的需求分析

UML是建立系统模型和分析业务处理流程的强有力的可视化建模工具。文中探讨了基于UML的系统需求分析的方法,并用此方法对<<基于并行处理机调度算法思想的高校智能排课系统>>进行了需求分析。实践表明:与传统的以文字说明方式的需求分析方法相比,用UML进行需求分析具有良好的优越性。

使用Visual Basic和UML研制开发煤矿安全管理信息系统

UML作为软件工程领域的标准建模语言 ,在面向对象的软件开发过程中 ,为软件实现提供了一致模型 ,大大加快了开发进度。文中通过实例描述 UML的结构和组成元素 ,结合建模工具 Rational Rose讲述了 UML建模的过程 ,并使用

由序列图合成状态图

序列图和状态图对于描述和理解面向对象软件系统有着极其重要的作用。符合UML标准的序列图和状态图存在信息重叠,根据序列图提供的信息可以合成状态图。给出了在Rational Rose中由序列图合成状态图工具的实现。

使用Rational Rose进行基于J2EE体系结构的面向对象程序设计

本文首先介绍了基于UML的可视化建模工具——Rational Rose及J2EE体系结构,然后结合项目经验介绍使用Rational Rose和MVC设计模式进行基于J2EE体系结构的面向对象程序设计。

基于SOA的勘察设计企业项目协同管理的应用研究

本文通过对勘察设计企业项目管理信息化建设过程的应用研究,阐述了系统平台、项目协同管理存在的问题及相应应用模式,旨在探讨协同的有效性。

基于ECA-SOA的勘察设计企业经营管理的应用研究

本文通过对勘察设计企业信息化建设过程的应用研究,阐述了业务架构和系统集成平台、经营管理存在的问题及相应应用模式,旨在探讨设计院信息化平台下经营管理的有效性。