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

Abstract: 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.

Key words: unified modeling language activity diagram, timing constraint, workflow process model, semantic description, routing structure, model validation