Formal modelling and discrete-time analysis of BPEL web services.

Radu Mateescu Sylvain Rampacek

Published in: Int. J. Simul. Process. Model. (2008)

Keyphrases

web services
service oriented
description language
colored petri nets
business processes
service composition
semantic web services
formal methods
web services composition
data analysis
business process
failure modes and effects
web applications
statistical analysis
service discovery
web service composition