Knowledge Base Approach to Consistency Management of UML Specification.
Andrea ZismanAlexander KozlenkovPublished in: ASE (2001)
Keyphrases
- knowledge base
- specification language
- formal methods
- uml diagrams
- state machine
- tool support
- description logics
- management system
- high level
- sequence diagrams
- knowledge acquisition
- expert systems
- information systems
- information management
- knowledge representation
- decision support
- software design
- conceptual model
- formal specification
- metamodel
- software systems
- data management
- knowledge structures
- modeling language
- database design
- conceptual modeling
- knowledge management
- object oriented
- object oriented modeling
- workflow management systems
- petri net
- wordnet
- software engineering
- unified modeling language