Difference between revisions of "D32 Scalability"
From Event-B
Jump to navigationJump to searchimported>Son m (→Motivations) |
imported>Son m |
||
Line 1: | Line 1: | ||
=== Overview === | === Overview === | ||
Regarding scalability of the Rodin platform, the following contributions has been made: | 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 | * Emre Yilmaz and Thai Son Hoang (ETH Zurich) has developed a plug-in for | ||
=== Motivations === | === Motivations === | ||
+ | |||
+ | ==== Flow plug-in ==== | ||
+ | (Alexei) | ||
+ | |||
+ | ==== Group Refinement ==== | ||
+ | (Alexei) | ||
+ | |||
+ | ==== Modes ==== | ||
+ | (Alexei) | ||
==== Qualitative Reasoning ==== | ==== Qualitative Reasoning ==== | ||
=== Choices/Decisions === | === Choices/Decisions === | ||
+ | |||
+ | ==== Flow plug-in ==== | ||
+ | (Alexei) | ||
+ | |||
+ | ==== Group Refinement ==== | ||
+ | (Alexei) | ||
+ | |||
+ | ==== Modes ==== | ||
+ | (Alexei) | ||
+ | |||
+ | ==== Qualitative Reasoning ==== | ||
=== Available Documentation === | === Available Documentation === | ||
+ | |||
+ | |||
=== Planning === | === Planning === | ||
+ | ==== Flow plug-in ==== | ||
+ | (Alexei) | ||
+ | |||
+ | ==== Group Refinement ==== | ||
+ | (Alexei) | ||
+ | |||
+ | ==== Modes ==== | ||
+ | (Alexei) | ||
+ | |||
+ | ==== Qualitative Reasoning ==== | ||
=== References === | === References === |
Revision as of 10:31, 1 December 2010
Contents
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
Planning
Flow plug-in
(Alexei)
Group Refinement
(Alexei)
Modes
(Alexei)