Extending the ERS approach for workflow modelling in Event-B

Doctoral thesis English OPEN
Dghaym, Dana;

The Event Refinement Structures (ERS) approach augments the Event-B formal method with hierarchical diagrams, providing explicit support for control fow and refinement relationships. ERS was originally designed to decompose the atomicity of the events in Event-B and lat... View more
Share - Bookmark