An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations.

Luciano Baresi Sam Guinea Raman Kazhamiakin Marco Pistore

Published in: ServiceWave (2008)

Keyphrases

web services
service oriented
business process
business processes
service composition
formal methods
monitoring system
real time
colored petri nets
ws bpel
artificial intelligence
semantic web
petri net