上海市科学技术发展基金(05dz05810)
- 作品数:3 被引量:33H指数:3
- 相关作者:刘敏严隽薇罗楠王坚更多>>
- 相关机构:同济大学更多>>
- 发文基金:上海市科学技术发展基金国家科技攻关计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种基于有色Petri网的语义Web服务组合验证机制被引量:15
- 2007年
- Web服务组合是一个复杂而易错的过程,现有的组合规范又缺乏有效的验证机制,无法保证组合服务的顺利执行。针对这一问题,并根据目前的语义趋势,利用有色Petri网对基于Web服务本体描述语言的服务组合系统进行形式化描述和建模,通过服务组合代数定义组合运算的基本规则。在此基础上,根据Web服务本体语言组合要素的相关语义建立其对应的有色Petri网结构。另外,给出了分析验证所生成的有色Petri网模型的具体方法,使用该方法可以检验组合系统的各项动态性能,探测死锁等错误,从而提高组合的可靠性,避免执行失败。最后,通过实例直观地描述了建模与验证的工作过程。
- 罗楠严隽薇刘敏
- 关键词:WEB服务组合有色PETRI网形式化验证
- 异构的系统应用集成平台研究被引量:6
- 2007年
- 针对世博会参观者的多种应用需求,提出了一种面向参观者的异构系统应用集成的解决方案。该方案通过建立统一的平台与接口规范,有效集成各种应用系统,以统一的形象为用户提供个性化服务。给出了应用集成平台的总体框架结构,并详细阐述了其中采用的关键技术。在此基础上,实现了一个原型系统。
- 严隽薇罗楠刘敏
- 关键词:系统集成门户WEB服务组合形式化验证接口规范
- 基于Web服务与资源模型的动态工作流互操作框架被引量:12
- 2006年
- 为解决构建在Microsoft.net、通用对象请求代理体系结构和J2EE平台上工作流应用的互操作问题,实现分布异构环境的集成,提出了基于Web服务与资源模型的动态工作流互操作框架。基于网格服务技术的Web服务与资源模型,将Web服务作为工作流机原子级的调用单元,以基于可扩展标记语言的简单对象访问协议消息为工作流底层通信机制,屏蔽了系统的异构性,并通过Web服务与资源模型容器管理工作流机的消息队列、事务、系统维护、故障恢复和可靠性执行;互操作框架构建了支持企业间集成的全局工作流机、支持企业内异构平台集成的工作流机、企业内同一平台下的工作流机等3个工作流层次,以解决动态联盟内异构工作流机的动态互操作性。
- 刘敏严隽薇王坚
- 关键词:WEB服务网格服务工作流