进程代数是一种适合描述Web服务组合的形式建模语言,然而同样对QoS建模和分析的支持不足.在现有进程代数的基础上,提出了一种代价概率进程代数PPPA(priced probabilistic process algebra),给出其语法和语义,证明其具有功能、概率和代...进程代数是一种适合描述Web服务组合的形式建模语言,然而同样对QoS建模和分析的支持不足.在现有进程代数的基础上,提出了一种代价概率进程代数PPPA(priced probabilistic process algebra),给出其语法和语义,证明其具有功能、概率和代价的统一建模和分析能力.给出了基于PPPA统一建模和分析Web服务组合功能和QoS的方法.实例建模和分析了Web服务组合的功能、可靠性、性能和代价,其结果表明,PPPA可以有效地支持Web服务组合功能和QoS的形式化统一建模和分析.展开更多
作物模型与GIS集成中存在着功能重复开发、模型共享困难以及地理信息处理功能的在线能力有限等问题。该文以面向服务架构(service-oriented architecture,SOA)为基础,设计了作物模型区域应用Web服务组合框架。以ArcGIS Service和Model B...作物模型与GIS集成中存在着功能重复开发、模型共享困难以及地理信息处理功能的在线能力有限等问题。该文以面向服务架构(service-oriented architecture,SOA)为基础,设计了作物模型区域应用Web服务组合框架。以ArcGIS Service和Model Builder为开发平台,给出了模型计算、动态专题图和空间插值Web服务的开发流程、接口设计和实现方法。结合富客户端技术研制了基于SOA和WebGIS的小麦生产管理支持系统原型(wheat production management support system based on SOA and WebGIS,WPMSS-GISOA),实现了地图数据的上传发布、气象和土壤数据查询、栽培方案设计、空间插值分析等功能。功能测试表明作物模型区域应用的Web服务组合框架可行,为模型与地理信息系统的在线无缝集成提供了可参考方案。展开更多
文摘进程代数是一种适合描述Web服务组合的形式建模语言,然而同样对QoS建模和分析的支持不足.在现有进程代数的基础上,提出了一种代价概率进程代数PPPA(priced probabilistic process algebra),给出其语法和语义,证明其具有功能、概率和代价的统一建模和分析能力.给出了基于PPPA统一建模和分析Web服务组合功能和QoS的方法.实例建模和分析了Web服务组合的功能、可靠性、性能和代价,其结果表明,PPPA可以有效地支持Web服务组合功能和QoS的形式化统一建模和分析.
文摘作物模型与GIS集成中存在着功能重复开发、模型共享困难以及地理信息处理功能的在线能力有限等问题。该文以面向服务架构(service-oriented architecture,SOA)为基础,设计了作物模型区域应用Web服务组合框架。以ArcGIS Service和Model Builder为开发平台,给出了模型计算、动态专题图和空间插值Web服务的开发流程、接口设计和实现方法。结合富客户端技术研制了基于SOA和WebGIS的小麦生产管理支持系统原型(wheat production management support system based on SOA and WebGIS,WPMSS-GISOA),实现了地图数据的上传发布、气象和土壤数据查询、栽培方案设计、空间插值分析等功能。功能测试表明作物模型区域应用的Web服务组合框架可行,为模型与地理信息系统的在线无缝集成提供了可参考方案。
文摘形式化建模Web服务组合并分析其功能正确性和QoS可满足性,是提高组合服务可信性的重要手段,但目前形式化方法侧重功能正确性建模和分析,对QoS可满足性的建模和分析支持不足.为此提出一种时间概率代价进程代数TPPPA(Timed Probabilistic Priced Process Algebra),给出了TPPPA的语法和语义,并证明其具有功能、时间、概率和代价的统一建模和分析能力.用实例表明了TPPPA可有效支持Web服务组合功能正确性和QoS可满足性的形式化统一建模和分析.
