A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling
2014
Electronic Communications of the EASST
Integrating graphical representations with formal methods can help bridge the gap between requirements and formal modelling. In this paper, we compare and evaluate two graphical approaches aiming at describing control flows and refinement in Event-B, and we use a fire dispatch system case study to perform this evaluation. The fire dispatch system case study provides a good example of a complex workflow through which we try to identify a process that facilitates defining the structural and the
doi:10.14279/tuj.eceasst.66.891
dblp:journals/eceasst/DghaymBF13
fatcat:yktqh5djlndrlomtfym4fzgcme