The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Research Paper #887

Title:Error Checking in the Process Interchange Format (Pif) Ontology
Authors:Kalfoglou,I; Robertson,DS
Date:Feb 1998
Presented:Submitted to EWSPT-6 (6the European Workshop on Software Process Technology).
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.

[Search These Pages] [DAI Home Page] [Comment]