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. © 2010 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Cappello, I., & Quaglia, P. (2010). A tool for checking probabilistic properties of COWS services. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6084 LNCS, pp. 364–378). https://doi.org/10.1007/978-3-642-15640-3_24
Mendeley helps you to discover research relevant for your work.