A Formal Model for Service-Based Behavior Specification Using Stream-Based I/O Tables.

Published in: FACS (2013)

Keyphrases

formal model
database
web services
high level
input output
databases
protocol specification
security properties
formal models
service providers
data streams
service oriented
sliding window
service discovery
management system
semantic web services
goal oriented
predicate calculus