Skip to main content
Article thumbnail
Location of Repository

Towards the Automated Debugging and Maintenance of Logic-based Requirements Models

By T.L. McCluskey, Margaret M. West and IEEE Computer Society


In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a translator, that produces an executable form of the model; blame assignment functions, which input batches of\ud mis-classified tests (i.e. training examples) and output likely faulty parts of the model; and a theory reviser, which inputs the faulty parts and examples and outputs suggested revisions to the model. In particular, we concentrate on the problems encountered when applying these tools to a real application: a requirements model containing air traffic control separation standards, operating methods and airspace information

Topics: T1, QA76
Publisher: IEEE Computer Society
Year: 1998
OAI identifier:

Suggested articles


  1. (1998). A case study in the use of theory revision in requirements validation.
  2. (1995). A requirements capture method and its use in an air traffic control application. Software - Practice and Experience, doi
  3. (1996). Assessing the role of formal specifications in verification and validation of knowledgebased systems. doi
  4. (1995). Automated refinement of first-order horn-clause domain theories. doi
  5. (1995). Computer-aided validation of formal specifications. doi
  6. (1997). Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency. doi
  7. (1987). Explanation-based generalisation as theorem proving. doi
  8. (1996). First order theory revision. In
  9. (1995). Formal Methods in Knowledge Engineering . doi
  10. (1998). formal methods’ technology transfer will fail. doi
  11. (1997). Formalization and analysis of the separation minima for aircraft in the north atlantic: Complete specification and analysis results.
  12. (1993). Handling negation in first-order theory revision.
  13. (1996). Improving the efficiency of knowledge base refinement.
  14. (1997). MAPS: Using multimedia in aircraft profile simulation. Master’s thesis,
  15. (1978). Negation as Failure. doi
  16. (1994). On formal requirements modeling languages: RML revisited. doi
  17. (1990). Programming for Artificial Intelligence. doi
  18. (1996). Requirements acquisition. doi
  19. (1994). Requirements specification for process-control systems. doi
  20. (1994). Support for the formalisation and validation of KADS expertise models. doi
  21. (1994). The Art of Prolog. doi
  22. (1995). The complexity of theory revision. doi
  23. (1998). Tractability of theory patching.
  24. (1997). Transforming general program proofs: A meta interpreter which expands negative literals.
  25. (1994). What online machine learning can do for knowledge acquisition -a case-study. doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.