Expressing Real-Time Constraints in OCL with High-Level Temporal Logic Operators.
José M. GarridoPublished in: Software Engineering Research and Practice (2003)
Keyphrases
- temporal logic
- real time
- high level
- computation tree logic
- model checking
- dynamic constraints
- automata theoretic
- constraint language
- modal logic
- satisfiability problem
- concurrent systems
- verification method
- constraint satisfaction
- transition systems
- linear temporal logic
- knowledge representation
- integrity constraints
- metamodel
- modeling language
- constraint networks
- model checker
- modal operators
- test cases