Event-B model decomposition

Pascal, Carine and Silva, Renato (2009) Event-B model decomposition At DEPLOY Plenary Technical Workshop 2009. 21 - 23 Oct 2009. 6 pp.


[img] PDF decomposition_demo_tool.pdf - Version of Record
Download (223kB)


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)
Venue - Dates: DEPLOY Plenary Technical Workshop 2009, 2009-10-21 - 2009-10-23
Keywords: formal methods, event-b, decomposition, a-style, b-style, team development, rodin
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
ePrint ID: 69664
Date :
Date Event
October 2009Published
Date Deposited: 30 Nov 2009
Last Modified: 18 Apr 2017 21:11
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/69664

Actions (login required)

View Item View Item