Ontology-Driven Management of Change

本体驱动的变革管理

• 批准号: 45154386
• 负责人: Professor Dr. Dieter Hutter
• 金额: --
• 依托单位: Department Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2007
• 资助国家: 德国
• 起止时间: 2006-12-31 至 2010-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/45154386?language=en
• 关键词: Ontology; Driven; Management; Change

OMoC zielt auf die Entwicklung eines Ontologie-basierten Änderungsmanagements für die Entwicklung, Änderung und Anpassung von technischen aber dennoch informal beschriebenen Dokumentensammlungen. Im Bereich der Formalen Methoden entwickelte Änderungsmanagementtechniken sollen für informale Dokumente angepasst und erweitert werden. Solche Dokumente besitzen zwar keine formale Semantik, beinhalten aber meistens formalisierbare syntaktische und semantische Strukturierungen, die in Systemontologien erfasst werden können. Dies ermöglicht eine Formalisierung von Begriffen wie Konsistenz und Invarianz informaler Dokumente, um damit ebenfalls die Auswirkung lokaler Änderungen in einem Dokument auf ganze Dokumentsammlungen formalisieren zu können. Umgekehrt ermöglicht die Verwendung solcher Ontologien, die eine Notation für semantische Abhängigkeiten zwischen Dokumentteilen zur Verfügung stellen, potentielle Auswirkungen von Änderungen auf Teilbereiche einer Dokumentsammlung zu beschränken. Für die Evaluierung der zu entwickelnden Techniken wird ein Prototyp entwickelt, in dem vier Fallstudien (z.B. Verwaltung von E-Learning Dokumente bzw. juristischer Verträge) durchgeführt werden sollen. Der Erfolg des Ansatzes wird sich darin zeigen, dass entweder der Aufwand für die konsistente Verwaltung von Dokumenten signifikant reduziert wird oder die neuen Techniken es erstmals ermöglichen, in bestimmten Anwendungsdomänen ein effektives Änderungsmanagement überhaupt durchzuführen.

OMoC 是对本体论基础的研究，是对研究的本体管理、技术研究和非正式文档记录的管理。和韦尔登。 Invarianz 非正式文档，um damit ebenfalls die Auswirkung lokaler änderungen in einem Dokument auf ganze Dokumentsammlungenformalisieren zu können.文档的保存方式是在文档收集之前进行的。电子学习文档 bzw。最初，在最好的情况下，管理是有效的。

项目成果

TNTBase: Versioned Storage for XML

TNTBase：XML 版本化存储

• DOI: 10.4242/balisagevol3.zholudev01
• 发表时间: 2009
• 作者: Vyacheslav Zholudev;Michael Kohlhase
• 通讯作者: Michael Kohlhase

Dimensions of formality: a case study for MKM in software engineering

形式化维度：软件工程中 MKM 的案例研究

• DOI: 10.1007/978-3-642-14128-7_31
• 发表时间: 2010
• 作者: Andrea Kohlhase; Michael Kohlhase;Christoph Lange
• 通讯作者: Christoph Lange