On the Formal Semantics of Statecharts (Extended Abstract)
David HarelAmir PnueliJeanette P. SchmidtRivi ShermanPublished in: LICS (1987)
Keyphrases
- extended abstract
- formal semantics
- modelling language
- operational semantics
- er model
- logical language
- modeling language
- formal language
- first order logic
- logical reasoning
- theorem prover
- conceptual modeling
- ontology languages
- artificial intelligence
- speech acts
- owl dl ontology
- conditional probabilities
- petri net
- probability distribution
- case study