OntoUML Editor

Lýsing

OntoUML ritstjóri er líkanstengdur grafískur ritstjóri sem styður gerð hugmyndalíkana og lénaverufræði á heimspekilegu og vitrænu vel rökstuddu líkanarmáli að nafni OntoUML, sem er byggt á grunnverufræði UFO. Ritstjórinn er hannaður á þann hátt að það verndar notandann fyrir margbreytileika verufræðilegra meginreglna sem liggja til grundvallar þessu tungumáli. Á hinn bóginn styrkir það þessar meginreglur í framleiddum gerðum með því að útvega kerfi til sjálfvirkrar formlegrar sannprófunar.