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.
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
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