Abstract | ||
---|---|---|
Dynamic routing protocol involves the purchase order management among six participants which cooperate by multiple service interactions. Due to the complexities of interactions, it is important to check if the protocol will be stuck due to the fact that some required channels are not available (i.e. channel-absence) when an interaction is executed. Moreover, the quality of service (QoS) of the protocol is also important to decide the success of the purchase order business. In order to model checking the functional and non-functional properties of this protocol, this paper uses Web service choreography language Chor_r to describe the protocol. Since Chor_r is annotated with execution rate for each interaction, we can translate Chor_r into the input language of the probabilistic model checker PRISM for stochastic analysis of the protocol. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1109/QSIC.2010.39 | QSIC |
Keywords | Field | DocType |
web service choreography language,prism,multiple service interaction,stochastic processes,web services,probabilistic model-checking,quality of service,chor_r,purchase order management,execution rate,probabilistic model checker prism,qos,dynamic routing protocol,input language,routing protocols,purchase order business,order processing,stochastic protocol analysis,probabilistic qos model-checking,required channel,probabilistic qos model checking,non-functional property,web service choreography,markov processes,dynamic routing,probabilistic logic,probabilistic model,model checking,semantics,stochastic analysis,web service | Model checking,Computer science,Enhanced Interior Gateway Routing Protocol,Path vector protocol,Computer network,Quality of service,General Inter-ORB Protocol,Stateless protocol,Purchase order,Routing protocol,Distributed computing | Conference |
ISSN | ISBN | Citations |
1550-6002 E-ISBN : 978-0-7695-4131-0 | 978-0-7695-4131-0 | 1 |
PageRank | References | Authors |
0.35 | 10 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hongli Yang | 1 | 191 | 14.80 |
Liang Zhou | 2 | 1 | 2.04 |
Kang He | 3 | 3 | 2.53 |
Chen Deng | 4 | 1 | 0.35 |
Xiangpeng Zhao | 5 | 353 | 20.67 |
Zongyan Qiu | 6 | 436 | 41.04 |