SDL-2000: A Language with a Formal Semantics.
Joachim FischerEckhardt HolzMartin von LöwisAndreas PrinzPublished in: Rigorous Object-Oriented Methods (2000)
Keyphrases
- formal semantics
- logical language
- formal language
- operational semantics
- modeling language
- modelling language
- speech acts
- first order logic
- er model
- logical reasoning
- theorem prover
- machine learning
- model theoretic
- natural language
- case study
- temporal logic
- conceptual model
- high level
- databases
- eca rules
- owl dl ontology