Abstract | ||
---|---|---|
WS-BPEL has emerged as the de facto industry standard for composing Web services. With the wide attention for WS-BPEL, Quality of Service (QoS) for it has become a key differentiator to judge the services with same functionalities. One main challenge currently is how to analyze the QoS of WS-BPEL services at the early design phase. This work aims at proposing a methodology for model-based analysis of WS-BPEL processes, with a focus on the assessment of non-functional quality attributes. Particularly, we define a small language BPELR to model the core features of WS-BPEL language, and annotate message receiving and service invoking activities with message-arrive rate and service-execute rate separately. Then a set of rules are proposed for translating BPELR into the input language of the probabilistic model checker PRISM, which can be used to stochastically analyze WS-BPEL processes. Finally, we show our approach by a purchase order business process example. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1109/TASE.2011.20 | TASE |
Keywords | Field | DocType |
purchasing,ws-bpel language,prism,stochastic processes,ws-bpel service,small language bpelr,web services,service-execute rate,message-arrive rate,probabilistic model-checking,bpelr language translation,quality of service,ws-bpel process analysis,model-based analysis,non-functional quality attribute,language translation,nonfunctional quality attributes,ws-bpel processes,qos,input language,probabilistic model checker,ws-bpel,message passing,purchase order business process,service invoking activities,de facto industry standard,simulation languages,annotate message,ws-bpel process,stochastic analysis,formal verification,web service,business process,business,probabilistic model,stochastic process,reliability | Language translation,Business process,Software engineering,Computer science,Quality of service,Theoretical computer science,Business Process Execution Language,Web service,Message passing,Database,Purchase order,Formal verification | Conference |
ISBN | Citations | PageRank |
978-1-4577-1487-0 | 2 | 0.37 |
References | Authors | |
2 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Chen Deng | 1 | 5 | 1.14 |
Hongli Yang | 2 | 191 | 14.80 |
Husheng Liao | 3 | 20 | 11.82 |
Sun Meng | 4 | 296 | 33.69 |
Zongyan Qiu | 5 | 436 | 41.04 |