A Practical Event-B Refinement Method Based on a UML-Driven Development Process

Thiago C. de Sousa, Paulo Sérgio Muniz Silva, Colin F. Snook
Digital Printed Abstract View Cite
Type
Short Paper
Publication
3rd International Conference on ASM, Alloy, B, VDM, and Z (ABZ'12)

Abstract

Event-B is a formal method that allows flexible modelling and refinement of systems. However, it is hard to convince developers to adopt it because they are not used to mathematical models and it doesn’t provide any practical refinement method. On the other hand, UML has become the de facto standard for software modelling since it provides an easy graphical notation and nowadays it is supported by many practical process such as ICONIX. In this paper we propose a method for Event-B refinement based on a diffused UML-driven development process. So far, we have defined the steps of the method and the translation of most of the artifacts presented in ICONIX to Event-B.

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{SousaSS12,
  author       = {Thiago C. de Sousa and
                  Paulo S{\'{e}}rgio Muniz Silva and
                  Colin F. Snook},
  editor       = {John Derrick and
                  John S. Fitzgerald and
                  Stefania Gnesi and
                  Sarfraz Khurshid and
                  Michael Leuschel and
                  Steve Reeves and
                  Elvinia Riccobene},
  title        = {A Practical Event-B Refinement Method Based on a UML-Driven Development
                  Process},
  booktitle    = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International
                  Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7316},
  pages        = {357--360},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30885-7\_31},
  doi          = {10.1007/978-3-642-30885-7\_31},
  timestamp    = {Mon, 03 Jan 2022 22:35:01 +0100},
  biburl       = {https://dblp.org/rec/conf/asm/SousaSS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
ABZ'12

Related