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.
- Publishers print
Two methods have been identiﬁed 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 reﬁned 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  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
|Date Deposited:||30 Nov 2009|
|Last Modified:||08 Jun 2012 12:31|
|Contributors:||Pascal, Carine (Author)
Silva, Renato (Author)
|Publisher:||University of Southampton|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)