Event-B model decomposition
Event-B model decomposition
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).
formal methods, event-b, decomposition, a-style, b-style, team development, rodin
Pascal, Carine
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Silva, Renato
884a067a-d20d-480d-8777-430bdee494b4
October 2009
Pascal, Carine
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Silva, Renato
884a067a-d20d-480d-8777-430bdee494b4
Pascal, Carine and Silva, Renato
(2009)
Event-B model decomposition.
DEPLOY Plenary Technical Workshop 2009.
21 - 23 Oct 2009.
6 pp
.
Record type:
Conference or Workshop Item
(Other)
Abstract
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).
Text
decomposition_demo_tool.pdf
- Version of Record
More information
Published date: October 2009
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
Identifiers
Local EPrints ID: 69664
URI: http://eprints.soton.ac.uk/id/eprint/69664
PURE UUID: 2b55b25f-7f6f-4ad9-984b-3e84016857cf
Catalogue record
Date deposited: 30 Nov 2009
Last modified: 14 Mar 2024 02:39
Export record
Contributors
Author:
Carine Pascal
Author:
Renato Silva
Download statistics
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