基于工业自动化领域实例的一致性管理场景描述语言
编程语言
2018-03-30 v1
摘要
为应对开发和维现代(软件)系统日益增加的复杂性,可以建立并使用同一系统的多个抽象(模型),以允许不同领域专家协作并贡献各自的专业知识。然而,这种分而治之的基于模型的方法需要支持并发工程过程,即提供检查、恢复和确保所有涉及并并发维护模型一致性的手段。提供此类支持的任务通常被称为一致性管理。尽管存在各种一致性管理方法以及双向变换(bx)文献中描述的众多(工业)案例研究,目前仍没有对模型同步及其他形式一致性管理的多样化但相关的工业应用的统一描述。这使得检测与需求、约束、应用技术和工具相关的异同具有挑战性。因此难以将(成功)项目中获得的知识比较并转移到其他bx方法甚至同一通用方法的其他bx工具。在本文中,因此我们提出一种用于一致性管理问题域中预期场景的描述语言,以及一种补充性的用于模型驱动工程(MDE)解域中方法片段和方法模式形式解决策略的描述语言。我们的工作受到bx和MDE社区先前研究的启发,并基于我们与工业合作伙伴 Siemens AG 在工业自动化领域共同研究一系列应用场景超过十年的集体经验。[因arXiv而删节]
引用
@article{arxiv.1803.10831,
title = {Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain},
author = {Anthony Anjorin and Enes Yigitbas and Erhan Leblebici and Andy Schürr and Marius Lauder and Martin Witte},
journal= {arXiv preprint arXiv:1803.10831},
year = {2018}
}