• No se han encontrado resultados

A UML/OCL Framework for the Analysis of Graph Transformation Rules

N/A
N/A
Protected

Academic year: 2020

Share "A UML/OCL Framework for the Analysis of Graph Transformation Rules"

Copied!
22
0
0

Texto completo

Loading

Figure

Fig. 1 Meta-model of a DSVL for production systems.
Fig. 2 Example production system model.
Fig. 4 A direct derivation.
Table 1 OCL expressions for changeRHSr
+6

Referencias

Documento similar

Government policy varies between nations and this guidance sets out the need for balanced decision-making about ways of working, and the ongoing safety considerations

No obstante, como esta enfermedad afecta a cada persona de manera diferente, no todas las opciones de cuidado y tratamiento pueden ser apropiadas para cada individuo.. La forma

On the other, it is possible to analyze the process lived by the partakers of a dialogic situation, for instance, the rules of the dialogue.. Our objective is to gather in

The Dwellers in the Garden of Allah 109... The Dwellers in the Garden of Allah

These users can be common users of the Observatory’s public website (general audience), the graduates involved in the Observatory’s studies, the Spanish universities that

Since the rules are applied to the host graph using injective matches only, and the GTS with a valid source model satisfies the Layered Graph Grammar Defi- nition (Def. 1), the

The gener- ated transformation is expressed in the form of operational triple graph grammar rules that transform the static information (initial model) and the dynamics (source

AToM 3 generates this user interface model by executing a graph grammar (expressed in the Entity Relationship formalism) on the meta-model whose interface is to be generated.. The