当前位置: X-MOL 学术Form. Asp. Comput. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management
Formal Aspects of Computing ( IF 1 ) Pub Date : 2021-07-30 , DOI: 10.1007/s00165-021-00555-2
Patrick Stünkel 1 , Harald König 1, 2 , Yngve Lamo 1 , Adrian Rutle 1
Affiliation  

Abstract

Model management is a central activity in Software Engineering. The most challenging aspect of model management is to keep inter-related models consistent with each other while they evolve. As a consequence, there is a lot of scientific activity in this area, which has produced an extensive body of knowledge, methods, results and tools. The majority of these approaches, however, are limited to binary inter-model relations; i.e. the synchronisation of exactly two models. Yet, not every multi-ary relation can be factored into a family of binary relations. In this paper, we propose and investigate a novel comprehensive system construction, which is able to represent multi-ary relations among multiple models in an integrated manner and thus serves as a formal foundation for artefacts used in consistency management activities involving multiple models. The construction is based on the definition of partial commonalities among a set of models using the same language, which is used to denote the (local) models. The main theoretical results of this paper are proofs of the facts that comprehensive systems are an admissible environment for (i) applying formal means of consistency verification (diagrammatic predicate framework), (ii) performing algebraic graph transformation (weak adhesive HLR category), and (iii) that they generalise the underlying setting of graph diagrams and triple graph grammars.



中文翻译:

综合系统:多模型一致性管理的正式基础

摘要

模型管理是软件工程的核心活动。模型管理最具挑战性的方面是在相互关联的模型发展时保持相互一致。因此,在这一领域开展了大量的科学活动,产生了广泛的知识、方法、结果和工具。然而,这些方法中的大多数仅限于二元模型间关系。即恰好两个模型的同步。然而,并不是每个多元关系都可以分解为一个二元关系族。在本文中,我们提出并研究了一种新颖的综合系统构建,它能够以集成的方式表示多个模型之间的多元关系,从而作为形式基础用于涉及多个模型的一致性管理活动中的人工制品。该构造基于使用相同语言的一组模型之间的部分共性的定义,该语言用于表示(本地)模型。本文的主要理论结果证明了综合系统是一个可接受的环境,用于(i)应用一致性验证的形式化手段(图解谓词框架),(ii)执行代数图变换(弱粘性 HLR 类别),以及(iii) 他们概括了图和三重图语法的基本设置。

更新日期:2021-07-30
down
wechat
bug