D32 Scalability

From Event-B
Revision as of 10:44, 1 December 2010 by imported>Son (→‎Available Documentation)
Jump to navigationJump to search

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

  • The development of Rabin's Choice Coordination Algorithm is [1]

Planning

Flow plug-in

(Alexei)

Group Refinement

(Alexei)

Modes

(Alexei)

Qualitative Reasoning

References

  1. ↑ E. Yilmaz. Rabin's Choice Coordination Development.
Retrieved from ‘https://wiki.event-b.org/index.php?title=D32_Scalability&oldid=2593’