A compositional approach to performance modelling
A compositional approach to performance modelling
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Model-checking continuous-time Markov chains
ACM Transactions on Computational Logic (TOCL)
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
Theoretical foundations for compensations in flow composition languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Electronic Notes in Theoretical Computer Science (ENTCS)
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
SOCK: a calculus for service oriented computing
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Translating orc features into petri nets and the join calculus
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Service Discovery and Negotiation With COWS
Electronic Notes in Theoretical Computer Science (ENTCS)
Specifying and Analysing SOC Applications with COWS
Concurrency, Graphs and Models
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
Trustworthy Global Computing
On a Uniform Framework for the Definition of Stochastic Process Languages
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
An accessible verification environment for UML models of services
Journal of Symbolic Computation
Approximate model checking of stochastic COWS
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
A tool for checking probabilistic properties of COWS services
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
The how and why of interactive Markov chains
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
A unifying formal basis for the SENSORIA approach: a white paper
Rigorous software engineering for service-oriented systems
Quantitative analysis of services
Rigorous software engineering for service-oriented systems
SENSORIA results applied to the case studies
Rigorous software engineering for service-oriented systems
The SENSORIA approach applied to the finance case study
Rigorous software engineering for service-oriented systems
Using formal methods to develop WS-BPEL applications
Science of Computer Programming
Formal modelling and verification of service-oriented systems in probabilistic event-b
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
A visual token-based formalization of BPMN 2.0 based on in-place transformations
Information and Software Technology
| Hi-index | 0.00 |
A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and semantics are enriched along the lines of Markovian extensions of process calculi. This allows addressing quantitative reasoning about the behaviour of the specified web services. For instance, a simple case study shows that services can be analyzed using the PRISM probabilistic model checker.