This website is preserved for historical and scholarly reference and is no longer actively maintained.
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