课题基金 / 基金详情

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

项目摘要

项目成果

Professor Dr. Dieter Hutter的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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)
Umsetzung von Sicherheitspolitiken auf eine strukturierte, formale Softwareentwicklung
Beweisplanen mit Hilfe von Differenz-Reduktionstechniken
国内基金
海外基金
Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information