Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams.
Florian KleinHolger GiesePublished in: FASE (2007)
Keyphrases
- temporal ordering
- spatio temporal
- spatial and temporal
- linear temporal logic
- temporal evolution
- petri net
- temporal information
- structural information
- temporal data
- temporal constraints
- high level
- colored petri nets
- real world
- temporal reasoning
- sequence diagrams
- desirable properties
- formal specification
- space time
- timed automata
- temporal patterns
- structural analysis
- temporal sequences
- video coding
- reactive systems
- uml diagrams
- motion estimation
- story generation
- story telling