Rodin Handbook
This work is sponsored by the Deploy Project
This work is sponsored by the ADVANCE Project
This work is licensed under a Creative Commons Attribution 3.0 Unported License
 |
 |
 |
Rodin User’s Handbook v.2.8 |  |
 |
 |
2.7 Event-B Concepts
![\includegraphics[width=7mm]{img/tick_64.png}](images/img-0002.png)
Goals: This section is an overview of the fundamental concepts of Event-B.
In Event-B we have two kind of components. A context describes the static elements of a model. A machine describes the dynamic behavior of a model. We have already used a machine to model the traffic light problem in Section 2.4. In the last section (2.6), we used a context to model the Agatha problem.
|
|
|
|
|
|