共查询到18条相似文献,搜索用时 46 毫秒
1.
《计算机集成制造系统》2014,(7)
为了严格管理与控制业务流程中的时间,对统一建模语言活动图进行了时间约束的扩展,充分考虑活动中资源的到来时间、资源有效时间、活动延迟时间、跃迁有效时间、延迟时间和活动截止时间共六种时间因素,建立基于时间统一建模语言活动图的工作流过程模型,并给予语义形式描述,增强了时间管理的全面性。鉴于时间复杂性,提出基于等待状态事件触发活动转移路由,解决了循环活动事件时间计算的问题。为了检验该方法的正确性、有效性和时间一致性,对Petri网时间验证方法进行了改进。通过对实例建模,验证了所提方法的合理性。 相似文献
2.
3.
一种工作流过程模型到工作流网的转换方法 总被引:2,自引:1,他引:1
为了便于非专业人员的工作流建模操作,利用Petri网现有的分析计算方法进行工作流模型的正确性分析和系统性能计算,给出了基于统一建模语言活动图的工作流过程模型建模方法,讨论了统一建模语言活动图到工作流网的转换方法,包括:非对象节点的转换、控制流边的转换、对象节点及对象流边的转换等。结合民航机场地面信息系统实例,对转换结果进行了分析。 相似文献
4.
基于统一建模语言和多色集合理论的工作流建模方法研究 总被引:2,自引:0,他引:2
在分析了统一建模语言和多色集合理论两种工作流建模方法优缺点的基础上,提出了基于统一建模语言和多色集合理论的工作流建模方法。将活动节点的两两组合作为多色集合的元素,将节点间的连接关系作为多色集合的围道,由此建立了从统一建模语言活动图到多色集合围道矩阵模型的转换机制,给出了工作流过程模型的路径求取算法。以企业备件采购申请过程为例,应用以上理论和方法,定量评价了工作流执行效率,从而重组和优化了该工作流过程。 相似文献
5.
为了在工作流实施之前对工作流进行形式化建模与验证,首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后,提出一种带数据工作流的形式化建模语言——数据感知的工作流网,并给出其行为语义。通过工作流网模型的合理性分析/一致性分析方法的提出和方法的工具实现,证明了数据感知的工作流网具有较强的形式化建模能力。 相似文献
6.
基于Web工作流的质量控制系统模型的研究 总被引:6,自引:2,他引:4
针对传统工作流对动态联盟企业分布式异构环境支持不足和难以标准化的缺陷,采用Web Services技术建立了支持动态联盟企业协同的Web工作流模型,研究了模型的体系结构、基于WSFL的工作流元模型描述,以及任务分解策略与协调控制机制。在此基础上设计了面向制造过程的质量控制系统模型,对系统与平台的集成策略、质量信息的统一表示等技术加以研究,可以满足联盟企业的跨平台系统重组、协调、信息交互和质量控制等要求。最后,以卫星的合作生产实例验证了模型的有效性。 相似文献
7.
8.
孙军艳 《机械制造与自动化》2010,40(3):117-120
利用UML活动图和Petri网建模的互补性,提出了综合运用两种方法进行工作流建模和仿真优化,并通过实例分析验证了该方法的可行性与有效性。该方法从最基本的角度刻画整个业务过程,实现了业务过程重组与优化,有效地解决了工作流的柔性问题。 相似文献
9.
基于UML的ASP业务过程建模 总被引:1,自引:0,他引:1
传统业务过程模型主要应用在企业建模领域内,是企业内部业务规则和过程的静态描述,不适合表达动态变化的跨企业分布式的应用服务提供商业务过程。将面向对象技术的统一建模语言方法应用到应用服务提供商业务过程建模中,建立起跨越多个企业的应用服务提供商业务过程模型,以此为基础开发了一套基于应用服务提供商平台的分布式业务过程管理系统。经验证,该模型能有效地描述和管理应用服务提供商业务过程中的复杂业务规则和数据,体现了应用服务提供商业务过程的开放式、可重组和业务数据挖掘能力。 相似文献
10.
基于扩展UML的虚拟企业多Agent协作建模研究 总被引:1,自引:0,他引:1
通过对UML消息的图形扩展和语义扩展,构建基于合同网的多Agent协作机制,利用UML圈实现了虚拟企业任务分配的多Agent协作建模,该模型具有形象化、易于理解等优点。 相似文献
11.
12.
本文对电梯的运行过程及状态进行详细的分析,并使用UML面向对象建模语言分析、设计,实现了电梯控制系统的静态建模。 相似文献
13.
14.
《计算机集成制造系统》2015,(10)
针对飞机装配过程复杂、装配线平衡分析困难的问题,提出一种面向对象分层赋时Petri网模型用于飞机装配线建模,并在该模型的基础上提出一种最小化装配线站位数目的启发式方法;结合飞机实际装配的特点论述了该模型的定义规则和构建方法,应用该模型中信息关系传递网的关联矩阵和系统标识的运行规则,论述了飞机装配中将大纲任务到各装配站位最优化分配的启发式方法的具体实现。以某型飞机平尾装配数据为例,应用所提建模理论建立了相应的装配模型,采用基于该模型的启发式方法求解后得到了该平尾装配线站位分配的最优解。实例分析结果证明,所提模型和站位优化平衡方法对指导飞机装配线构建具有较大的应用价值。 相似文献
15.
基于着色Petri网的工作流建模和合理性分析 总被引:13,自引:2,他引:11
针对工作流模型表达能力较差,以及合理性不容易验证的问题,将工作流管理联盟定义的工作流模型映射为工作流网络。通过应用统一的资源管理器和引入着色Petri网,得到着色工作流网模型,这种模型更简单、更容易计算机化。在定义并证明两种不会破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网,使所有工作流模型的合理性问题都可以在多项式时间里得到解决。 相似文献
16.
GuanJun Liu ChangJun Jiang LiJing Chen ZheHui Wu 《The International Journal of Advanced Manufacturing Technology》2009,45(5-6):573-582
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. 相似文献
17.
18.
针对业务过程模型语义表达能力不足、难以实现精确描述和计算机识别等问题,提出一种基于本体活动的业务模型及将其映射为平台无关模型的方法.定义了组成业务模型的基元--本体活动,以及业务模型的组成、关系和模型的相关度等概念,进而阐述了模型构成的层次结构.通过在过程和对象间引入活动,实现了模型的半结构化表示,并阐述了本体活动的识别及优化算法.提出以本体活动为媒介的模型分解方法,将业务模型到平台无关模型的多对多映射关系转化为两个层次的一对多关系,基于给出的映射定义,探讨了映射的步骤及一般性规则. 相似文献