作者:杨东; 王英林; 张申生工作流建模congolog
摘要:长期以来,人们提出了各种工作流建模方法,但都缺乏对工作流模型形式化的描述手段.面向角色的工作流建模把工作流看出是由各个角色之间的交互行为构成的系统.因而,角色内部的复杂的行为活动以及角色之间的交互行为可以采用ConGolog语言来定义.本文提出了采用ConGolog并发语言来描述工作流模型的方法,所建议的方法不仅使工作流模型具有严密的语义,并能对模型进行推理和验证.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《小型微型计算机系统》(CN:21-1106/TP)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《小型微型计算机系统》杂志刊登文章的内容涵盖计算技术的各个领域(计算数学除外)。包括计算机科学理论、体系结构、计算机软件、数据库、网络与通讯、人工智能、多媒体、计算机图形与图像、算法理论研究等各方面的学术论文。
部级期刊
人气 230388 评论 65
人气 215069 评论 35
省级期刊
人气 213322 评论 71
北大期刊、统计源期刊
人气 193088 评论 73