Monitor and Update Master Data Case Studies
Monitor and Update Master Data Case Studies
Model decomposition is a powerful tool to scale the design of large and complex systems. It enables developers to separate components development from the concerns of their integration and orchestration. Event-B is a stepwise refinement based formal method, which also includes decomposition within its scope. Currently, there exists three different styles of decomposition for Event-B. This paper gives some useful insights and proposes some modelling guidelines for effectively applying these Event-B decomposition techniques. We illustrate our approach through several case studies.
Hoang, Thai Son
b99b73ae-444d-48e5-94cd-baa455f9def7
Illianov, Alexei
eb10e038-6b2b-4a17-bbe8-8d24d9ee743e
Silva, Renato
884a067a-d20d-480d-8777-430bdee494b4
Wei, Wei
cfb0a0ca-3c06-49c0-be81-54e39ff2dad6
Hoang, Thai Son
b99b73ae-444d-48e5-94cd-baa455f9def7
Illianov, Alexei
eb10e038-6b2b-4a17-bbe8-8d24d9ee743e
Silva, Renato
884a067a-d20d-480d-8777-430bdee494b4
Wei, Wei
cfb0a0ca-3c06-49c0-be81-54e39ff2dad6
Hoang, Thai Son, Illianov, Alexei, Silva, Renato and Wei, Wei
(2011)
Monitor and Update Master Data Case Studies.
(In Press)
Abstract
Model decomposition is a powerful tool to scale the design of large and complex systems. It enables developers to separate components development from the concerns of their integration and orchestration. Event-B is a stepwise refinement based formal method, which also includes decomposition within its scope. Currently, there exists three different styles of decomposition for Event-B. This paper gives some useful insights and proposes some modelling guidelines for effectively applying these Event-B decomposition techniques. We illustrate our approach through several case studies.
Archive
MonitorCaseStudyUpl.zip
- Other
Archive
UpdateMasterDataCaseStudiesUpl.zip
- Other
More information
Accepted/In Press date: 8 April 2011
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 272164
URI: http://eprints.soton.ac.uk/id/eprint/272164
PURE UUID: c1a7b501-bd6e-41e0-8d3f-e16f48941ef7
Catalogue record
Date deposited: 08 Apr 2011 14:51
Last modified: 14 Mar 2024 09:49
Export record
Contributors
Author:
Thai Son Hoang
Author:
Alexei Illianov
Author:
Renato Silva
Author:
Wei Wei
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