Abstract | ||
---|---|---|
We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration of Web Services. The tool, called Scows lts, derives the Labelled Transition System associated to the term, and further generates the corresponding Continuous Time Markov Chain in the same notation adopted by the PRISM model checker. Scows lts is first described and then seen at work against a small, yet representative, application scenario. |
Year | Venue | Keywords |
---|---|---|
2010 | TGC | probabilistic model checking,scows lts,labelled transition system,prism model checker,web services,probabilistic property,stochastic enrichment,cows service,corresponding continuous time markov,application scenario,web service,continuous time markov chain |
Field | DocType | Volume |
Transition system,Notation,Continuous-time Markov chain,Computer science,PRISM model checker,Theoretical computer science,Probabilistic logic,Web service,Orchestration (computing),Probabilistic model checking | Conference | 6084 |
ISSN | ISBN | Citations |
0302-9743 | 3-642-15639-8 | 1 |
PageRank | References | Authors |
0.38 | 10 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Igor Cappello | 1 | 2 | 1.07 |
Paola Quaglia | 2 | 356 | 27.06 |