An Approach to Automated Runtime Verification for Timed Systems: Applications to Web Services.

Tien-Dung Cao Richard Castanet Patrick Félix Kevin Chiew

Published in: J. Softw. (2012)

Keyphrases

web services
expert systems
management system
automatic discovery
building blocks

formal methods
semi automated
business applications
business process
web service technology

composition of web services
asynchronous circuits
data intensive
description language
data sets

learning systems
intelligent systems
distributed systems
web applications
neural network