TY - GEN
T1 - Temporal Action Language (TAL)
T2 - 4th NASA Formal Methods Symposium, NFM 2012
AU - Li, Wenbin
AU - Hayes, Jane Huffman
AU - Truszczyński, Mirosław
PY - 2012
Y1 - 2012
N2 - We introduce Temporal Action Language (TAL). We design TAL as a key component of our approach that aims to semi-automate the process of consistency checking of natural language temporal requirements. Analysts can use TAL to express temporal requirements precisely and unambiguously. We describe the syntax and semantics of TAL and illustrate how to use TAL to represent temporal requirements.
AB - We introduce Temporal Action Language (TAL). We design TAL as a key component of our approach that aims to semi-automate the process of consistency checking of natural language temporal requirements. Analysts can use TAL to express temporal requirements precisely and unambiguously. We describe the syntax and semantics of TAL and illustrate how to use TAL to represent temporal requirements.
UR - http://www.scopus.com/inward/record.url?scp=84859473966&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84859473966&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-28891-3_16
DO - 10.1007/978-3-642-28891-3_16
M3 - Conference contribution
AN - SCOPUS:84859473966
SN - 9783642288906
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 162
EP - 167
BT - NASA Formal Methods - 4th International Symposium, NFM 2012, Proceedings
Y2 - 3 April 2012 through 5 April 2012
ER -