Title :
Specification patterns for time-related properties
Author :
Gruhn, Volker ; Laue, Ralf
Author_Institution :
Leipzig Univ., Germany
Abstract :
We present a pattern system for property specification. It extends the existing patterns identified by M.B. Dwyer, G.S. Avrunin, and J.C. Corbett (1998) which allow to reason about occurrence and order of events, but not about time conditions. Introducing time-related patterns allows the specification of real-time requirements.
Keywords :
formal specification; formal specification; property specification; real-time requirement; specification pattern; time-related property; Automata; Bridges; Formal specifications; Logic; Pattern analysis; Pattern matching; Telematics; formal specification; patterns; timed model checking; verification;
Conference_Titel :
Temporal Representation and Reasoning, 2005. TIME 2005. 12th International Symposium on
Print_ISBN :
0-7695-2370-6
DOI :
10.1109/TIME.2005.33
