Temporal Specification
Current UML constructs are insufficient
We will discuss temporal concepts that aid in specification in our paper presentation later
These may be in forms such as:
- Eventually the message will be received
- [minimum, normal, maximum] gives transition times for a state transition