Sentence examples for the semantics of the model from inspiring English sources

This is because the semantics of the model become separated from the notation of the model.

The semantics of the model is presented in the context of a process calculus.

These transformations are used to convert the notations of the system modeling language to the format understood by the tools, while the semantics of the model is maintained.

The semantics of the model has been formalized by three-levelled partial temporal models, covering both the material and mental proceses and their relations.

For timed hierarchical state machines we propose the compositional semantics of traces ensuring that the semantics of the model can be determined from the semantics of its components.

Threat model: It is based on a parameter in the semantics of the model based on the Dolev and Yao's network threat model [24], where the intruder has complete control over the communication network.

The Object Constraint Language (OCL) is commonly used for specifying additional constraints on models, in addition, to the ones enforced by the semantics of the models.

We will show how to check whether a particular transformation resulted in an output model that preserves the semantics of the input model with respect to a particular property.

In such a scenario, it is very important that the conversion preserves the semantics of the design model.

Hence, thorough study of the semantics of the data model is essential prior to querying.

The use verification phase is also defined to verify whether the new model do not violate the semantics of the reused models.