Modelling and Verifying of a 'Cash-Point Service' Using MOBY/PLC.

Henning Dierks Josef Tapken

Published in: Formal Aspects Comput. (2000)

Keyphrases

web services
service oriented
service quality
semantic web services
model checking
management system
database
single point
user interface
special case
response time
service providers
information services
service discovery
software design
loosely coupled
customer service