Towards Modelling Obligations in Event-B

  title={Towards Modelling Obligations in Event-B},
  author={Juan Bicarregui and {\'A}lvaro Enrique Arenas and Benjamin Aziz and Philippe Massonet and Christophe Ponsard},
We propose a syntactic extension of Event-B incorporating a limited notion of obligation described by triggers. The trigger of an event is the dual of the guard: when a guard is not true, an event must not occur, whereas when a trigger is true, the event must occur. The obligation imposed by a trigger is interpreted as a constraint on when the other events are permitted. For example, the simplest trigger next, which states that the event must be the next one to be executed when the trigger… CONTINUE READING
Highly Cited
This paper has 70 citations. REVIEW CITATIONS

5 Figures & Tables



Citations per Year

70 Citations

Semantic Scholar estimates that this publication has 70 citations based on the available data.

See our FAQ for additional information.