Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
复制标题
软件工程和形式化方法。
DOI：
10.1007/978-3-031-26236-4_11
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Hoang T
中科院分区：
文献类型：
--
作者：
Hoang T
在本文中，我们提出了CamilleX框架的罗丹平台。该框架为Event-B建模构造提供了文本表示和持久性。它支持对Event-B语法的直接扩展，如机器包含和记录结构，以及其他插件提供的间接扩展，如UML-B图。我们讨论CamilleX的设计，它的扩展机制，以及它们的使用例子。
We present the CamilleX framework for the Rodin platform in this paper. The framework provides a textual representation and persistence for the Event-B modelling constructs. It supports direct extensions to the Event-B syntax, such as machine inclusion and record structures, and indirect extensions provided by other plugins, such as UML-B diagrams. We discuss CamilleX’s design, its extension mechanisms, and examples of their use.