Feb 10, 2014 · 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 ...
In this paper we study two graphical techniques that describe control flows and refinement in the Event-B formal method. These modelling techniques are UML ...
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 ...
Evaluation of graphical control flow management approaches for Event-B modelling. D Dghaym, M Butler, AS Fathabadi. Electronic Communications of the EASST 66 ...
This method facilitates the exploration and evaluation of various event decomposition strategies and refinement strategies for the entire system. At the ...
Oct 16, 2020 · This work aims to model the Stop and Wait mechanism for an Automatic Repeat Request (ARQ) protocol to analyze the complexities due to communication errors.
Missing: Approaches | Show results with:Approaches
This paper proposes a method for Event-B refinement based on a diffused UML-driven development process and defines the steps of the method and the ...
Jun 15, 2018 · In this paper we present a static analysis to determine how events influence each other in Event-B and classical B models.
Event-B is a formal method for describing and verifying systems at the system level. It enables a refining technique to design the system incrementally.
Missing: Evaluation | Show results with:Evaluation
A graphic modeling approach, called Event-B graph, is introduced in this paper, which is used as an alternative way to clearly describe the state flow of the ...