Ontology-Driven Management of Change
Ontology-Driven Management of Change
批准号:
45154386
负责人:
Professor Dr. Dieter Hutter
金额:
$0.0万
依托单位:
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2007
资助国家:
德国
项目状态:
已结题
起止时间:
2006-12-31 至 2010-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(2)
专著(0)
科研奖励(0)
会议论文
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
Entwicklung von Methoden und Werkzeugen zur semantischen Aufwertung von Tabellenkalkulation
-
批准号:193388432
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2011
-
负责人:Professor Dr. Dieter Hutter
-
依托单位:
Transfer and enhancement of information-flow control techniques to develop secure systems using the example of workflow systems (MORES2)
-
批准号:183700043
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr. Dieter Hutter
-
依托单位:
Umsetzung von Sicherheitspolitiken auf eine strukturierte, formale Softwareentwicklung
-
批准号:5202012
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1999
-
负责人:Professor Dr. Dieter Hutter
-
依托单位:
Beweisplanen mit Hilfe von Differenz-Reduktionstechniken
-
批准号:5295420
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:1997
-
负责人:Professor Dr. Dieter Hutter
-
依托单位:
国内基金
海外基金
Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information
-
批准号:--
-
项目类别:外国青年学者研究基金项目
-
资助金额:--
-
批准年份:2024
-
负责人:江洋子
-
依托单位: