您的位置： 专家智库 > >

张世超

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

合作作者

文献类型

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

领域

  • 3篇自动化与计算...
  • 1篇经济管理

主题

  • 5篇工作流
  • 4篇网格
  • 4篇网格工作
  • 4篇网格工作流
  • 3篇状态机
  • 3篇NORM
  • 2篇调度
  • 2篇形式化
  • 2篇形式化描述
  • 2篇语义冲突
  • 2篇语义完整性
  • 2篇任务调度
  • 2篇状态机模型
  • 2篇完整性
  • 2篇网格资源
  • 1篇柔性工作流
  • 1篇资源模型
  • 1篇流模型
  • 1篇交互学习
  • 1篇角色

机构

  • 7篇复旦大学
  • 1篇保定师范专科...
  • 1篇上海市计算机...

作者

  • 7篇张世超
  • 5篇顾宁
  • 3篇徐寅俊
  • 2篇施伯乐
  • 2篇杨江明
  • 1篇李赛寒
  • 1篇张绍华

传媒

  • 1篇计算机研究与...
  • 1篇模式识别与人...
  • 1篇小型微型计算...
  • 1篇第二十二届中...

年份

  • 1篇2009
  • 2篇2006
  • 4篇2005
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
基于组织符号学的角色、行为和规则状态机
2005年
规则分析作为一种组织符号学研究方法,可以用来在信息系统分析中确定角色的行为模式,而其核心就是对系统状态和规则的描述。本文通过提出RBR(Role,Behavior and Rule)模型和RBR有限状态机对信息系统进行规则分析,以期为既有系统的完善和新系统的设计开发提供依据。文中,RBR模型描述了系统的整体状态和角色权限;RBR有限状态机则把系统状态和权限变化结合起来,描述了系统中无冲突的实时状态和角色权限及其动态变化,既能较容易地验证规则中的权限冲突,确保规则的语义完整,又为信息系统的实时仿真奠定了理论基础。
张世超顾宁施伯乐
关键词：语义完整性
基于交互学习的柔性工作流被引量：7
2005年
当前工作流系统普遍缺乏柔性,导致适应性和实用性较差.在工作流网(WF-Net)的基础上,增加了柔性场所和柔性迁移,提出了一种柔性工作流网(FWF-Net)的建模语言并对正确性进行了分析;同时在工作流系统中增加了建模和执行的交互学习机制,给出了学习的算法,使工作流系统从建模和执行都具有良好的柔性和适应性,同时降低复杂性.通过实验表明,不但能够实现柔性工作流系统,而且支持个性化的流程管理.
张绍华李赛寒张世超顾宁
关键词：工作流工作流模型交互学习
Norm支持的虚拟组织关键技术研究
世界经济全球化趋势的迅猛发展,对企业灵活的市场应变能力和柔性的管理体制提出了更高的要求。为了适应这一变化,虚拟组织应运而生。虚拟组织能够动态地整合处于不同地理位置的资源和实体,实现共享和协同工作,提高组织的核心竞争力,快...
张世超
关键词：NORM状态机模型资源模型语义完整性
文献传递
一种规范驱动的网格工作流描述和验证方法
本发明属于网格工作流技术领域，具体位一种规范驱动的网格工作流系统的规范描述和验证方法。该方法的基本框架包括：规范的形式化描述、规则的定义和规范的验证三部分。方法的流程为：首先，描述网格中所有节点的各种属性的初始值和所有工...
顾宁张世超徐寅俊杨江明
文献传递
网格工作流中角色分配的Norm方法
适应网格工作流中角色受到双重管理和动态变化的特性,本文结合了Norm的丰富语言表达能力,提出了网格工作流中角色分配的Norm方法,通过将角色与实体的描述方式的区分,让工作流管理员和服务实体拥有者按各自的需求来管理服务.并...
徐寅俊张世超顾宁杨根兴刘振字
关键词：网格工作流角色分配NORM
一种规范驱动的网格工作流描述和验证方法
本发明属于网格工作流技术领域，具体位一种规范驱动的网格工作流系统的规范描述和验证方法。该方法的基本框架包括：规范的形式化描述、规则的定义和规范的验证三部分。方法的流程为：首先，描述网格中所有节点的各种属性的初始值和所有工...
顾宁张世超徐寅俊杨江明
文献传递
Norm驱动的网格工作流状态机模型被引量：2
2006年
动态的网格环境赋予了网格工作流新的特征,从而进一步增加了工作流程的不确定性和复杂性·提出了Norm驱动的网格工作流状态机模型———GridWSM,利用Norm丰富的语义表达能力和适于描述复杂系统的特征来描述网格工作流系统中任务的动态调度,并利用其推理功能来完善Norm描述、检验Norm的语义冲突,不仅确保了Norm描述的完备性,而且反映了工作流程的实时变化,为系统仿真提供了理论基础·模型的原型系统NormTools验证了网格排序流程的Norm描述,检查出所有的错误·
张世超徐寅俊顾宁施伯乐
关键词：网格工作流NORM状态机
全选 清除 导出
共1页<1>
聚类工具0