基于UML/ADL集成建模方法的集成计划模型研究

以集成供应链管理(ISCM)软件开发项目为研究背景，阐述UML与ADL集成建模方法在集成计划模型中的应用问题。首先用UML方法构建了一个集成计划系统的对象结构模型和行为模型，其中关键是提出了一个全新的计划集成构架，并引入了代理对象技术；进而重点讨论了基于ACME的集成计划软件构架设计问题，给出了一个可实现的构架模板；最后指明UML和ACME两种建模方法有效结合的实用价值。所提出的软件构架和集成建模方法论经工程验证是可行的，并取得了良好的应用效果。     

基于UML顺序图的Petri网建模

UML(统一建模语言)是一种功能较强的面向对象图形建模工具,但其过程描述中缺乏严格的语义,而Petri网不仅有形象直观的图形描述还有严格的数学定义。针对一个简单运输系统的建模将二者结合起来,阐述了UML类图、顺序图的Petri网建模转换方法,避免直接进行Petri网建模过程的烦琐,使建模过程清晰可见。     

基于UML的业务流程模型分析方法研究

基于UML的业务流程建模方法是业务流程建模领域中的一种重要方法,该文对基于UML的业务流程建模方法中的重要工具活动图进行形式化定义,给出了基于活动图的业务流程模型与工作流网之间的规范化转换方法,从而可以分析和检验基于UML的业务流程模型的静态和动态属性。     

基于对象着色Petri网的UML模型研究

UML广泛应用于软件建模,但缺乏有效的模型检测的方法,使用形式化方法对UML模型进行分析,可以发现UML模型的设计问题,提高UML模型的质量。对象着色Petri网是一种拥有接口库所的模块化着色Petri网,既是一种图形化建模工具,又是具有严格的语法语义定义的形式化方法。通过引入事件托肯,改进了将UML模型转换为对象着色Petri网的方法,结合实例将UML状态图和协作图映射为对象着色Petri网模型。并用着色Petri网的方法和工具对模型进行了分析,验证了模型的一系列性质。     

基于UML扩展的实时系统建模方法

UML是一种应用广泛的面向对象建模语言,但是在对实时系统的建模中,UML缺乏实时和并发特性的描述能力,运用UML的扩展机制,借鉴着色Petri网描述并发的思想,扩充了UML的模型元素,并在此基础上提出了一种并发图,用于描述实时系统任务间的动态并发行为。最后通过一个实例说明了该扩展的应用方法和有效性。     

基于UML和Petri网的铁路联锁软件建模

在异种嵌入式平台上,采用统一建模语言UML,可为铁路联锁软件建立平台无关模型,从而改进软件的开发和复用。UML适用于软件的静态结构和简单场景下的动态行为的建模。为保证其安全性,采用了Petri网作为补充,对复杂的动态行为和约束规则,在模型中加入了精确和严格的形式化描述。     

基于UML顺序图的Petri网建模

UEL（统一建模语言）是一种功能较强的面向对象图形建模工具，但其过程描述中缺乏严格的语义，而Petri网不仅有形象直观的图形描述还有严格的数学定义。针对一个简单运输系统的建模将二者结合起来，阐述了UML类图、顺序图的Petri网建模转换方法，避免直接进行Petri网建模过程的烦琐，使建模过程清晰可见。     

基于UML活动图和Petri网电子政务工作流建模研究

通过对电子政务系统中投诉管理子系统的描述,提出了一种基于UML活动图与Petri网的电子政务工作流建模方法。该方法具有完全图形化的表示和坚实的数学基础,是一种工作流建模和分析的理想工具。在建立电子政务工作流模型的基础上,对该方法进行了正确性论证,表明该方法对电子政务系统的实用性和有效性。     

UML在虚拟企业集成模型中的应用

建立虚拟企业集成模型是虚拟企业创建和运作的关键。在分析虚拟企业建模和其面临问题的基础上,提出使用面向对象的、可视化的统一建模语言UML,来为虚拟企业集成模型进行建模,并详细介绍了UML如何对虚拟企业集成模型各视图进行描述。最后,还提出了UML对虚拟企业建模的集成支持环境。     

UML建模技术在智能软件开发中的应用

结合一个农业气象应用系统,介绍了基于UML的建模技术在系统开发中的应用情况,并对相关的UML知识作了阐述。     

基于UML的连锁经营管理系统建模研究

连锁经营管理系统的目标是为连锁经营管理提供一个有效的平台，把企业总部和仓库、连锁分店连成统一，提高销售、办公和决策的效率。针对目前连锁经营管理系统适应能力和应变能力不强的现状，讨论了连锁经营管理系统建模过程中，使用UML语言进行系统建模的方法和步骤，并使用Microsoft Visio工具作为UML的集成建模环境。     

结合UML和Petri Net技术的工作流建模的研究

工作流输入和输出的质量是工作流管理系统成功的关键因素,因此对工作流的建模尤为重要。本文以汽车租赁流程为例,研究如何把UML和PetriNet两大工具结合起来对工作流进行建模和系统仿真的方法。UML能够有效地描述系统,但缺乏精确的语义描述;而PetriNet能对系统进行仿真和严密地分析,形式化程度较高。将两者结合,可实现优势互补,为改进模型、促进业务流程管理提供有效途径。     

UML／OOPN集成建模技术研究

文章探讨了可视化面向对象方法与对象Petri网（00PN）方法的集成建模问题。首先根据两种方法的互补性，阐述了UML／OOPN模型的语义定义、图符定义和形式定义；进而以电子支付领域应用为例，提出了UML／OOPN模型的转换与集成优化方法；最后给出了基于体系结构描述语言的软件构架模板。所提出的集成建模方法和研究模型在电子商务软件开发中取得了良好的效果。     

基于UML的组件建模研究

首先分析了目前组件开发中存在的一些缺陷和不足,然后提出了一种基于UML的组件建模方法,对组件建模过程进行了探讨,最后给出了一个文件网络传输组件(FTCN)建模实例。     

基于UML的WEB应用系统建模方法的研究

目前WEB应用的复杂性正日益增加。任何较复杂的系统都需要经过设计和建模,因此应该用基于模型的方法来开发WEB应用。文章介绍了一种用UML的扩展机制为WEB应用系统建模的方法,该方法在设计阶段使用,能用于各种WEB技术（如CGI、ASP和ISAPI等）。     

基于UML的在线交互教务管理系统建模

本文围绕在线交互教务管理系统的开发过程,利用统一建模语言(UML),从功能分析、静态模型设计、动态模型设计到物理模型设计,对复杂的在线交互教务管理系统进行建模,为在线交互教务管理系统的进一步开发提供技术支持。     

基于UML的EJB组件建模方法的研究

UML统一建模语言已受到工业界广泛的关注 ,但采用UML对分布式组件进行建模没有统一的标准。研究了一种如何使用UML的扩展机制为EJB组件建模的方法 ,使之更适合反映分布式处理。这一思想也适用于CORBA组件建模     

基于Petri网的信息系统集成项目管理模型研究

针对当前项目管理规划软件存在的缺陷,介绍了一个基于Petri网的信息系统集成项目管理模型(DSPM)的设计和实现机理。该模型利用知识库和工作流技术,很好地将项目过程管理与工作流系统集成起来,并且提出了一种有效的任务依赖关系管理模式,很好地解决了项目规划、调度、变更等关键问题。