Pascal, Carine and Silva, Renato
Event-B model decomposition.
In, DEPLOY Plenary Technical Workshop 2009
21 - 23 Oct 2009.
University of Southampton6pp.
Two methods have been identiﬁed in the DEPLOY project for Event-B model decomposition: the shared variable decomposition (called A-style decomposition), and the shared event decomposition (or B-style decomposition). Both allow the decomposition of a (concrete) model into several independent sub-models which may then be reﬁned separately. The purpose of this paper is to introduce the Event-B model decomposition, from theory (A-style vs. B-style, differences and similarities) to practice (decomposition plug-in of the Rodin  platform).
Actions (login required)