Sentence examples for refinement relation from inspiring English sources

Since our refinement allows a component to be refined by refusing to produce any output, we also define a refinement relation that guarantees safety and progress.

It might occur that the duals, that are only defined through a refinement relation, do not exist in L2.

Refinement methods also allow us to subsequently compare two systems to see if a refinement relation exists between the two.

In this paper, we extend our previous works on checking interface automata interoperability by adapting their alternating refinement relation to the action semantics.

A simulation (or refinement) relation between two state-based models allows to structure these models from an abstract view to a concrete view.

Given ALTS of a new specification (a function F) and an existing component (a device D), a new refinement relation from F to D, called an S-matching relation, is proposed for precise specification matching.

Possible refinement relations between models can now be described based on the corresponding meta-models.

This iterative process is usually not taken into account in conventional refinement relations.

It can also be used as a semantic foundation for proving properties of connectors, such as equivalence and refinement relations between connectors.

This model can be used as a semantic foundation for proving properties of connectors, such as equivalence and refinement relations between connectors.

A specification theory combines notions of specification and implementation with satisfaction and refinement relations, and a set of operators that together support stepwise design.