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). |
| Keywords: | |
| 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. |
| Download: | POSTSCRIPT COPY |
![[Search These Pages]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}