Temporal Action Language (TAL): A controlled language for consistency checking of natural language temporal requirements (preliminary results)

Wenbin Li, Jane Huffman Hayes, Mirosław Truszczyński

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

5 Scopus citations

Abstract

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.

Original languageEnglish
Title of host publicationNASA Formal Methods - 4th International Symposium, NFM 2012, Proceedings
Pages162-167
Number of pages6
DOIs
StatePublished - 2012
Event4th NASA Formal Methods Symposium, NFM 2012 - Norfolk, VA, United States
Duration: Apr 3 2012Apr 5 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7226 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference4th NASA Formal Methods Symposium, NFM 2012
Country/TerritoryUnited States
CityNorfolk, VA
Period4/3/124/5/12

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Temporal Action Language (TAL): A controlled language for consistency checking of natural language temporal requirements (preliminary results)'. Together they form a unique fingerprint.

Cite this