SSP Group Meeting
December 10th, Wednesday, 11am-12pm
Department of Artificial Intelligence, 80 South Bridge, Room F13


A proposed mechanism for detecting errors in s/w specifications based on Ontologies

Yannis Kalfoglou

In my informal talk I will revisit the problem of detecting errors that occur at the early phases on s/w development. It is true that these errors, if occur, are difficult to be detected and they are conveyed at the subsequent phases of s/w development. They might be also the case that these errors will retain their existence even after the completion of the s/w product with pernicious results. I will propose a mechanism, that will be able to detect errors that occur at specifications that are based on Ontologies, and specifically the PIF Ontology. The meta-interpreter mechanism will be explored in full as well as the design decisions that have been made so far. Some early results as well as ways that the proposed mechanism can be extended will be addressed. Your input/comments are always welcomed.