Mallipohjainen diagnostiikka 4M-projektissa

4M-Project
Martti Meri
TKK/TKO
26.1.2005

Lähtötietojen analysointia

  1. XP:n vikailmoitusten tarkastelua , 19.10.2004
  2. kalenterin käytön vikojen analyysin pohjalta tarpeet ontologialle, 11.11.2004 (pyydä kopio, 8.2.2005)

ModelBasedTool (MBT)

  1. MBT - Software Module Specification (Draft), 26.1.2005
  2. Calendar micro-ontology (ref 11.11.2004 paper) , 26.1.2005
  3. Owl to Prolog translator, 26.1.2005
  4. Ontology as Prolog facts , Predicates with arity 2, 26.1.2005
  5. Repsesentation of positive and negative observations , 26.1.2005
  6. Module for extracting behavioural model i.e. rules from the Prolog-version of ontology, 26.1.2005
  7. Behavioural Model generated by the previous module, 26.1.2005
  8. MBT - Diagnostic core of the tool, 26.1.2005
  9. Java wrapper (incomplete) for connecting mbd.pl to FactsReasoner., 26.1.2005
  10. Output of bm2hypo.pl ,the results of the diagnosis ., 26.1.2005