Formal execution semantics for asynchronous constructs of AADL.
Jiale ZhouAndreas JohnsenKristina LundqvistPublished in: ACES-MB@MoDELS (2012)
Keyphrases
- model theoretic
- operational semantics
- machine processable
- formal language
- active rules
- control flow
- specification languages
- highly expressive
- semantic information
- formal semantics
- execution model
- formal descriptions
- language constructs
- logic programming
- active databases
- formal specification
- conceptual model
- database systems
- databases
- specification language
- mathematical theory
- formal methods
- data model