Keyphrases
- uml activity diagrams
- uml class diagrams
- specification language
- database design
- object oriented
- customer service
- logic programming
- software engineering
- class diagrams
- conceptual model
- software development
- modeling language
- formal semantics
- sequence diagrams
- knowledge base
- constraint language
- faq retrieval
- semantic information
- software systems
- conceptual modeling
- formal specification
- metamodel
- software architecture
- model driven engineering
- object oriented modeling