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
Publisher: University of Southampton
URI: http://eprints.soton.ac.uk/id/eprint/69664

Actions (login required)

View Item View Item