Integration und Verifikation von semantischen Integritätsbedingungen in adaptiven Prozess-Management-Systemen

自适应流程管理系统中语义完整性条件的集成和验证

基本信息

项目摘要

Die Einhaltung semantischer Integritätsbedingungen (z.B. medizinische Leitlinien oder Regulationen aus dem Finanzsektor) bei der Abwicklung ihrer Geschäftsprozesse ist für heutige Unternehmen nicht zuletzt aufgrund aktueller Compliance-Anforderungen von immenser Bedeutung. Im Rahmen des im Erstantrag bewilligten Projekts werden grundlegende Konzepte bereitgestellt, die es erlauben, semantische Integritätsbedingungen zu modellieren, Prozessen zuzuweisen und Prozesse gegen die auferlegten Integritätsbedingungen zu prüfen. Hierbei ist die Einhaltung von Integritätsbedingungen nicht nur zur Entwurfszeit der Prozesse wichtig, sondern muss über den gesamten Prozesslebenszyklus hinweg überwacht und unterstützt werden (also insbesondere auch zur Laufzeit in Prozess-Management-Systemen und bei dynamischen Prozessänderungen). Im laufenden Projekt hat sich gezeigt, dass die Einbeziehung von Kontextinformation (z.B. Prozessdaten) unerlässlich ist für die Entwicklung einer tragfähigen Lösung zur Unterstützung von Integritätsbedingungen. Insbesondere stellt die proaktive Identifikation von potentiellen Verletzungen kontextbezogener Integritätsbedingungen eine Herausforderung dar. Des Weiteren zeigte sich, dass die systemseitige Unterstützung über die bloße Identifikation semantischer Konflikte hinausgehen muss. Für die praktische Anwendung der Konzepte muss das System auch Hilfe bei der Wiederherstellung der semantischen Integrität bieten können. Beide Aspekte – Wiederherstellung der Integrität und Kontextbezug in Integritätsbedingungen – sollen im Fortsetzungsprojekt eingehend untersucht und adäquate Ansätze entwickelt werden.
Die Einhaltung semantischer Integritätsbedingungen(z.B. medizinische Leitlinien oder Regulationen aus dem Finanzsektor)bei der Abwicklung ihrer Geschäftsprozesse ist für heutige Unternehmen nicht zuletzt aufgrund aktueller Compliance-Anforderungen von Scholeser Bedeutung. Im Rahmen des im Erstantrag confusligten Projekts韦尔登grundeful de Konzepte bereitgestellt,die es erlauben,semantische Integritätsbedingungen zu modelieren,Prozessen zuzuweisen und Prozesse gegen die auferlegten Integritätsbedingungen zu prüfen.因此,整合的影响不仅仅是对过程的开发,还必须对过程管理系统和动态过程的开发进行协调和充分的韦尔登。在这个项目中,上下文信息(z.B. Prozessdaten)unerlässlich ist für die Entwicklung einer tragfähigen Lösung zur Unterstützung von Integritätsbedingungen. Insbesondere stelt die proaktive Identifikation von potentiellen Verletzungen kontextbezogener Integritätsbedingungen eine Herausforderung dar.因此,系统必须识别语义冲突。Für die praktische Anwendung der Konzepte muss das System auch Hilfe bei der Wiederherstellung der semantischen Integrität bieten können. Beide Aspekte - Wiederherstellung der Integrität und Kontextbezug in Integritätsbedingungen - sollen im Fortsetzungsprojekt eingehend untersucht und adäquate Ansätze entwickelt韦尔登。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Professor Dr. Peter Dadam, since 11/2009其他文献

Professor Dr. Peter Dadam, since 11/2009的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

相似海外基金

Entwicklung und Verifikation einer Methode zur Bestimmung der Zahnfußtragfähigkeit von konischen Stirnrädern
圆锥直齿轮齿根承载能力测定方法的开发与验证
  • 批准号:
    164909843
  • 财政年份:
    2010
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Verifikation von Programmen für speicherprogrammierbare Steuerungen mit Hilfe statischer Analyse und direktem Model-Checking
使用静态分析和直接模型检查验证可编程逻辑控制器的程序
  • 批准号:
    160687124
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Interdisziplinäre HLB-Design-Reviews - Design Reviews und Verifikation in der HLB-Entwicklung (A06)
跨学科 HLB 设计评审 - HLB 开发中的设计评审和验证 (A06)
  • 批准号:
    137296963
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    CRC/Transregios
Verifikation quantitativer Eigenschaften eines Mikrokernbetriebssystems durch eine Kombination von probabilistischem Model Checking und interaktivem Theorembeweisen
通过概率模型检查和交互式定理证明相结合来验证微内核操作系统的定量特性
  • 批准号:
    147212833
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Simulation und Verifikation von Phasenumwandlungen, Eigenspannungen und Verzügen in Gussbauteilen
铸造部件的相变、残余应力和变形的模拟和验证
  • 批准号:
    48083756
  • 财政年份:
    2007
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Dreidimensionale biologische Modellierung des Tumorwachstums sowie der Tumorkontrolle nach Strahlentherapie, Computersimulation von Tumoren, Verifikation des Modells anhand experimenteller und klinischer Daten
放射治疗后肿瘤生长和肿瘤控制的三维生物模型,肿瘤的计算机模拟,基于实验和临床数据的模型验证
  • 批准号:
    49128051
  • 财政年份:
    2007
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Semantische Modellierung, Analyse und Verifikation von sprachbasierter Software-Sicherheit
基于语言的软件安全语义建模、分析与验证
  • 批准号:
    47694595
  • 财政年份:
    2007
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Prozessmodell, Parameteridentifikation, experimentelle Verifikation und Kompensation der Abdrängung
过程模型、参数辨识、实验验证及位移补偿
  • 批准号:
    41305032
  • 财政年份:
    2007
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
Verifikation und Validierung der Folgefließortmodellierungen an praxisnahen Tiefziehbauteilen
对实际拉深部件的后续位置建模进行验证和确认
  • 批准号:
    55621082
  • 财政年份:
    2007
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Äquivalenzen zur Verifikation stochastischer Systeme und deren Klassifizierung
随机系统验证的等价及其分类
  • 批准号:
    33853674
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Research Grants
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了