The formal semantics of SDL-2000: Status and perspectives.

Uwe Glässer Reinhard Gotzhein Andreas Prinz

Published in: Comput. Networks (2003)

Keyphrases

formal semantics
er model
operational semantics
first order logic
modeling language
logical reasoning
logical language
relational databases
ontology languages
epistemic logic
e learning
case study
xml documents
open source
speech acts