Norm驱动的网格工作流状态机模型

摘要

动态的网格环境赋予了网格工作流新的特征,从而进一步增加了工作流程的不确定性和复杂性.提出了Norm驱动的网格工作流状态机模型--GridWSM,利用Norm丰富的语义表达能力和适于描述复杂系统的特征来描述网格工作流系统中任务的动态调度,并利用其推理功能来完善Norm描述、检验Norm的语义冲突,不仅确保了Norm描述的完备性,而且反映了工作流程的实时变化,为系统仿真提供了理论基础.模型的原型系统NormTools验证了网格排序流程的Norm描述,检查出所有的错误.