Towards more efficient requirements formalization: A study

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

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

2 Scopus citations


[Context and motivation] Validating natural language requirements is an important but difficult task. Although there are techniques available for validating formalized requirements, the gap between natural language requirements and formalism is huge. [Question/problem] As part of a larger piece of work on temporal requirements consistency checking, we developed a front end to semi-automatically translate natural language requirements into an formal language called Temporal Action Language or TeAL. This work is based on an underlying assumption that human analysts can assist us in filling in the missing pieces as we translate natural language temporal requirements to TeAL.[Principal ideas/results] We performed a study to validate this assumption. We found that using the statements generated by our frontend tool appears to be more effective and efficient than a manual process. [Contribution] We present the design of our front-end and a study that measures the performance of human analysts in formalizing requirements with the help of an automated tool.

Original languageEnglish
Title of host publicationRequirements Engineering
Subtitle of host publicationFoundation for Software Quality - 21st International Working Conference, REFSQ 2015, Proceedings
EditorsSamuel A. Fricker, Kurt Schneider
Number of pages17
ISBN (Electronic)9783319161006
StatePublished - 2015
Event21st International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2015 - Essen, Germany
Duration: Mar 23 2015Mar 26 2015

Publication series

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


Conference21st International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2015

Bibliographical note

Publisher Copyright:
© Springer International Publishing Switzerland 2015.


  • Formal specification
  • Requirement comprehension
  • Temporal requirements
  • Translation

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science (all)


Dive into the research topics of 'Towards more efficient requirements formalization: A study'. Together they form a unique fingerprint.

Cite this