The University of Southampton
University of Southampton Institutional Repository

Error checking in the Process Interchange Format (PIF) Ontology

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.
s.n.
Kalfoglou, Yannis
d3d242fd-4ce2-4041-b8ea-aa3b3bec3b88
Robertson, Dave
bf58ff91-83fc-41ea-9159-290c29414930
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 s.n.

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.

Other
rp887.ps - Other
Download (251kB)

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: 23 Sep 2020 16:36

Export record

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×