The University of Southampton
University of Southampton Institutional Repository

Monitor and Update Master Data Case Studies

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)

Record type: Other

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
Download (364kB)
Archive
UpdateMasterDataCaseStudiesUpl.zip - Other
Download (824kB)

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×