DocumentCode
3386173
Title
Specification patterns for time-related properties
Author
Gruhn, Volker ; Laue, Ralf
Author_Institution
Leipzig Univ., Germany
fYear
2005
fDate
23-25 June 2005
Firstpage
189
Lastpage
191
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Temporal Representation and Reasoning, 2005. TIME 2005. 12th International Symposium on
ISSN
1530-1311
Print_ISBN
0-7695-2370-6
Type
conf
DOI
10.1109/TIME.2005.33
Filename
1443369
Link To Document