Event-B model decomposition

Pascal, Carine and Silva, Renato (2009) Event-B model decomposition. In, DEPLOY Plenary Technical Workshop 2009 21 - 23 Oct 2009. University of Southampton6pp.


[img] PDF - Publishers print
Download (218Kb)


Two methods have been identified 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 refined 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 [1] platform).

Item Type: Conference or Workshop Item (Other)
Keywords: formal methods, event-b, decomposition, a-style, b-style, team development, rodin
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: University Structure - Pre August 2011 > School of Electronics and Computer Science > Dependable Systems and Software Engineering Research Group
ePrint ID: 69664
Date Deposited: 30 Nov 2009
Last Modified: 27 Mar 2014 18:49
URI: http://eprints.soton.ac.uk/id/eprint/69664

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics