您的位置： 专家智库 > >

徐寅俊

作品数：4 被引量：2H指数：1
供职机构：复旦大学更多>>
发文基金：上海市科学技术委员会资助项目国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇专利
  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 4篇网格
  • 3篇网格工作
  • 3篇网格工作流
  • 3篇网格资源
  • 3篇工作流
  • 2篇调度
  • 2篇形式化
  • 2篇形式化描述
  • 2篇语义冲突
  • 2篇任务调度
  • 1篇状态机
  • 1篇状态机模型
  • 1篇网格资源管理
  • 1篇角色分配
  • 1篇NORM

机构

  • 4篇复旦大学

作者

  • 4篇徐寅俊
  • 3篇张世超
  • 3篇顾宁
  • 2篇杨江明
  • 1篇施伯乐

传媒

  • 1篇计算机研究与...

年份

  • 1篇2009
  • 1篇2007
  • 2篇2006
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
一种规范驱动的网格工作流描述和验证方法
本发明属于网格工作流技术领域，具体位一种规范驱动的网格工作流系统的规范描述和验证方法。该方法的基本框架包括：规范的形式化描述、规则的定义和规范的验证三部分。方法的流程为：首先，描述网格中所有节点的各种属性的初始值和所有工...
顾宁张世超徐寅俊杨江明
文献传递
Norm驱动的网格工作流建模关键技术研究
随着网格技术的飞速发展，网格工作流在越来越多的领域得到应用，使得网络上的分布式异构资源得到了更有效的利用。网格工作流建模技术能够灵活定义、修改网格应用的执行流程，设定任务动态分配机制，优化网格资源利用率，因此，成为了网格...
徐寅俊
关键词：角色分配网格资源管理
文献传递
Norm驱动的网格工作流状态机模型被引量：2
2006年
动态的网格环境赋予了网格工作流新的特征,从而进一步增加了工作流程的不确定性和复杂性·提出了Norm驱动的网格工作流状态机模型———GridWSM,利用Norm丰富的语义表达能力和适于描述复杂系统的特征来描述网格工作流系统中任务的动态调度,并利用其推理功能来完善Norm描述、检验Norm的语义冲突,不仅确保了Norm描述的完备性,而且反映了工作流程的实时变化,为系统仿真提供了理论基础·模型的原型系统NormTools验证了网格排序流程的Norm描述,检查出所有的错误·
张世超徐寅俊顾宁施伯乐
关键词：网格工作流NORM状态机
一种规范驱动的网格工作流描述和验证方法
本发明属于网格工作流技术领域，具体位一种规范驱动的网格工作流系统的规范描述和验证方法。该方法的基本框架包括：规范的形式化描述、规则的定义和规范的验证三部分。方法的流程为：首先，描述网格中所有节点的各种属性的初始值和所有工...
顾宁张世超徐寅俊杨江明
文献传递
全选 清除 导出
共1页<1>
聚类工具0