Towards Formal Semantics for QoS Support.

Jan-Peter Richter Hermann de Meer

Published in: INFOCOM (1998)

Keyphrases

formal semantics
modelling language
first order logic
formal language
quality of service
logical language
modeling language
er model
theorem prover
owl dl ontology
database
artificial intelligence
knowledge base
web services
open source
operational semantics