Difference between revisions of "D32 Scalability"

From Event-B
Jump to navigationJump to search
imported>Son
imported>Son
Line 38: Line 38:
 
=== Available Documentation ===
 
=== Available Documentation ===
  
* Master thesis of Emre Yilmaz on developing tool support for qualitative reasoning in Event-B <ref>[http://e-collection.ethbib.ethz.ch/view/eth:1677  E. Yilmaz. Tool support for qualitative reasoning in Event-B]</ref>
+
* Master thesis of Emre Yilmaz on developing tool support for qualitative reasoning in Event-B <ref>[http://e-collection.ethbib.ethz.ch/view/eth:1677  E. Yilmaz. Tool support for qualitative reasoning in Event-B]</ref>.
  
* The development of Rabin's Choice Coordination Algorithm is available at the DEPLOY Repository <ref>[http://deploy-eprints.ecs.soton.ac.uk/232/ E. Yilmaz. Rabin's Choice Coordination Development.]</ref>
+
* The development of Rabin's Choice Coordination Algorithm is available at the DEPLOY Repository <ref>[http://deploy-eprints.ecs.soton.ac.uk/232/ E. Yilmaz. Rabin's Choice Coordination Development.]</ref>.
 +
 
 +
* A paper in the Proceedings of AVoCS'10 <ref>[http://deploy-eprints.ecs.soton.ac.uk/258/ E. Yilmaz and T.S. Hoang, Development of Rabin's Choice Coordination Algorithm in Event-B]</ref>.
  
 
=== Planning ===
 
=== Planning ===

Revision as of 11:11, 1 December 2010

Overview

Regarding scalability of the Rodin platform, the following contributions has been made:

  • (Alexei) Flow plug-in
  • (Alexei) Group Refinement
  • (Alexei) Modes
  • Emre Yilmaz and Thai Son Hoang (ETH Zurich) has developed a plug-in for

Motivations

Flow plug-in

(Alexei)

Group Refinement

(Alexei)

Modes

(Alexei)

Qualitative Reasoning

Choices/Decisions

Flow plug-in

(Alexei)

Group Refinement

(Alexei)

Modes

(Alexei)

Qualitative Reasoning

Available Documentation

  • Master thesis of Emre Yilmaz on developing tool support for qualitative reasoning in Event-B [1].
  • The development of Rabin's Choice Coordination Algorithm is available at the DEPLOY Repository [2].
  • A paper in the Proceedings of AVoCS'10 [3].

Planning

Flow plug-in

(Alexei)

Group Refinement

(Alexei)

Modes

(Alexei)

Qualitative Reasoning

References