基于统一建模语言和多色集合的并行设计过程研究

在分析现有并行设计过程建模研究的基础上，提出了一种基于统一建模语言（UML）和多色集合理论的并行设计过程建模与分析方法，分析了并行设计活动的连接形式、UML活动图的基本建模元素和基本模型结构．采用多色集合理论，将UML活动图节点间的连接关系和基本模型结构形式化，结合基于特征的零件和工艺并行设计过程，建立了UML活动图模型，从模型简化、路径求取和时间消耗等方面定量地分析了并行设计过程，实现了该模型到多色集合围道矩阵的映射．研究表明，该方法具有面向对象且易于被非专业人员理解和使用的特点，可以为产品设计过程建立形式化模型．通过对设计活动进行布尔运算和定量分析，发现了影响产品设计进程的关键环节，从而为并行设计的组织和实施提供了理论指导．     

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

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

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

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

基于UML的动态企业建模的研究与实现

应用扩充UML元模型定义企业建模,建立企业工作流视图、功能视图和信息视图．工作流建模,采用状态机(state machine)描述业务流程;功能建模,采用用例图(Use Case diagram)表达功能需求;信息建模,采用类图(class diagram)建立逻辑模型．建立了一个典型的离散型制造企业的企业模型,实现了相应的应用软件框架及动态企业建模在生产管理中的应用．     

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

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

基于矩阵理论的UML类图形式化描述与检测

针对UML缺少形式化语义,使得开发UML自动检测工具变得困难的问题,提出了一种基于矩阵理论的UML类图形式化描述和自动检测方法.首先,分别给出了基于二元关系和基于矩阵的类图形式化描述规则;然后,讨论了UML类图的自动检测;最后,用一个实例说明了该方法的有效性.实验结果表明:该方法可以对UML类图进行形式化描述,且可以通过数学方法找出模型中存在的错误.     

基于UML2.0的设备管理系统需求建模

采用基于UML2.0的用例图、活动图对设备管理系统进行业务建模.讨论了UML2.0对MIS系统业务建模的机制和特点,提出了针对中小型软件开发的需求分析方法,并给出了一个计算机设备管理系统实例.重点介绍如何使用UML2.0中的用例图和活动图对管理信息系统建立需求模型,首先分析机构组织特点,建立机构组织模型;然后提取机构的主要业务工作流,通过使用活动图建立企业工作流模型;最后根据活动图抽象出系统的执行者和用例,建立系统的用例图.并且给出了一个计算机设备管理系统需求建模实例.     

一种基于UML的动态企业建模的研究

研究了利用扩充UML元模型定义企业建模的方法.采用了UML中的相应方法建立起企业的工作流视图、组织视图和资源视图.以一个冶炼厂的生产管理系统为例,建立了一个典型的离散型制造企业的企业模型,并实现了相应的应用软件框架,从而实现了动态企业建模在生产管理中的应用.     

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

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

基于common logic的UML类图形式化及验证

统一建模语言(UML)是目前广泛使用的一种面向对象建模语言,其图形化,半形式化的特点,使其缺乏精确的语义描述,模型之间容易出现不一致问题,因此,UML类图的形式化问题尤为重要.common logic是一阶逻辑的一个特殊拓展,语法简洁,无符号,易读易掌握易使用,语义精确,满足一阶模型理论,相较于其它逻辑语言,更适合UML类图进行形式化规约.因此,提出采用common logic对UML类图进行形式化,得到形式化的语义规约,并对实例模型进行一致性验证.