您的位置: 专家智库 > >

国家科技攻关计划(2005BA908B10)

作品数:8 被引量:47H指数:3
相关作者:刘敏严隽薇王坚罗楠白莉更多>>
相关机构:同济大学上海立信会计学院更多>>
发文基金:国家科技攻关计划上海市科学技术发展基金上海市委属高校高水平特色发展项目更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 8篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 3篇WEB服务
  • 2篇调度
  • 2篇网格
  • 2篇互操作
  • 2篇工作流
  • 1篇代理
  • 1篇调度模型
  • 1篇调度器
  • 1篇动态工作流
  • 1篇形式化
  • 1篇形式化验证
  • 1篇有色PETR...
  • 1篇语义WEB服...
  • 1篇资源管理
  • 1篇网格服务
  • 1篇网格工作
  • 1篇网格工作流
  • 1篇网格化
  • 1篇联盟
  • 1篇联盟协同

机构

  • 9篇同济大学
  • 1篇上海立信会计...

作者

  • 9篇严隽薇
  • 9篇刘敏
  • 3篇王坚
  • 1篇白莉
  • 1篇李辉
  • 1篇刘光辉
  • 1篇徐军
  • 1篇罗楠
  • 1篇李继骏
  • 1篇李杰

传媒

  • 4篇计算机集成制...
  • 3篇成组技术与生...
  • 1篇同济大学学报...

年份

  • 1篇2008
  • 4篇2007
  • 4篇2006
8 条 记 录,以下是 1-9
排序方式:
智能客服系统中调度器的设计与实现
在线客服系统是面向参观者的信息服务门户的重要组成部分之一,而调度器是在线客服系统的核心模块.基于马尔可夫模型,运用先进先出算法,结合运用客户分级策略解决在线客服系统中的最优调度问题.经实践证明,本文研究的解决方案确能提高...
李辉严隽薇刘敏李继骏
关键词:调度器马尔可夫模型
文献传递
一种基于有色Petri网的语义Web服务组合验证机制被引量:15
2007年
Web服务组合是一个复杂而易错的过程,现有的组合规范又缺乏有效的验证机制,无法保证组合服务的顺利执行。针对这一问题,并根据目前的语义趋势,利用有色Petri网对基于Web服务本体描述语言的服务组合系统进行形式化描述和建模,通过服务组合代数定义组合运算的基本规则。在此基础上,根据Web服务本体语言组合要素的相关语义建立其对应的有色Petri网结构。另外,给出了分析验证所生成的有色Petri网模型的具体方法,使用该方法可以检验组合系统的各项动态性能,探测死锁等错误,从而提高组合的可靠性,避免执行失败。最后,通过实例直观地描述了建模与验证的工作过程。
罗楠严隽薇刘敏
关键词:WEB服务组合有色PETRI网形式化验证
基于门户框架的Web资源管理系统
2007年
设计了一种基于门户框架的Wed资源管理系统.通过对Web资源管理需求的分析,讨论了利用门户、portlet、Web Service等技术实现Web资源管理的技术方案.
徐军严隽薇刘敏
关键词:资源管理PORTLET门户
一种基于代理的动态服务组合方法
2007年
Web服务是现代网络流行的技术之一,而BPEL4WS的流程建模工具又是基于Web服务wsdl的,该文提出的在BPEL4WS中引入AgentService是对BPEL4WS运行模式的改进,提出在BPEL4WS中引入AgentService之后,不仅减少了流程模板的编制,而且增加了与用户的交互性.
李杰严隽薇刘敏
关键词:WEB服务BPEL
基于Web服务与资源模型的动态工作流互操作框架被引量:13
2006年
为解决构建在Microsoft.net、通用对象请求代理体系结构和J2EE平台上工作流应用的互操作问题,实现分布异构环境的集成,提出了基于Web服务与资源模型的动态工作流互操作框架。基于网格服务技术的Web服务与资源模型,将Web服务作为工作流机原子级的调用单元,以基于可扩展标记语言的简单对象访问协议消息为工作流底层通信机制,屏蔽了系统的异构性,并通过Web服务与资源模型容器管理工作流机的消息队列、事务、系统维护、故障恢复和可靠性执行;互操作框架构建了支持企业间集成的全局工作流机、支持企业内异构平台集成的工作流机、企业内同一平台下的工作流机等3个工作流层次,以解决动态联盟内异构工作流机的动态互操作性。
刘敏严隽薇王坚
关键词:WEB服务网格服务工作流
网格化制造模式中面向联盟协同的安全体系及技术被引量:17
2006年
安全网际协议、安全套接层协议、安全简单对象访问协议和记录级等多层次的安全通信协议及基于公钥基础设施,建立了网格化制造模式下面向联盟协同的安全体系架构。通过基于安全网际协议的虚拟专用网技术、安全的电子商务交易与协作、软件或单据的签名加密、安全电子邮件等实现技术与方法,为联盟企业合作伙伴开展网格化制造模式下的商务协同、设计协同、制造协同和供应链协同提供了全面的安全保障。
刘敏严隽薇王坚
关键词:安全体系
业务过程模型驱动的网格工作流互操作机制被引量:3
2006年
从工作流调度模型、工作流映射模型和业务过程评价模型等角度,建立了业务过程模型驱动的动态网格工作流的互操作机制.通过不同层次的业务过程模型,驱动支持企业间集成的全局工作流机、支持企业内异构平台集成的工作流机、企业内同一平台下的工作流机,建立工作流调度模型,解决面向业务流程的动态集成问题;通过建立业务工作流、抽象工作流、执行工作流的映射模型,解决复杂业务工作流到执行工作流的映射与纵向式集成问题;通过建立业务过程选择模型,解决企业业务过程在动态联盟合作伙伴间的评价、动态选择与共享问题.
刘敏严隽薇白莉王坚
关键词:调度模型网格工作流互操作
基于咨询模型的服务应用模式研究
2006年
在分析Web服务应用模式的基础上,提出了基于咨询模型的服务应用模式,并阐述了业务模型驱动的服务流应用框架。该服务应用模式通过将用户提出的业务需求和功能,分解为业务逻辑、过程逻辑、服务流逻辑、服务逻辑和服务实例等层次,并依次在服务请求者、咨询服务提供者、领域服务编排者、服务提供者等伙伴参与者之间进行功能的明确分工。最后,结合一个产品设计与分析应用服务,给出了基于咨询模型的服务应用模式的实现过程。
刘敏严隽薇
关键词:服务流
面向门户的Web资源接口规范研究
2007年
在研究Portlet标准的基础上,以3类资源为主线分析研究了其主要的接口规范和功能实现,从而方便多重继承,并行开发,而不再需要重新编写代码实现.
刘光辉严隽薇刘敏
关键词:封装接口
共1页<1>
聚类工具0