|
--subtopics--
| event as change to a condition
|
| |
Other title
| Quote: preconditions and postconditions for events; may be necessary or sufficient
| | Quote: a state is a predicate representing a property of a system; may have duration
| | Quote: model system evolution with events, states, and conditions
|
Quotation Skeleton
An event is a particular predicate that is ... [p. 89] [precondition or postcondition]. ... A state is a predicate representing a property ... define a comprehensive model of the system evolution.
Copyright clearance needed for quotation.
|
