D32 Scalability

From Event-B
Revision as of 11:11, 1 December 2010 by imported>Son (→‎Available Documentation)
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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

  1. ↑ E. Yilmaz. Tool support for qualitative reasoning in Event-B
  2. ↑ E. Yilmaz. Rabin's Choice Coordination Development.
  3. ↑ E. Yilmaz and T.S. Hoang, Development of Rabin's Choice Coordination Algorithm in Event-B
Retrieved from ‘https://wiki.event-b.org/index.php?title=D32_Scalability&oldid=2596’