Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements

摘要

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.