利用Fragmenta提升图形数据建模的表现力、模块化和严谨性

《ACM Transactions on Software Engineering and Methodology》：Enhancing Expressivity, Modularity and Rigour of Graphical Data Modelling with Fragmenta

图形化数据建模面临复杂性挑战，Fragmenta框架创新性引入垂直多层次建模、基于代理的横向分解与组合、虚拟继承简化继承关系，并支持图形约束条件，首次实现数学基础与垂直/水平分离的双重优势。

　　

摘要

图形数据建模（或概念建模）是软件工程中最流行的建模应用，但目前这一领域亟需改进。即使对于规模中等、结构简单的系统，图形数据模型也常常变得难以管理。从业者们一直希望能拥有更先进的建模原语和机制，以提高建模的表达能力、用户体验以及其吸引力。Fragmenta正是一个旨在解决这些问题的正式数据与元建模框架，它提供了先进的机制来分离不同方面的关注点。Fragmenta的创新之处包括：(i) 通过垂直细化实现的多层次建模；(ii) 通过代理对象改进片段的水平分解与组合方式；(iii) 用于简化继承关系的“虚拟”机制；(iv) 图形模型约束功能。Fragmenta是首个具有数学基础并配有实现代码的数据建模框架，它同时结合了垂直和水平的方法来分离不同方面的关注点。