Keyphrases
- uml activity diagrams
- specification language
- uml class diagrams
- software systems
- formal semantics
- modeling language
- software engineering
- logic programming
- database design
- metamodel
- object oriented
- sequence diagrams
- conceptual modeling
- uml profile
- business process models
- unified modeling language
- model driven engineering
- formal methods
- tool support
- speech acts
- information systems
- default reasoning
- data exchange
- software architecture
- logic programs
- high level