工作流组织资源建模及其形式化配置方法

提出了基于统一建模语言(UML)和多色集合(PS)的工作流组织资源模型及其形式化配置方法,建立了包含部门和工作组的工作流组织资源UML类图模型.结合制造企业的工作流过程,对通用的组织资源UML类图模型进行了实例化,建立了工作流组织资源的UML对象图模型.基于PS理论,对工作流组织资源的类图模型和对象图模型进行了形式化描述,建立了工作流组织资源的PS层次结构模型.通过对PS围道矩阵的递阶推理,完成了工作流过程活动的形式化资源配置,并将其表示为多色集合中体的形式,从而实现了制造企业工作流组织资源模型与工作流过程模型的良好连接.     

基于UML2.0活动图的工作流模型研究

总结了UML 2．0活动图新特性,定义了一个基于UML 2．0活动图的工作流模型的形式化描述方法,并提出其基本控制流模式和建模规则．最后用一个应用实例来演示基于UML2．0活动图的工作流模型。     

基于多色集合的数控机床故障诊断模型构建与推理方法

数控机床故障具有层次性和相关性等复杂特点,构建形式化的数控机床故障诊断模型并推理出故障原因,是进行故障诊断的重要过程。本文基于多色集合理论,提出数控机床故障诊断形式化结构模型的构建与推理方法。在阐述多色集合基本概念的基础上,构建了基于多色集合的数控机床故障诊断层次结构模型;利用多色集合的元素、个人颜色、统一颜色以及布尔矩阵,从横向和纵向两个方向对该模型进行了形式化描述;给出了数据机床故障诊断模型的推理算法流程,实现了自顶向下的自动推理。最后以刀架系统故障诊断建模与推理过程为例,验证了所提理论和方法的正确性和有效性。     

基于多色集合的工作流建模及路径求取算法

描述了工作流基本节点的出入度及连通性质，并根据这些性质提出了工作流基本节点的多色集合表示方法．在这种表示方法的基础上提出了基于多色集合理论的工作流建模步骤，并给出了工作流路径求取算法．最后，以模具制造工作流过程为例，根据基于多色集合理论的工作流建模理论提出的步骤和算法，建立了模具制造流程的多色集合功能围道矩阵，给出了节点的布尔矩阵，并得出了表示模具制造过程中所有可能的流程路径．采取基于多色集合理论的工作流建模理论，用计算机可以正确、便捷地求取复杂系统的工作流程路径，算法简单且易于编程实现．     

基于多色集合理论的概念设计形式化解决方法

应用多色集合理论的个人颜色、统一颜色和递阶结构树建立了产品的概念设计递阶结构信息模型，分析了概念设计产品信息模型中的三类约束关系，并用统一颜色和元素个人颜色之间的的模块布尔矩阵对这些约束关系进行了形式化描述．提出了产品概念设计推理过程的形式化方法，实现了从产品功能需求到方案元表示的可行方案的推理过程，并把推理结果提供给下层设计进行优选和评估．最后，以隔振系统的概念设计为例验证了该方法．研究结果表明，该方法可以快速地对产品概念设计进行信息建模，为知识创新提供了一个全新的思路。     

基于多色图理论的产品配置模型寻优及其系统

为了更准确地建立复杂产品结构之间的配置关系,提出了一种新的基于多色图理论的产品结构配置模型,给出了其数学模型,并应用改进蚁群算法对该模型进行了最优求解,最后基于该模型开发了产品配置管理的原型系统.结果表明,基于多色图理论的产品配置模型能够对复杂产品结构之间的配置信息、产品属性、装配关系等进行准确描述;同时,原型系统的开发让复杂产品设计并行化成为可能,为用户进行设计协作开辟了一条新的途径.     

基于多色集合理论的协同设计版本管理模型

针对协同设计过程中多级版本管理的需求,提出一种基于多色集合理论的版本关系管理模型.介绍了多色集合和多色图的概念和方法,利用多色集合的元素表示零部件及其版本,用统一颜色表示设计对象的整体属性,用个人颜色表示设计对象组成元素及其版本的属性信息,建立了基于多色集合理论的版本关系模型.以涡轮叶片设计的多级版本为例,给出了设计过程中版本结构信息、版本属性及版本关系属性信息的布尔矩阵表达方法.该模型不仅能方便地描述协同设计过程中的版本变更历史,还可用于表达不同配置版本之间的约束关系,且易于扩充,便于计算机编程.     

UML视图的一种形式化模型及其分析

UML是一种得到广泛应用的系统建模语言，但是由于它缺乏形式化语义和严格的推理机制，从而影响了系统建模的准确性和开发效率。TCOZ是一种将Object—Z和TCSP相结合的形式化语言，具有丰富的建模能力。基于TCOZ，本文建立了UML视图的一种形式化模型，对类图和协作图等提出了转换规则，使得TCOZ中的推理可用于分析UML视图。通过某学校信息系统的实例，阐述了UML视图的形式化建模方法和分析技术。     

一个工作流元模型的描述方法

论述了工作流元模型的三维性,在采用UML2.0活动图的新特性后,提出了一个基于UML2.0活动图的工作流模型,定义了此模型的形式化和非形式化描述方法,并指出了其建模规则,为探询UML2.0活动图在工作流模型描述方法中应用做了初步尝试.     

基于多色集合的贝叶斯诊断网络构造方法研究

为了解决贝叶斯诊断网络知识表达不一致的问题，构建了故障模式和物理组件之间的映射框架，并提出了一种基于结构分解的层级式多重故障结构模型．引入多色集合理论，对这种结构模型的底层框架进行形式化描述，使得模型便于计算机表达和操作．通过对多色集合的推理矩阵进行迭代搜索实现贝叶斯诊断网络（BDN）自动生成，并给出了具体的推理步骤．以汽轮机设备为例对提出的方法进行了有效性验证，结果表明该方法有助于BDN知识表达的规范化和构造过程自动化程度的提高．     

UML建模技术在实验管理系统中的应用研究

统一建模语言UML是面向对象分析和设计过程中重要的建模工具。以实验管理系统的开发为背景,介绍基于UML的分析和建模过程,其中对UML中的用例图、顺序图进行了深入研究。     

基于UML的Web应用软件的设计与实现

针对现有UML建模工具对Web应用程序设计支持不够理想的问题,提出了Web设计面向对象化的方法,抽象出Web应用程序中结构相似的、功能相近的可复用的内容.通过绘制UML示图进行Web软件结构、流程和数据建模,生成软件代码以及数据库结构的解决方案,并结合自己开发的UML建模软件工具WebBuilder阐述了用UML图设计Web应用程序的对象模型和功能模型,由此生成软件实例的方法.     

基于UML的工作流建模研究

统一建模语言UML是面向对象分析和设计过程中的重要的建模工具.文章在介绍UML的基础上,以公文流转系统为背景,使用UML进行过程建模,分析了UML图与系统开发生命周期各阶段的对应关系,讨论了UML的建模机制和建模过程.     

Modeling Workflow Using UML Activity Diagram

An enterprise can improve its adaptabihty in the changing market by means of workflow teclmolo-gies. In the build time, the main function of Workflow Management System (WFMS) is to model business process. Workflow model is an abstract representation of the real-world business process. The Unified Modeling language (UML) activity diagram is an important visual process modehng language proposed by the Object Management Group (OMG). The novelty of this paper is representing workflow model by means of UML activity diagram. A translation from UML activity diagram to π-calculus is established.Using π-calculus, the deadlock property of workflow is analyzed.     

Role modeling: A modeling method for software pattern at knowledge level

Based on dominant degree of role model among the viewpoints for object oriented modeling process, it dissertates that role modeling is a modeling method for software pattern at knowledge level. After giving some examples for modeling design pattern and analysis pattern at knowledge level using role model, it presents a process for refining design pattern from role model to class model and event trace diagram of UML. In this paper, we advocate the opinion, that role modeling before object modeling of UML.     

产品设计过程建模及重组

产品设计过程是一项复杂的系统工程，是多种知识的有效集成和耦合．文中在综合分析目前设计过程建模技术的基础上，提出了基于扩展有向图和模糊设计结构矩阵的信息建模方法，对活动间的信息依赖进行了定量表示，通过对设计活动进行分解、撕裂和级别划分．实现了设计过程的优化重组．进而对耦合活动间的信息相关程度进行模糊排序，指导耦合活动的分解，并给出了算法流程．最后以冲裁模具设计过程为例，验证了上述方法的有效性和实用性．     

基于UML活动图的动态工作流过程建模的研究

在形式语义的支持下,提出了一种适合动态工作流过程建模的方法.该方法在扩展UML活动图的基础上给出了一种建模机制,利用扩展的UML活动图来对动态工作流的过程进行建模.最后,将该方法用于一个汽车企业产品研发的过程建模实例,且建模结果证明该方法是适合的.说明了基于扩展的UML活动图的工作流过程建模方法对动态工作流过程建模的有效性.     

UML在面向对象的关系数据库中的应用

文章分析了UML建模和关系数据库设计的关系;说明了应用UML进行关系数据库设计的优点和基本过程;结合实例给出由UML类图映射到关系数据库的基本策略,从而实现对象的持久性存储。     

基于UML的静态类图和ALSD实现建模与编码的统一的方法

统一建模语言UML(Unify Modeling Language)是面向对象软件建模的国际标准，但是UML中缺乏对过程的可视化静态建模部分。抽象逻辑结构图ALSD(Abstract Logical Structure Diagrams)是过程建模的有效表示工具。本文以程序代码的生成为目标，以UML的静态类图和ALSD为基础，结合UML的静态类图与ALSD，探讨了有关的代码生成机制，设计和实现了一个软件开发环境。它填补了类图中方法的可视化描述，实现建模和编码的有机统一，使整个程序的设计完全可视化。     

基于UML的高校选课系统优化分析

为解决选课管理系统中安全性低和信息拥堵的问题, 运用UML（Unified Modeling Language）建模方法, 结合网上选课的主要流程和系统用户实际需求, 通过Rational Rose 2003对高校选课系统进行了优化分析和设计, 并以此构建了系统的用例图、 类图、 活动图、 序列图、 组件图和部署图。UML建模应用表明, 该方法产生的模型易于理解, 便于系统修改与升级, 取得了很好的开发效果, 从而克服了传统方法可扩充性低的问题。