Systematic Mapping - Formalization of UML Semantics using Temporal Logic.
Vinícius PereiraMárcio Eduardo DelamaroPublished in: ICEIS (2) (2015)
Keyphrases
- temporal logic
- model checking
- uml activity diagrams
- modal logic
- modal operators
- operational semantics
- formal methods
- epistemic logic
- specification language
- satisfiability problem
- concurrent systems
- uml class diagrams
- formal semantics
- software systems
- modeling language
- logical framework
- dynamic constraints
- computation tree logic
- linear temporal logic
- qualitative and quantitative
- belief revision
- temporally extended goals
- object oriented
- conceptual modeling
- database design
- transition systems
- verification method
- symbolic model checking
- automata theoretic
- knowledge representation
- software development
- model checker
- reactive systems
- temporally extended
- data model
- temporal reasoning
- conceptual model