论文部分内容阅读
为了实现工作流管理功能，必须将业务过程从现实世界中抽象出来，并用一种形式化方法对其进行描述。工作流模式是工作流建模的基本构造单元。π演算是一种移动进程代数，可用于对并发和动态变化的系统进行建模。首先提出以π演算作为工作流形式化的基础，然后利用π演算对工作流模式进行详细的描述。
工作流模式的π演算形式化
【摘 要】
：
为了实现工作流管理功能，必须将业务过程从现实世界中抽象出来，并用一种形式化方法对其进行描述。工作流模式是工作流建模的基本构造单元。π演算是一种移动进程代数，可用于对并
【机 构】
：
湖南工业大学计算机系
【出 处】
：
计算技术与自动化
【发表日期】
：
2007年1期
其他文献
随着我国农业的发展，小麦种植面积加大，种植方式有了改进，但是由于小麦种植模式不合理，以及病虫害的侵袭，所以小麦的总产量不是很高，因此，为了提高小麦的质量和产量，在种植小麦时，要选择合适的管理模式，掌握有效的病虫害防治技术，减少病虫害的威胁。总之，小麦的发展可以促进农业经济的发展。 一、小麦种植的管理 1、耕作方式 小麦如果长期使用一种种植方式，会使得土地的营养丧失，所以要适当的更换耕作方式，
甲状腺功能减退症是多种因素引起的甲状腺激素合成、分泌或生物效应不足所致的一种全身代谢减低及脏器功能减退为主要特征的疾病，临床可表现为水肿、疲劳、纳差而体重增加，腹胀
<正>红枣裂果是山西省枣树生产长期以来的难题,山西农业大学副教授高培芳与团队成员历时8年潜心研究,摸清了红枣裂果的由来,采用营养调理剂调节枣果生长的方法预防裂果。今年
玉米自从在北美洲被人们发现可食用以来,一直是人类日常饮食生活中重要的粮食作物之一.玉米富含有丰富的微量元素,对于人体的健康极为有利,并且其碳水化合物的含量相较于其他
由于黑龙江地区气候寒冷,无霜期短,必须采取大棚育苗的方法,才能延长水稻的生长时间,争取农时,确保水稻在安全期内成熟.大棚育苗具有投资成本可控,操作简单,管理方便等特点,
小麦在春季进入营养生长的又一个高峰期,是丰产增收的基础。早春田间管理主要强调“早”,重点放在“促”,所以,应该充分利用早春气温回升这个时机,运用科学的方法对田间进行
苹果树是一种易于栽培和管理的多年生草本植物,生命力顽强,且产量高、经济效益十分可观,因此果农们倾向于对苹果树的种植.为了保证苹果树的产量和品质,合理的栽培管理技术是