Web服务组合功能与QoS的形式化统一建模和分析

被引：61

作者：

肖芳雄 ^{[1
]}

黄志球 ^{[1
]}

曹子宁 ^{[1
]}

屠立忠 ^{[2
]}

祝义 ^{[1
]}

机构：

[1] 南京航空航天大学信息科学与技术学院

[2] 南京工程学院计算机工程学院

来源：

软件学报 | 2011年 / 22卷 / 11期

关键词：

Web; 服务组合; 统一建模和分析; QoS; 进程代数;

D O I：

暂无

中图分类号：

TP393.09 [];

学科分类号：

摘要：

进程代数是一种适合描述Web服务组合的形式建模语言,然而同样对QoS建模和分析的支持不足.在现有进程代数的基础上,提出了一种代价概率进程代数PPPA(priced probabilistic process algebra),给出其语法和语义,证明其具有功能、概率和代价的统一建模和分析能力.给出了基于PPPA统一建模和分析Web服务组合功能和QoS的方法.实例建模和分析了Web服务组合的功能、可靠性、性能和代价,其结果表明,PPPA可以有效地支持Web服务组合功能和QoS的形式化统一建模和分析.

引用

页码：2698 / 2715

页数：18

共 10 条

[1]

随机QoS感知的可靠Web服务组合 [J].

范小芹 ;

蒋昌俊 ;

王俊丽 ;

庞善臣 .

软件学报, 2009, 20 (03) :546-556

[2]

网构软件的研究与进展 [J].

吕建 ;

马晓星 ;

陶先平 ;

徐锋 ;

胡昊 .

中国科学E辑:信息科学, 2006, (10) :1037-1080

[3]

软件体系结构研究进展 [J].

梅宏 ;

申峻嵘 .

软件学报, 2006, (06) :1257-1275

[4]

基于价格时间Petri网的网格计算应用模型及分析 [J].

刘卫东 ;

宋佳兴 ;

林闯 .

电子学报, 2005, (08) :1416-1420

[5]

Symbolic model checking for probabilistic timed automata [J].

Kwiatkowska, Marta ;

Norman, Gethin ;

Sproston, Jeremy ;

Wang, Fuzhi .

INFORMATION AND COMPUTATION, 2007, 205 (07) :1027-1077

[6]

A pi-calculus based semantics for WS-BPEL.[J].Roberto Lucchi;Manuel Mazzara.Journal of Logic and Algebraic Programming.2006, 1

[7]

A brief history of process algebra.[J].J.C.M. Baeten.Theoretical Computer Science.2005, 2

[8]

Dynamic Workflow Composition: Using Markov Decision Processes.[J].Prashant Doshi;Richard Goodwin;Rama Akkiraju;Kunal Verma.International Journal of Web Services Research (IJWSR).2005, 1

[9]

Modelling and verifying web service orchestration by means of the concurrency workbench.[J].Mariya Koshkina;Franck van Breugel.ACM SIGSOFT Software Engineering Notes.2004, 5

[10]

A tutorial on EMPA: A theory of concurrent processes with nondeterminism; priorities; probabilities and time.[J].Marco Bernardo;Roberto Gorrieri.Theoretical Computer Science.1998, 1

← 1 →