主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
肖芳雄,黄志球,曹子宁,屠立忠,祝义.Web 服务组合功能与QoS 的形式化统一建模和分析.软件学报,2011,22(11):2698-2715
Web 服务组合功能与QoS 的形式化统一建模和分析
Unified Formal Modeling and Analyzing both Functionality and QoS of Web Services Composition
投稿时间:2009-11-18  修订日期:2010-01-21
DOI:10.3724/SP.J.1001.2011.03902
中文关键词:  Web  服务组合  统一建模和分析  QoS  进程代数
英文关键词:Web  service composition  unified modeling and analyzing  QoS  process algebra
基金项目:国家自然科学基金(60873025); 国家高技术研究发展计划(863)(2009AA010307); 航空科学基金(20085552023); 江苏省自然科学基金(BK2008 389); 江苏省高校自然科学基金(03KJD520105)
作者单位E-mail
肖芳雄 南京航空航天大学 信息科学与技术学院,江苏 南京 210016 xiaofx@nuaa.edu.cn 
黄志球 南京航空航天大学 信息科学与技术学院,江苏 南京 210016  
曹子宁 南京航空航天大学 信息科学与技术学院,江苏 南京 210016  
屠立忠 南京工程学院 计算机工程学院,江苏 南京 211167  
祝义 南京航空航天大学 信息科学与技术学院,江苏 南京 210016  
摘要点击次数: 3320
全文下载次数: 4018
中文摘要:
      进程代数是一种适合描述Web 服务组合的形式建模语言,然而同样对QoS 建模和分析的支持不足.在现有进程代数的基础上,提出了一种代价概率进程代数PPPA(priced probabilistic process algebra),给出其语法和语义,证明其具有功能、概率和代价的统一建模和分析能力.给出了基于PPPA 统一建模和分析Web 服务组合功能和QoS 的方法.实例建模和分析了Web 服务组合的功能、可靠性、性能和代价,其结果表明,PPPA 可以有效地支持Web 服务组合功能和QoS 的形式化统一建模和分析.
英文摘要:
      This paper proposes a process algebra called PPPA (priced probabilistic process algebra) by extending an existing process algebra with QoS modeling capability. This paper presents its syntax and semantics to prove that it can model not only functionality, but also non-functionality, such as reliability, performance, and cost. Finally, this paper moves to model and analyze both functionality and QoS of Web services composition in a united way based on PPPA. The paper illustrates the effectiveness with an example to prove that PPPA can support formal modeling and analyzation of QoS of web services composition.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利