An accessible verification environment for UML models of services.

Federico Banti Rosario Pugliese Francesco Tiezzi

Published in: J. Symb. Comput. (2011)

Keyphrases

uml models
web services
computing environments
exchange information
mobile robot
model checking
service oriented
service providers
data sets
image features
object oriented
context aware
development process
context aware services