基于时间扩展UML活动图的工作流过程建模方法
来源：计算机集成制造系统杂志2014年第7期北京时间：
作者：蔡敏,卢佩
单位：杭州电子科技大学管理学院工业工程与管理研究所
摘要：为了严格管理与控制业务流程中的时间,对统一建模语言活动图进行了时间约束的扩展,充分考虑活动中资源的到来时间、资源有效时间、活动延迟时间、跃迁有效时间、延迟时间和活动截止时间共六种时间因素,建立基于时间统一建模语言活动图的工作流过程模型,并给予语义形式描述,增强了时间管理的全面性。鉴于时间复杂性,提出基于等待状态事件触发活动转移路由,解决了循环活动事件时间计算的问题。为了检验该方法的正确性、有效性和时间一致性,对Petri网时间验证方法进行了改进。通过对实例建模,验证了所提方法的合理性。
关键词：统一建模语言活动图,时间约束,工作流过程模型,语义描述,路由结构,模型验证
基金资助：国防基础科研计划资助项目(A3920110001)。
