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.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
- Publishers print
Download (218Kb) |
Description/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).
| 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 |
| Item ID: | 69664 |
| Date Deposited: | 30 Nov 2009 |
| Last Modified: | 08 Jun 2012 12:31 |
| Contributors: | Pascal, Carine (Author) Silva, Renato (Author) |
| Date: | October 2009 |
| Status: | Unpublished |
| Publisher: | University of Southampton |
| URI: | http://eprints.soton.ac.uk/id/eprint/69664 |
Actions (login required)
 |
View Item |
