Temporal action language (TAL): a controlled language for consistency checking of natural language temporal requirements

Authors:
Wenbin Li;Jane Huffman Hayes;Mirosław Truszczyński
Affiliations:
University of Kentucky;University of Kentucky;University of Kentucky
Venue:
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Year:
2012

Citing 8
Cited 0

A theory of timed automata

Theoretical Computer Science
Formal Requirements Analysis of an Avionics Control System

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Managing Conflicts in Goal-Driven Requirements Engineering

IEEE Transactions on Software Engineering
Reasoning agents in dynamic domains

Logic-based artificial intelligence
Logic programs with stable model semantics as a constraint programming paradigm

Annals of Mathematics and Artificial Intelligence
Principles of Model Checking (Representation and Mind Series)

Principles of Model Checking (Representation and Mind Series)
The temporal logic of programs

SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Constraint Answer Set Solving

ICLP '09 Proceedings of the 25th International Conference on Logic Programming

Quantified Score

Hi-index	0.00

Visualization

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.