Konstruktive Modallogiken für die semantische Spezifikation von Prozessen der betriebswirtschaftlichen Prüfung von Unternehmen

公司业务审计流程语义规范的构造模态逻辑

• 批准号: 63956644
• 负责人: Professor Dr. Michael Mendler, Ph.D.
• 金额: --
• 依托单位: Lehrstuhl für Grundlagen der Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2008
• 资助国家: 德国
• 起止时间: 2007-12-31 至 2011-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/63956644?language=en
• 关键词: Konstruktive; Modallogiken; die; semantische; Spezifikation

Die digitale Analyse von betriebswirtschaftlichen Prozessen und Unternehmensdaten erlebt in den letzten Jahren einen enormen Bedeutungszuwachs. Dies wird bereichsübergreifend durch die stetige Abbildung von Informationen und Transaktionen auf digitale Medien und Kanäle forciert. Insbesondere die effiziente Auswertung unternehmerischer Daten ist vor dem Hintergrund der aktuellen Lage der heranwachsenden Informationsgesellschaft, der Reifung technologischer Hilfsmittel, der strategischen Absicherung von Unternehmen und der aktuellen Gesetzgebung in Deutschland und Europa von groÿem Interesse. Im Forschungsprojekt sollen zur Prüfung betriebswirtschaftlicher Daten (Wirtschafts-, Betriebs-, Steuerprüfung, Innenrevision) innovative semantikgetriebene Analysemethodiken auf der Basis der Modellierung von Daten- und Prüfprozessen in formalen Ontologien und deren Umsetzung in einem synchronen, daten ussorientierten Ausführungmodell entwickelt werden. Hierzu werden neue konstruktive Modallogiken untersucht, die sowohl deskriptiv als statisches Typsystem als auch präskriptiv zur automatischen Generierung von Prüfprozessen herangezogen werden können. Mit den im Projekt erzielten Ergebnissen soll eine Softwarearchitektur für das betriebswirtschaftliche Auditing geschaffen werden, die den steigenden Anforderungen an Flexibilität, Skalierbarkeit, Benutzerfreundlichkeit und Effizienz in diesem Bereich gerecht wird. In dem Projekt ist die enge Einbeziehung der Industrie hervorzuheben, mit dem Ziel des Wissenstransfers aus der Grundlagenforschung in industrielle Anwendungen.

“数字化分析”与“数字化分析”在“数字化分析”和“数字化分析”中的应用。die wind berichs<s:1> bergreifend durch die stetige Abbildung von Informationen and Transaktionen auf digital mediale und Kanäle force。德国：德国：德国：德国：德国：德国：德国：德国：德国：德国：德国：德国：德国：德国：德国：德国：德国：德国：欧洲：groÿemin Forschungsprojekt sollen zur pr<s:1>, Betriebs-, steuerpr<e:1>, inenrevision)创新语义分析，基于Modellierung von Daten- and proprozessen in formalen ontology and deren Umsetzung in einem synchronen， Daten ussorientierten ausfhrungmodelell entwickelt werden （Wirtschafts-, Betriebs-, steuerpr<e:1>, inenrevision）。分类系统也在分类系统中使用präskriptiv zur automatischen Generierung von pr<s:1> fprozessen herangezogen werden können。在软件架构学方面，我们有两个项目，一个是审计，一个是审计，一个是审计，一个是审计，一个是审计，一个是审计，一个是审计。在德国工业发展项目中，德国工业发展项目在德国工业发展项目中被称为德国工业发展项目。

项目成果

On the Computational Interpretation of CKn for Contextual Information Processing

上下文信息处理中 CKn 的计算解释

• DOI: 10.3233/fi-2014-984
• 发表时间: 2014
• 期刊: Fundam. Informaticae
• 作者: M. Mendler;S. Scheele
• 通讯作者: S. Scheele