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

A Norm-Driven Grid Workflow State Machine Model

作　　者：张世超[1] 徐寅俊[2] 顾宁[2] 施伯乐[2] 

机构地区：[1]华电国际电力股份有限公司,济南250001 [2]复旦大学计算机与信息技术系,上海200433

出　　处：《计算机研究与发展》2006年第2期307-313,共7页Journal of Computer Research and Development

基　　金：国家自然科学基金项目(60473124);上海市科委基金项目(035115027)~~

摘　　要：动态的网格环境赋予了网格工作流新的特征,从而进一步增加了工作流程的不确定性和复杂性·提出了Norm驱动的网格工作流状态机模型———GridWSM,利用Norm丰富的语义表达能力和适于描述复杂系统的特征来描述网格工作流系统中任务的动态调度,并利用其推理功能来完善Norm描述、检验Norm的语义冲突,不仅确保了Norm描述的完备性,而且反映了工作流程的实时变化,为系统仿真提供了理论基础·模型的原型系统NormTools验证了网格排序流程的Norm描述,检查出所有的错误·The dynamic nature of grid environment brings some new characteristics to grid workflow, which increases the uncertainty and complexity of the working flow. A norm-driven grid workflow state machine model named GridWSM is offered, which utilizes norm to describe the dynamic scheduling of the tasks in the grid workflow systems. Its advantages are that the norm can express different semantics exactly and is competent for depicting complicated systems. The ratiocinative ability of the norm can validate and perfect the description of norms about grid workflow systems, check the semantic conflicts among the norms, ensure the completeness of the description of norms and reflect the dynamic changes of the working flow. GridWSM can also picture real-time states of grid workflow systems, which will be the theoretical foundation for the emulation of systems. Finally, the prototype system named NormTools validates the norm description of grid sorting flow, and finds all errors.

关 键 词：网格工作流 GridWSM模型 NORM 状态机 完备性 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]