Keyphrases
- formal methods
- uml class diagrams
- uml activity diagrams
- specification language
- model theoretic
- operational semantics
- formal language
- requirements specification
- formal specification
- formal model
- formal semantics
- class diagrams
- machine processable
- logic programming
- highly expressive
- unified modeling language
- dynamic aspects
- activity diagrams
- software engineering
- conceptual modeling
- semantic information
- metamodel
- database design
- precisely defined
- semantic mapping
- specification languages
- software systems
- programming language
- speech acts
- petri net
- relational databases