Using UML Statecharts with Knowledge Logic Guards.
Doron DrusinskyMan-tak ShingPublished in: MoDELS (2009)
Keyphrases
- formal methods
- knowledge base
- domain knowledge
- data mining techniques
- conceptual modeling
- prior knowledge
- class diagrams
- knowledge discovery
- modeling language
- case study
- sequence diagrams
- regression testing
- model checker
- agent oriented
- conceptual models
- knowledge management
- metamodel
- multi valued
- modal logic
- knowledge sharing
- logic programming
- knowledge acquisition
- logic programs
- reactive systems
- knowledge representation