Error checking in the Process Interchange Format (PIF) Ontology
Error checking in the Process Interchange Format (PIF) Ontology
It is widely accepted that conceptual errors in the early stages of a software process are often the most pernicious. This is because they reflect a misunderstanding of the domain of application, hence we can have a conceptual error in a description which "looks good" from an abstract mathematical point of view. A section of the Knowledge Based Systems community is now beginning to forge agreements on the use of terminology for particular domains. Amongst the more formal of these is the Process Interchange Format. The existence of these formal agreements allows limited forms of checking for conceptual errors as a supplement to the normal testing process. This paper describes a method for performing such checks.
Kalfoglou, Yannis
d3d242fd-4ce2-4041-b8ea-aa3b3bec3b88
Robertson, Dave
bf58ff91-83fc-41ea-9159-290c29414930
February 1998
Kalfoglou, Yannis
d3d242fd-4ce2-4041-b8ea-aa3b3bec3b88
Robertson, Dave
bf58ff91-83fc-41ea-9159-290c29414930
Kalfoglou, Yannis and Robertson, Dave
(1998)
Error checking in the Process Interchange Format (PIF) Ontology
Record type:
Monograph
(Project Report)
Abstract
It is widely accepted that conceptual errors in the early stages of a software process are often the most pernicious. This is because they reflect a misunderstanding of the domain of application, hence we can have a conceptual error in a description which "looks good" from an abstract mathematical point of view. A section of the Knowledge Based Systems community is now beginning to forge agreements on the use of terminology for particular domains. Amongst the more formal of these is the Process Interchange Format. The existence of these formal agreements allows limited forms of checking for conceptual errors as a supplement to the normal testing process. This paper describes a method for performing such checks.
More information
Published date: February 1998
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 260544
URI: http://eprints.soton.ac.uk/id/eprint/260544
PURE UUID: 6e614444-c620-49b3-8d7e-6a37038be8bc
Catalogue record
Date deposited: 17 Feb 2005
Last modified: 14 Mar 2024 06:39
Export record
Contributors
Author:
Yannis Kalfoglou
Author:
Dave Robertson
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics