Skip to main content

2 Result(s)

within Igor Cappello Remove this filter

and

  1. No Access

    Chapter

    Quantitative Analysis of Services

    We show a number of applications of the tools which have been developed within the sensoria project to perform quantitative analysis of services. These tools are formally grounded on source calculi which allow th...

    Igor Cappello, Allan Clark, Stephen Gilmore… in Rigorous Software Engineering for Service-… (2011)

  2. No Access

    Chapter and Conference Paper

    A Tool for Checking Probabilistic Properties of COWS Services

    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_lt...

    Igor Cappello, Paola Quaglia in Trustworthly Global Computing (2010)