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.
![[file icon]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png)
| PDF - Publishers print 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) |
|---|---|
| Uncontrolled 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 |
| Deposited On: | 30 Nov 2009 |
| Last Modified: | 07 Jan 2011 07:09 |
Associated Staff Only: edit my ePrint
