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 - Version of Record
Download (218Kb)


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 [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
Accepted Date and Publication Date:
October 2009Delivered
Date Deposited: 30 Nov 2009
Last Modified: 31 Mar 2016 12:58
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