The semantics and execution of a synchronous block-diagram language.
Stephen A. EdwardsEdward A. LeePublished in: Sci. Comput. Program. (2003)
Keyphrases
- logical language
- intended meaning
- uml class diagrams
- specification language
- highly expressive
- logic programming language
- definition language
- uml activity diagrams
- operational semantics
- formal semantics
- formal language
- action language
- conceptual graphs
- active rules
- natural language
- semantically equivalent
- model theoretic
- speech acts
- control flow
- dynamic logic
- proof theory
- language learning
- denotational semantics
- programming language
- semantic representations
- conditional logic
- semantic information
- asynchronous communication
- constraint language
- language constructs
- agent communication
- relational calculus
- description logics
- fixed point semantics
- uml diagrams
- formal languages
- closed world
- predicate calculus
- event condition action
- formal descriptions