Checking Correctness of Services Modeled as Priced Timed Automata.

Aida Causevic Cristina Cerschi Seceleanu Paul Pettersson

Published in: ISoLA (2) (2012)

Keyphrases

timed automata
model checking
reachability analysis
service providers
web services
service composition
ubiquitous computing
service oriented
theorem prover
theorem proving
service discovery
mobile services
location aware
information society
european project
service quality
e learning