罗楠
- 作品数：5 被引量：26H指数：3
- 供职机构：同济大学电子与信息工程学院CIMS研究中心更多>>
- 发文基金：上海市科学技术发展基金国家科技攻关计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于有色Petri网的语义Web服务组合验证机制被引量：15
- 2007年
- Web服务组合是一个复杂而易错的过程,现有的组合规范又缺乏有效的验证机制,无法保证组合服务的顺利执行。针对这一问题,并根据目前的语义趋势,利用有色Petri网对基于Web服务本体描述语言的服务组合系统进行形式化描述和建模,通过服务组合代数定义组合运算的基本规则。在此基础上,根据Web服务本体语言组合要素的相关语义建立其对应的有色Petri网结构。另外,给出了分析验证所生成的有色Petri网模型的具体方法,使用该方法可以检验组合系统的各项动态性能,探测死锁等错误,从而提高组合的可靠性,避免执行失败。最后,通过实例直观地描述了建模与验证的工作过程。
- 罗楠严隽薇刘敏
- 关键词：WEB服务组合有色PETRI网形式化验证
- 基于用户策略的Web服务动态选择方法研究被引量：1
- 2008年
- 目前的Web服务选择方法主要是服务关键词语义和属性匹配、运行性能最优评估,未能很好考虑用户对服务质量的个性化需求。对用户需求、服务质量进行模型描述,结合用户策略给出了一个服务评估和选择算法,该算法根据服务请求者的满意度对候选服务进行评估和选择。与已有的服务性能选择方法相比,该方法更能满足个性化需求。
- 杨书新王坚罗楠兰天
- 关键词：WEB服务服务质量
- 语义Web服务自动组合的有色网验证模型(英文)被引量：3
- 2008年
- Web服务组合是面向服务的计算模式下应用构造的主要方式,而现有的组合方法与实施框架缺乏有效的验证机制,从而产生大量无效的组合结果。针对这一问题,提出一种具有正确性分析与验证功能的Web服务自动组合系统框架。其核心是利用有色Petri网对基于OWL-S的服务组合系统进行形式化建模,通过对组合模型的模拟执行及对其动态性能的全面分析,预测组合服务的执行结果,从而提高组合的可靠性。另外,该框架采用智能Agent技术,可有效实现组合过程的自动化。
- 罗楠严隽薇刘敏
- 关键词：语义WEB服务有色PETRI网形式化验证
- Web服务组合的自动化机制研究
- 随着Web服务标准与技术的日臻完善，Web服务业已成为Internet上一种最为重要的计算资源，同时也使得面向服务的架构（Service-Oriented Architecture，SOA）成为开发分布式网络应用的主流范...
- 罗楠
- 关键词：WEB服务自动服务组合语义WEBPETRI网AGENT技术
- 文献传递
- 异构的系统应用集成平台研究被引量：7
- 2007年
- 针对世博会参观者的多种应用需求,提出了一种面向参观者的异构系统应用集成的解决方案。该方案通过建立统一的平台与接口规范,有效集成各种应用系统,以统一的形象为用户提供个性化服务。给出了应用集成平台的总体框架结构,并详细阐述了其中采用的关键技术。在此基础上,实现了一个原型系统。
- 严隽薇罗楠刘敏
- 关键词：系统集成门户WEB服务组合形式化验证接口规范
