Building an Extensible Textual Framework for the Rodin Platform.

SEFM Workshops(2022)

引用 1|浏览13
暂无评分
摘要
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.
更多
查看译文
关键词
rodin platform,extensible textual framework
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要