The Timeline formalism. A visual formalism for expressing temporal constraints Eric Bodden. History. Developed by Smith, Holzmann , Etessami (Bell Labs) in 2001 Goal: to ease the specification of temporal patterns Have the visual spec translated into a low level spec which can be verified.
The Timeline formalism
A visual formalism for expressing temporal constraints
=> Model transformation!
!( !offhook U(offhook /\ X(!dialtone /\ !onhook)) )
X((eventi /\ !onhook) U (eventi /\ !onhook))
Notion of sub-requirements
Margaret H. Smith, Gerard J. Holzmann, Kousha Etessami
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs
Proceedings of the 5th IEEE International Symposium on Requirements Engineering table of contents
Pages: 14 - 22
Year of Publication: 2001