Conceptual modeling in full computation-tree logic with sequence modal operator.
Ken KaneiwaNorihiro KamidePublished in: Int. J. Intell. Syst. (2011)
Keyphrases
- conceptual modeling
- computation tree logic
- temporal logic
- model checking
- linear time temporal logic
- modal operators
- conceptual models
- object oriented
- information systems
- modal logic
- conceptual model
- process model
- bounded model checking
- data model
- database technology
- machine learning
- entity relationship
- epistemic logic
- software engineering
- situation calculus
- general purpose
- query language