An Event-B framework for the validation of Event-B refinement plugins
Software Engineering
2017-01-05 v1
Abstract
We propose an Event-B framework for modeling the underlying theoretical foundations of Event-B. The aim of this framework is to reuse, for Event-B itself, the refinement development process. This framework introduces first, a functional kernel through an Event-B context, then, it defines Event-B projects, their static and dynamic semantics through Event-B machines. We intend to use this framework for the validation of Event-B plugins related to distribution and for Event-B extensions related to composition and decomposition.
Cite
@article{arxiv.1701.00960,
title = {An Event-B framework for the validation of Event-B refinement plugins},
author = {Jean-Paul Bodeveix and Mamoun Filali and Mohamed Tahar Bhiri and Badr Siala},
journal= {arXiv preprint arXiv:1701.00960},
year = {2017}
}
Comments
Event-B day 2016, Tokyo