OntoUML Editor

वर्णन

OntoUML सम्पादक एक मोडलमा आधारित ग्राफिकल सम्पादक हो जसले ओन्टोमएल नामको दार्शनिक र संज्ञानात्मक रूपमा राम्रोसँग स्थापित मोडेलिंग भाषामा अवधारणागत मोडेलहरू र डोमेन ओन्टोलोजीहरूको निर्माणलाई समर्थन गर्दछ, जुन फाउन्डेन्टल ओन्टोलोजी यूएफओमा आधारित छ। सम्पादक एक तरीकाले डिजाइन गरिएको छ, एकतर्फ, यसले प्रयोगकर्तालाई यस भाषाको अन्तर्निहित सिद्धान्तहरूको जटिलताबाट जोगाउँछ। अर्कोतर्फ, यो स्वचालित औपचारिक बाधा प्रमाणीकरणको लागि एक संयन्त्र प्रदान गरेर उत्पादन गरिएको मोडेलहरूमा यी सिद्धान्तहरूलाई अझ सुदृढ बनाउँछ।