Difference between revisions of "D32 Scalability"

From Event-B
Jump to: navigation, search
m (Motivations)
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 11:31, 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

Planning

Flow plug-in

(Alexei)

Group Refinement

(Alexei)

Modes

(Alexei)

Qualitative Reasoning

References