Monitor and Update Master Data Case Studies
Hoang, Thai Son, Illianov, Alexei, Silva, Renato and Wei, Wei (2011) Monitor and Update Master Data Case Studies.
Other (Update Master Data Case Study using shared event, shared variable decomposition and modularisation)
Other (Monitor Case Study using shared event, shared variable decomposition and modularisation)
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 reﬁnement 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.
|Divisions:||Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems
|Date Deposited:||08 Apr 2011 14:51|
|Last Modified:||02 Mar 2012 11:41|
|Contributors:||Hoang, Thai Son (Author)
Illianov, Alexei (Author)
Silva, Renato (Author)
Wei, Wei (Author)
|Date:||8 April 2011|
|Further Information:||Google Scholar|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)