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

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

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

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

出　　处：《计算机集成制造系统》2014年第7期1758-1767,共10页Computer Integrated Manufacturing Systems

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

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

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]