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 ontology - based - erten Änderungsmanagements fbr die Entwicklung, Änderung and Anpassung von technischen aber dennoch informal beschriebenen documentensammlungen。1 .我在这里学习了一种Formalen Methoden entwickelte Änderungsmanagementtechniken。Solche Dokumente besitzen zwar keine formale Semantik,由meistens formalisierbare syntaktische和semantische struckturierungen合并而成,见《系统本体论》。die ermöglicht eineformalisierung von Begriffen wikonsistenz and Invarianz informaler Dokumente, um damit ebenfalls die Auswirkung lokaler Änderungen in einem document auganizdokumentsamlungen formalisieren zu können。Umgekehrt ermöglicht die Verwendung solcher ontology, die eine Notation fgr semantische Abhängigkeiten zwischen Dokumentteilen zur verf<e:1> gung stellen, potentielle Auswirkungen von Änderungen auf Teilbereiche einer Dokumentsammlung zu beschränken。[8] [8] [1] [j] .基于原型的网络学习技术评价[j] .网络学习文献[j]。法学家Verträge) durchgefhrt werden sollen。Der Erfolg des Ansatzes wind sich darin zeigen, dass entweder Der Aufwand figen, dass entweder Verwaltung von Dokumenten signant reduziert wind oder die neuen Techniken es erstmals ermöglichen, in bestestimten Anwendungsdomänen ein effective Änderungsmanagement berhaupt durchzufhren。
英文摘要
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
-
负责人:江洋子
-
依托单位: