基于时间扩展UML活动图的工作流过程建模方法

为了严格管理与控制业务流程中的时间,对统一建模语言活动图进行了时间约束的扩展,充分考虑活动中资源的到来时间、资源有效时间、活动延迟时间、跃迁有效时间、延迟时间和活动截止时间共六种时间因素,建立基于时间统一建模语言活动图的工作流过程模型,并给予语义形式描述,增强了时间管理的全面性。鉴于时间复杂性,提出基于等待状态事件触发活动转移路由,解决了循环活动事件时间计算的问题。为了检验该方法的正确性、有效性和时间一致性,对Petri网时间验证方法进行了改进。通过对实例建模,验证了所提方法的合理性。     

基于UML的ATML建模方法研究

通过对ATML、XML语言和UML的分析,给出了XML Schema与UML类的映射关系。针对自动测试系统信息描述中基于XML Schema的建模本身缺乏真正高效的方法,利用面向对象的建模语言UML与XML Schema的映射关系。给出了基于UML的ATML建模方法,最后以描述仪器和测试站各个通道的能力类为例具体实现了建模。     

一种工作流过程模型到工作流网的转换方法

为了便于非专业人员的工作流建模操作,利用Petri网现有的分析计算方法进行工作流模型的正确性分析和系统性能计算,给出了基于统一建模语言活动图的工作流过程模型建模方法,讨论了统一建模语言活动图到工作流网的转换方法,包括：非对象节点的转换、控制流边的转换、对象节点及对象流边的转换等。结合民航机场地面信息系统实例,对转换结果进行了分析。     

基于统一建模语言和多色集合理论的工作流建模方法研究

在分析了统一建模语言和多色集合理论两种工作流建模方法优缺点的基础上,提出了基于统一建模语言和多色集合理论的工作流建模方法。将活动节点的两两组合作为多色集合的元素,将节点间的连接关系作为多色集合的围道,由此建立了从统一建模语言活动图到多色集合围道矩阵模型的转换机制,给出了工作流过程模型的路径求取算法。以企业备件采购申请过程为例,应用以上理论和方法,定量评价了工作流执行效率,从而重组和优化了该工作流过程。     

带数据工作流的形式化建模语言——数据感知的工作流网

为了在工作流实施之前对工作流进行形式化建模与验证,首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后,提出一种带数据工作流的形式化建模语言——数据感知的工作流网,并给出其行为语义。通过工作流网模型的合理性分析／一致性分析方法的提出和方法的工具实现,证明了数据感知的工作流网具有较强的形式化建模能力。     

基于Web工作流的质量控制系统模型的研究

针对传统工作流对动态联盟企业分布式异构环境支持不足和难以标准化的缺陷,采用Web Services技术建立了支持动态联盟企业协同的Web工作流模型,研究了模型的体系结构、基于WSFL的工作流元模型描述,以及任务分解策略与协调控制机制。在此基础上设计了面向制造过程的质量控制系统模型,对系统与平台的集成策略、质量信息的统一表示等技术加以研究,可以满足联盟企业的跨平台系统重组、协调、信息交互和质量控制等要求。最后,以卫星的合作生产实例验证了模型的有效性。     

基于活动网络图的面向扩展的工作流过程模型

工作流过程模型对企业业务过程进行抽象表示,作为工作流模型的核心,它已成为当前工作流建模研究的重点。为了解决现有活动网络图建模方法对状态和条件描述能力差的问题,在模型中增加了条件约束,引进了"状态"和"条件",提出了一种基于活动网络图的面向扩展的工作流过程模型。研究结果表明,这种模型在提高模型描述能力、降低模型复杂性、提高系统柔性及适应性方面有明显优点,对于设计开发高可靠性、柔性和适应性的工作流管理系统具有重要的应用价值。     

基于UML和Petri网的工作流建模与优化研究

利用UML活动图和Petri网建模的互补性,提出了综合运用两种方法进行工作流建模和仿真优化,并通过实例分析验证了该方法的可行性与有效性。该方法从最基本的角度刻画整个业务过程,实现了业务过程重组与优化,有效地解决了工作流的柔性问题。     

基于UML的ASP业务过程建模

传统业务过程模型主要应用在企业建模领域内,是企业内部业务规则和过程的静态描述,不适合表达动态变化的跨企业分布式的应用服务提供商业务过程。将面向对象技术的统一建模语言方法应用到应用服务提供商业务过程建模中,建立起跨越多个企业的应用服务提供商业务过程模型,以此为基础开发了一套基于应用服务提供商平台的分布式业务过程管理系统。经验证,该模型能有效地描述和管理应用服务提供商业务过程中的复杂业务规则和数据,体现了应用服务提供商业务过程的开放式、可重组和业务数据挖掘能力。     

基于扩展UML的虚拟企业多Agent协作建模研究

通过对UML消息的图形扩展和语义扩展，构建基于合同网的多Agent协作机制，利用UML圈实现了虚拟企业任务分配的多Agent协作建模，该模型具有形象化、易于理解等优点。     

符合XPDL规范的工作流系统设计与开发

分析了工作流在PDM系统中的作用,基于XPDL规范和元模型设计方法,进行工作流系统的设计和开发。通过设计合理的工作流引擎,元模型的定义,实现工作流模板定义、工作流引擎服务、流程启动界面、任务箱、流程监控等流程管理功能。最后通过案例介绍了工作流系统在实际中的应用。     

电梯控制系统UML面向对象建模

本文对电梯的运行过程及状态进行详细的分析,并使用UML面向对象建模语言分析、设计,实现了电梯控制系统的静态建模。     

UML和ICONIX在SAR图像融合平台建模中的应用

分析了SAR图像融合平台的基本功能,针对该系统的人机交互特性及其执行流程的复杂性,采用了一种基于UML和ICONIX过程的面向对象分析与设计方法对该系统进行建模.首先对系统功能进行分析,然后结合图像融合用例,具体阐述UML在分析系统域模型、用例模型、健壮性及顺序图中的应用.结果表明,该方法对于快速、清晰地理解系统结构和对象交互过程是十分有效的.该系统的分析和建模过程对开发复杂图像处理软件具有一定的借鉴意义.     

基于扩展Petri网的飞机装配线建模及平衡方法

针对飞机装配过程复杂、装配线平衡分析困难的问题,提出一种面向对象分层赋时Petri网模型用于飞机装配线建模,并在该模型的基础上提出一种最小化装配线站位数目的启发式方法;结合飞机实际装配的特点论述了该模型的定义规则和构建方法,应用该模型中信息关系传递网的关联矩阵和系统标识的运行规则,论述了飞机装配中将大纲任务到各装配站位最优化分配的启发式方法的具体实现。以某型飞机平尾装配数据为例,应用所提建模理论建立了相应的装配模型,采用基于该模型的启发式方法求解后得到了该平尾装配线站位分配的最优解。实例分析结果证明,所提模型和站位优化平衡方法对指导飞机装配线构建具有较大的应用价值。     

基于着色Petri网的工作流建模和合理性分析

针对工作流模型表达能力较差,以及合理性不容易验证的问题,将工作流管理联盟定义的工作流模型映射为工作流网络。通过应用统一的资源管理器和引入着色Petri网,得到着色工作流网模型,这种模型更简单、更容易计算机化。在定义并证明两种不会破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网,使所有工作流模型的合理性问题都可以在多项式时间里得到解决。     

Two types of extended RSNBs and their application in modeling flexible manufacturing systems

In the former paper (Liu et al. Int J Adv Manuf Technol 41:66–74, 2009), a novel policy was proposed to prevent deadlocks in a class of flexible manufacturing systems (FMSs). This policy is based on the notion that each shared buffer is partitioned for storing different types of parts. Furthermore, A subclass of Petri nets, resource-shared net with buffers (RSNB), was defined to characterize this policy and model the controlled system. Two extensions of RSNB are defined in this paper. The first extension, which is called extended resource-shared net with buffers (ERSNB), permits the resources to be shared among different stages in one manufacturing process. The second extension, which is called resource-shared assembly net with buffers (RSANB), takes the assembly and choice operations into account. Both ERSNB and RSANB have a well property that each minimal siphon is exactly a minimal trap. It has been proven that an ERSNB or RSANB is live if and only if each minimal siphon is marked under the initial marking. Two well-known examples of FMSs are used to illustrate the proposed concepts and policy.     

柱销齿啮合分度凸轮机构及其动力学建模

介绍了柱销齿啮合分度凸轮机构的工作原理及利用大半圆孔约束的柱销齿分度盘的结构,该类机构的结构简单,可制造性好,能实现无侧隙啮合传动,适用于高速、轻载、高分度精度的场合。将柱销齿啮合分度凸轮机构简化为5自由度动力学系统,并建立了动力学微分方程。     

基于本体活动的业务建模及映射方法研究

针对业务过程模型语义表达能力不足、难以实现精确描述和计算机识别等问题,提出一种基于本体活动的业务模型及将其映射为平台无关模型的方法.定义了组成业务模型的基元--本体活动,以及业务模型的组成、关系和模型的相关度等概念,进而阐述了模型构成的层次结构.通过在过程和对象间引入活动,实现了模型的半结构化表示,并阐述了本体活动的识别及优化算法.提出以本体活动为媒介的模型分解方法,将业务模型到平台无关模型的多对多映射关系转化为两个层次的一对多关系,基于给出的映射定义,探讨了映射的步骤及一般性规则.