Towards a new formal SDL semantics - outline of an abstract state machines.
Uwe GlässerReinhard GotzheinAndreas PrinzPublished in: SDL Forum (1999)
Keyphrases
- machine processable
- operational semantics
- formal language
- model theoretic
- formal semantics
- dynamic aspects
- formal model
- specification language
- specification languages
- highly expressive
- wordnet
- logic programming
- case study
- graphical representation
- semantic relationships
- real time
- integrity constraints
- nonmonotonic logics
- high level
- formal languages
- semantic mapping
- briefly review
- update semantics
- genetic algorithm
- data sets