temporal_thinking
Model systems and reason across time by defining states, events, and transitions. Analyze reachability, cycles, critical paths, and bottlenecks to validate temporal behavior.
Instructions
Modeling systems and reasoning across time using states, events, and transitions.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| tags | No | Tags for categorizing this model. | |
| domain | No | The domain this model belongs to (e.g., 'business process', 'software system'). | |
| events | Yes | A comprehensive list of all possible events that can occur. | |
| states | Yes | A comprehensive list of all possible states in the system. | |
| context | Yes | A comprehensive description of the system or process being modeled. | |
| modelId | No | A unique identifier for this temporal model. | |
| purpose | No | The purpose or goal of creating this temporal model. | |
| version | No | Version of this temporal model. | |
| analysis | No | Analysis results of the temporal model. | |
| scenarios | No | Test scenarios for the temporal model. | |
| complexity | No | Complexity level of the temporal model. | |
| validation | No | Validation results of the temporal model. | |
| finalStates | No | A list of states that are considered terminal or final. | |
| transitions | Yes | A comprehensive list of all possible transitions between states. | |
| completeness | No | Completeness score of the model. | |
| initialState | Yes | The name of the initial state of the system. | |
| lastModified | No | When this model was last modified. | |
| sequenceDiagram | No | Generated sequence diagram showing temporal interactions between actors. | |
| timeConstraints | No | Time-based constraints on the system. | |
| globalConstraints | No | Global constraints that apply to the entire system. | |
| generateSequenceDiagram | No | Whether to automatically generate a sequence diagram from the temporal model. |