The automated refinement of a requirements domain theory
The specification and management of requirements is widely considered to be one of the most important yet most problematic activities in software engineering. In some applications, such as in safety critical areas or knowledge-based systems, the construction of a requirements domain theory is regard...
Main Authors: | , |
---|---|
Format: | Article in Journal/Newspaper |
Language: | English |
Published: |
Kluwer
2001
|
Subjects: | |
Online Access: | http://eprints.hud.ac.uk/id/eprint/251/ https://eprints.hud.ac.uk/id/eprint/251/1/McCluskeyAutomated.pdf https://doi.org/10.1023/A%3A1008793523863 |
id |
ftunivhudders:oai:eprints.hud.ac.uk:251 |
---|---|
record_format |
openpolar |
spelling |
ftunivhudders:oai:eprints.hud.ac.uk:251 2023-05-15T17:38:30+02:00 The automated refinement of a requirements domain theory McCluskey, T.L. West, Margaret M. 2001-04 application/pdf http://eprints.hud.ac.uk/id/eprint/251/ https://eprints.hud.ac.uk/id/eprint/251/1/McCluskeyAutomated.pdf https://doi.org/10.1023/A%3A1008793523863 en eng Kluwer https://eprints.hud.ac.uk/id/eprint/251/1/McCluskeyAutomated.pdf McCluskey, T.L. and West, Margaret M. (2001) The automated refinement of a requirements domain theory. Journal of Automated Software Engineering, 8 (2). pp. 195-218. ISSN 1573-7535 Q Science (General) QA75 Electronic computers. Computer science QA76 Computer software Article PeerReviewed 2001 ftunivhudders https://doi.org/10.1023/A%3A1008793523863 2022-12-09T10:03:52Z The specification and management of requirements is widely considered to be one of the most important yet most problematic activities in software engineering. In some applications, such as in safety critical areas or knowledge-based systems, the construction of a requirements domain theory is regarded as an important part of this activity. Building and maintaining such a domain theory, however, requires a large investment and a range of powerful validation and maintenance tools. The area of theory refinement is concerned with the use of training data to automatically change an existing theory so that it better fits the data. Theory refinement techniques, however, have not been extensively used in applications because of the problems in scaling up their underlying algorithms. In our work we have applied theory refinement to assist in the problem of validation and maintenance of a requirements theory concerning separation standards in the North East Atlantic. In this paper we describe an implemented refinement algorithm, which processes a logic program automatically generated from the theory. We overcame the size and expressiveness problems typically encountered when applying theory refinement to a logic program of this kind by designing focused, composite refinement operators within the algorithm. These operators modify the auto-generated logic program by generalising or specialising clauses containing ordinal relations—that is relations which operate on totally ordered data Article in Journal/Newspaper North East Atlantic University of Huddersfield Repository |
institution |
Open Polar |
collection |
University of Huddersfield Repository |
op_collection_id |
ftunivhudders |
language |
English |
topic |
Q Science (General) QA75 Electronic computers. Computer science QA76 Computer software |
spellingShingle |
Q Science (General) QA75 Electronic computers. Computer science QA76 Computer software McCluskey, T.L. West, Margaret M. The automated refinement of a requirements domain theory |
topic_facet |
Q Science (General) QA75 Electronic computers. Computer science QA76 Computer software |
description |
The specification and management of requirements is widely considered to be one of the most important yet most problematic activities in software engineering. In some applications, such as in safety critical areas or knowledge-based systems, the construction of a requirements domain theory is regarded as an important part of this activity. Building and maintaining such a domain theory, however, requires a large investment and a range of powerful validation and maintenance tools. The area of theory refinement is concerned with the use of training data to automatically change an existing theory so that it better fits the data. Theory refinement techniques, however, have not been extensively used in applications because of the problems in scaling up their underlying algorithms. In our work we have applied theory refinement to assist in the problem of validation and maintenance of a requirements theory concerning separation standards in the North East Atlantic. In this paper we describe an implemented refinement algorithm, which processes a logic program automatically generated from the theory. We overcame the size and expressiveness problems typically encountered when applying theory refinement to a logic program of this kind by designing focused, composite refinement operators within the algorithm. These operators modify the auto-generated logic program by generalising or specialising clauses containing ordinal relations—that is relations which operate on totally ordered data |
format |
Article in Journal/Newspaper |
author |
McCluskey, T.L. West, Margaret M. |
author_facet |
McCluskey, T.L. West, Margaret M. |
author_sort |
McCluskey, T.L. |
title |
The automated refinement of a requirements domain theory |
title_short |
The automated refinement of a requirements domain theory |
title_full |
The automated refinement of a requirements domain theory |
title_fullStr |
The automated refinement of a requirements domain theory |
title_full_unstemmed |
The automated refinement of a requirements domain theory |
title_sort |
automated refinement of a requirements domain theory |
publisher |
Kluwer |
publishDate |
2001 |
url |
http://eprints.hud.ac.uk/id/eprint/251/ https://eprints.hud.ac.uk/id/eprint/251/1/McCluskeyAutomated.pdf https://doi.org/10.1023/A%3A1008793523863 |
genre |
North East Atlantic |
genre_facet |
North East Atlantic |
op_relation |
https://eprints.hud.ac.uk/id/eprint/251/1/McCluskeyAutomated.pdf McCluskey, T.L. and West, Margaret M. (2001) The automated refinement of a requirements domain theory. Journal of Automated Software Engineering, 8 (2). pp. 195-218. ISSN 1573-7535 |
op_doi |
https://doi.org/10.1023/A%3A1008793523863 |
_version_ |
1766138972656893952 |