论文部分内容阅读
π演算是一种移动进程代数，可用于对并发和动态变化的系统进行建模。根据π演算的语法，提出了一种新的用于工作流模式的形式化建模方法，以π演算作为工作流形式化的基础，并利用π演算对工作流模式进行了建模。
工作流模式的π演算建模研究
【摘 要】
：
π演算是一种移动进程代数，可用于对并发和动态变化的系统进行建模。根据π演算的语法，提出了一种新的用于工作流模式的形式化建模方法，以π演算作为工作流形式化的基础，并利用π
【机 构】
：
湖南工业大学计算机系
【出 处】
：
计算机工程与应用
【发表日期】
：
2007年17期
【基金项目】
：
湖南省教育厅资助科研课题（the Research Project of Department of Education of Hunan Province,China under Grant No.052520）.
其他文献
目的调查医疗救助项目管理中医疗文书书写存在的问题并总结分析,为规范救助项目医疗文书提供依据。方法选自2012年度进行手术康复的828份备案表。结果 828份手术康复备案表的
中药饮片是中医临床辨证施治必需的传统武器,也是中成药的重要原料,其独特的炮制理论和方法,无不体现着古老中医的精深智慧。中药饮片是在中医理论指导下,对药材进行净制、切
联盟形成主要研究如何在联盟内Agent间划分联盟效用，使Agent在决策时愿意形成更优的联盟。但是已有的联盟形成策略对额外效用的平均分配没有考虑到每个Agent对联盟的贡献大小
患者男性，43岁，藏族。于2003年5月因上腹部疼痛、上腹部包块、消瘦为主要症状，伴有低热、纳差等症状而前来我院就诊。腹部B超检查提示脾脏实性占位，伴有腹腔淋巴结肿大，经省人民医
目的 观察氨溴索注射液治疗小儿支气管肺炎的临床疗效.方法 56例支气管肺炎患儿随机分为对照组和观察组,各28例.2组患儿均给予积极的抗感染、祛痰止咳、解痉平喘对症支持等基
由于患者的社会背景、文化素养、疾病性质和疾病过程的差异,加强护患沟通可以增加患者对医务人员及院方的信任,增加护患之间的信息交流和相互理解,增强患者战胜疾病的信心,从
T.S.艾略特是20世纪最具影响力的诗人和文学批评家之一。他在早期象征主义的基础上,推动了后期象征主义的发展。本文以艾略特的代表作《荒原》为基础,从他作品展现的社会面貌
随着互联网技术的高速发展,新媒体时代已然到来,并渗透到各行各业,社会大众已完全可以随时通过微博、微信、论坛等各种虚拟媒体平台进行自我情绪的抒发和观点的表述,而这些抒
[目的/意义]公共信息资源开放是大数据时代的全球趋势,采用政策工具量化分析我国公共信息资源开放政策,对政府制定完善有效的政策稳步推进公共信息资源开放,具有理论与现实意