Decomposition tool for Event-B
Silva, Renato, Pascal, Carine, Hoang, T.S. and Butler, Michael (2009) Decomposition tool for Event-B. Southampton, UK, University of Southampton, 4pp.
![[file icon]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png)
| PDF 232Kb |
Description/Abstract
Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the respective tool support in the Rodin platform. Besides alleviating the complexity for large systems and respective proofs, decomposition allows team development in parallel over the same model which is very attractive in the industrial environment.
| Item Type: | Monograph (Technical Report) |
|---|---|
| Uncontrolled Keywords: | formal methods, event-b, decomposition, shared event, shared variable, team development, rodin |
| Subjects: | H Social Sciences > HD Industries. Land use. Labor > HD28 Management. Industrial Management 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: | 69665 |
| Deposited On: | 30 Nov 2009 |
| Last Modified: | 07 Jan 2011 07:09 |
Associated Staff Only: edit my ePrint
