A formal model of services.

Manfred Broy Ingolf H. Krüger Michael Meisinger

Published in: ACM Trans. Softw. Eng. Methodol. (2007)

Keyphrases

formal model
web services
formal models
service providers
context aware
predicate calculus
mobile services
service oriented
security properties
user centric
end users
service quality
service discovery
location aware
security patterns
agent technology
ubiquitous computing
intrusion detection
wireless sensor networks