D32 Scalability: Difference between revisions
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)
