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

Workflow process modeling based on UML activity diagram with extended timing constraint

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

To manage and control the timing problems in business process strictly, the Unified Modeling Language （UML） activity diagram was extended with timing constraint by fully considering six time factors of arriving time, resources available time, activity delaying time, transition available time, delaying time and activity deadline. A workflow process model was created based on time UML activity diagram, and the semantic description was given for enhancing the comprehensiveness of time management. In view of the time complexity, a routing structure was proposed based on a waiting state with event triggering, which solved time calculation problem of cycle activities. To verify the correctness, validity and time consistency of proposed model, the Petri net method with time validation was improved, and the rationality of the proposed method was proved by instance modeling.