文献类型：期刊文章

作　　者：蔡敏[1] 卢佩[1]

机构地区：[1]杭州电子科技大学管理学院工业工程与管理研究所,浙江杭州310018

出　　处：《计算机集成制造系统》

基　　金：国防基础科研计划资助项目(A3920110001);supported by the National Defense Basic Research Program;China(No.A3920110001)

年　　份：2014

卷　　号：20

期　　号：7

起止页码：1758-1767

语　　种：中文

收录情况：AJ、BDHX、BDHX2011、CSA、CSA-PROQEUST、CSCD、CSCD2013_2014、EI、IC、INSPEC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

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

关 键 词：统一建模语言活动图  时间约束  工作流过程模型 语义描述 路由结构 模型验证  

分 类 号：TP311]