Formal Modeling and Discrete-Time Analysis of BPEL Web Services.

Radu Mateescu Sylvain Rampacek

Published in: CIAO! / EOMAS (2008)

Keyphrases

web services
colored petri nets
petri net
formal methods
business process
service oriented
service composition
description language
business processes
markov chain
service oriented architecture
case study
statistical analysis
service providers
web applications
data analysis
formal analysis
web services composition