Pascal, Carine and Silva, Renato
Event-B model decomposition
At DEPLOY Plenary Technical Workshop 2009.
21 - 23 Oct 2009.
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).
Conference or Workshop Item
|Venue - Dates:
||DEPLOY Plenary Technical Workshop 2009, 2009-10-21 - 2009-10-23
||formal methods, event-b, decomposition, a-style, b-style, team development, rodin
||30 Nov 2009
||18 Apr 2017 21:11
|Further Information:||Google Scholar|
Actions (login required)