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: |
2001
|
Subjects: | |
Online Access: | https://pure.hud.ac.uk/en/publications/4d10369e-6e5d-4ffe-98d3-305434f03367 https://doi.org/10.1023/A:1008793523863 http://www.scopus.com/inward/record.url?scp=0035311874&partnerID=8YFLogxK |
id |
ftuhuddersfieldc:oai:pure.atira.dk:publications/4d10369e-6e5d-4ffe-98d3-305434f03367 |
---|---|
record_format |
openpolar |
spelling |
ftuhuddersfieldc:oai:pure.atira.dk:publications/4d10369e-6e5d-4ffe-98d3-305434f03367 2023-05-15T17:38:29+02:00 The Automated Refinement of a Requirements Domain Theory Mccluskey, T. L. West, M. M. 2001-04 https://pure.hud.ac.uk/en/publications/4d10369e-6e5d-4ffe-98d3-305434f03367 https://doi.org/10.1023/A:1008793523863 http://www.scopus.com/inward/record.url?scp=0035311874&partnerID=8YFLogxK eng eng info:eu-repo/semantics/closedAccess Mccluskey , T L & West , M M 2001 , ' The Automated Refinement of a Requirements Domain Theory ' , Automated Software Engineering , vol. 8 , no. 2 , pp. 195-218 . https://doi.org/10.1023/A:1008793523863 article 2001 ftuhuddersfieldc https://doi.org/10.1023/A:1008793523863 2023-01-08T18:50:15Z 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 Research Portal |
institution |
Open Polar |
collection |
University of Huddersfield Research Portal |
op_collection_id |
ftuhuddersfieldc |
language |
English |
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, M. M. |
spellingShingle |
Mccluskey, T. L. West, M. M. The Automated Refinement of a Requirements Domain Theory |
author_facet |
Mccluskey, T. L. West, M. 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 |
publishDate |
2001 |
url |
https://pure.hud.ac.uk/en/publications/4d10369e-6e5d-4ffe-98d3-305434f03367 https://doi.org/10.1023/A:1008793523863 http://www.scopus.com/inward/record.url?scp=0035311874&partnerID=8YFLogxK |
genre |
North East Atlantic |
genre_facet |
North East Atlantic |
op_source |
Mccluskey , T L & West , M M 2001 , ' The Automated Refinement of a Requirements Domain Theory ' , Automated Software Engineering , vol. 8 , no. 2 , pp. 195-218 . https://doi.org/10.1023/A:1008793523863 |
op_rights |
info:eu-repo/semantics/closedAccess |
op_doi |
https://doi.org/10.1023/A:1008793523863 |
_version_ |
1766138947143991296 |