arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2406.07129cs.AI
收藏

挖掘概念模型中的频繁结构

Mining Frequent Structures in Conceptual Models

Free University of Bozen-Bolzano(博尔扎诺自由大学);University of Twente(特文特大学);University of Catania(卡塔尼亚大学);TU Wien(维也纳技术大学)

Mattia Fumagalli, Tiago Prince Sales, Pedro Paulo F. Barcelos, Giovanni Micale, Philipp-Lorenz Glaser, Dominik Bork, Vadim Zaytsev, Diego Calvanese, Giancarlo Guizzardi

AI总结:

针对概念模型中模式发现缺乏系统性解决方案的问题,提出一种挖掘频繁结构的通用方法,并开发集成频繁子图挖掘算法的探索性工具,经验证可有效识别建模实践并支持语言演化与高质量模型创建。

摘要:

在概念建模中,使用结构化方法来表示知识的问题广为人知,并已被研究多年。事实证明,采用建模模式(modeling patterns)是一种有效的结构化方法。实际上,模式是可泛化的循环结构,可作为设计问题的解决方案加以利用。它们有助于理解和改进创建模型的过程。多项实验研究证明了在概念建模中使用模式的不可否认的价值。然而,在概念模型中发现模式被广泛认为是一项高度复杂的任务,目前缺乏用于模式识别的系统性解决方案。在本文中,我们提出了一种通用方法来解决发现概念建模语言中出现的频繁结构的问题。作为概念验证,我们通过聚焦两种广泛使用的概念建模语言实现了该方法。该实现包含一个探索性工具,它将频繁子图挖掘算法与图操作技术相集成。该工具处理多个概念模型,并根据各种标准识别循环结构。我们使用两个最先进的精选数据集验证该工具:一个由用OntoUML编码的模型组成,另一个由用ArchiMate编码的模型组成。我们方法的主要目标是为语言工程师提供支持工具。该工具可用于识别有效和无效的建模实践,从而实现概念建模语言的改进与演化。此外,它促进了积累的专业知识的重用,最终支持以给定语言创建更高质量的模型。

英文摘要:

The problem of using structured methods to represent knowledge is well-known in conceptual modeling and has been studied for many years. It has been proven that adopting modeling patterns represents an effective structural method. Patterns are, indeed, generalizable recurrent structures that can be exploited as solutions to design problems. They aid in understanding and improving the process of creating models. The undeniable value of using patterns in conceptual modeling was demonstrated in several experimental studies. However, discovering patterns in conceptual models is widely recognized as a highly complex task and a systematic solution to pattern identification is currently lacking. In this paper, we propose a general approach to the problem of discovering frequent structures, as they occur in conceptual modeling languages. As proof of concept, we implement our approach by focusing on two widely-used conceptual modeling languages. This implementation includes an exploratory tool that integrates a frequent subgraph mining algorithm with graph manipulation techniques. The tool processes multiple conceptual models and identifies recurrent structures based on various criteria. We validate the tool using two state-of-the-art curated datasets: one consisting of models encoded in OntoUML and the other in ArchiMate. The primary objective of our approach is to provide a support tool for language engineers. This tool can be used to identify both effective and ineffective modeling practices, enabling the refinement and evolution of conceptual modeling languages. Furthermore, it facilitates the reuse of accumulated expertise, ultimately supporting the creation of higher-quality models in a given language.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑