The CamilleX Framework for the Rodin Platform

Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler
Digital Printed Abstract View Cite
Type
Short Paper
Publication
8th International Conference on Rigorous State Based Methods (ABZ'21)

Abstract

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, as well as indirect extensions provided by other plugins such as UML-B diagrams. We discusses CamilleX’s design and in particular, its extension mechanisms and examples of their use.

Document

If you cannot see the document below, the PDF document is most likely not freely accessible. In this case, please try to access the document via this link.

Reference

% BibTex
@inproceedings{HoangSDFB21,
  author       = {Thai Son Hoang and
                  Colin F. Snook and
                  Dana Dghaym and
                  Asieh Salehi Fathabadi and
                  Michael J. Butler},
  editor       = {Alexander Raschke and
                  Dominique M{\'{e}}ry},
  title        = {The CamilleX Framework for the Rodin Platform},
  booktitle    = {Rigorous State-Based Methods - 8th International Conference, {ABZ}
                  2021, Ulm, Germany, June 9-11, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12709},
  pages        = {124--129},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-77543-8\_11},
  doi          = {10.1007/978-3-030-77543-8\_11},
  timestamp    = {Tue, 15 Jun 2021 17:24:03 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/HoangSDFB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
ABZ'21

Related