Fig 2 - available via license: Creative Commons Attribution 4.0 International
Content may be subject to copyright.
Source publication
Traces are used to show whether a model complies with the intended behavior. A modeler can use trace checking to ensure the preservation of the model behavior during the refinement process. In this paper, we present a trace refinement technique and tool called BERT that allows designers to ensure the behavioral integrity of high-level traces at the...
Contexts in source publication
Context 1
... In Figure 2 one can see the abstract trace and its refinements. The abstract trace in Figure 2a captures the idea of first using the tip blinker, but the user then decides to make the blinking permanent after one blink. ...
Context 2
... Figure 2 one can see the abstract trace and its refinements. The abstract trace in Figure 2a captures the idea of first using the tip blinker, but the user then decides to make the blinking permanent after one blink. Again, after one blink, the user turns off the blinker entirely. ...
Context 3
... Figure 2b one can see the adaptation. The most important change is that it is now necessary to turn on the engine, for the lamps to blink. ...
Context 4
... is mirrored in the resulting trace adaptation. In Figure 2c we see no change compared to Figure 2b besides additional parameters for the events, for example, on position 3. ...
Similar publications
The main objective of this work was to highlight the contribution of cement-to-water C/W ratio and the fractal dimension FD model to the prediction of the compressive strength of concrete. In particular, the fractal dimension FD concept relative to the size distribution of the granular mixtures provided an insight into the fineness and compactness...
