DynBindModelExamples

This page shows

Example 1

The system

In this example we are studying a symple system with three classes that contains both renaming and selects:

class C1 feature f1 do ... end g1 do ... end end

class C2 inherit B rename f1 as f2, g1 as g2 redefine f2, g2 end feature f2 do ... end g2 do ... end end

class C3 inherit C2 select f1 end C1 redefine f1, g1 select g1 end feature f1 do ... end g1 do ... end end

This system is defined by:

• $S=\{C_1,C_2,C_3\}$
• $S_1=\left\{C_1\right\},S_2=\{C_1,C_2\},S_3=\{C_1,C_2,C_3\}$
• $\tau =\{C_1\mapsto \{f_1\mapsto \underset{\_}{C_1.f_1},g_1\mapsto \underset{\_}{C_1.g_1}\},C_2\mapsto \{f_2\mapsto \underset{\_}{C_2.f_2},g_2\mapsto \underset{\_}{C_2.g_2}\},C_3\mapsto \{f_1\mapsto \underset{\_}{C_3.f_1},g_1\mapsto \underset{\_}{C_3.g_1}\}\}$
• $\eta =\{C_2\mapsto \{C_1\mapsto \{f_1\mapsto f_2,g_1\mapsto g_2\}\}\}$
• $\alpha =\{C_2\mapsto \left\{C_1\right\},C_3\mapsto \{C_2,C_1\}\}$
• $\sigma =\{C_3\mapsto \{C_2\mapsto \left\{f_1\right\},C_2\mapsto \left\{g_1\right\}\}\}$

The naming function

We proceed by calculating the naming function. According to its definition we have to do that incrementaly. Meaning that we first calculate ${\beta }_{S_1}$ then ${\beta }_{S_2}$ and finally ${\beta }_{S_3}$.

Calculating ${\beta }_{S_1}$

Since ${\beta }_{S_1}$ contains only one class it is sufficient to define ${\beta }_{S_1}(C_1\mapsto C_1)$. According to the definition:

${\beta }_{S_1}(C_1\mapsto C_1)=\text{id}\left(\text{dom}\left({\tau }_1\right)\right)\cup \text{UNION}b\cdot (b\in {\alpha }_1|\text{id}\left(\text{ran}({\beta }_{S_0}(b\mapsto b)\ll {\eta }_{1,b})\right))$

We can forget about the right part of the union since $C_1$ has no base classes. So we need to calculate: $\text{id}\left(\text{dom}\left({\tau }_1\right)\right)$.

This done we calculate:

1. ${\tau }_1=\tau (C_1)=\{f_1\mapsto \underset{\_}{C_1.f_1},g_1\mapsto \underset{\_}{C_1.g_1}\}$
2. $\text{dom}\left({\tau }_1\right)=\{f_1,g_1\}$
3. $\text{id}\left(\text{dom}\left({\tau }_1\right)\right)=\{f_1\mapsto f_1,g_1\mapsto g_1\}$

So we get:

${\beta }_{S_1}(C_1\mapsto C_1)=\{f_1\mapsto f_1,g_1\mapsto g_1\}$

Calculating ${\beta }_{S_2}$

Lets calculate the easy part first:

${\beta }_{S_2}(C_1\mapsto C_1)={\beta }_{S_1}(C_1\mapsto C_1)=\{f_1\mapsto f_1,g_1\mapsto g_1\}$

${\beta }_{S_2}(C_2\mapsto C_1)=\mathrm{\varnothing }$

The next least difficult thing we can calculate is:

${\beta }_{S_2}(C_2\mapsto C_2)=\text{id}\left(\text{dom}\left({\tau }_2\right)\right)\cup \text{UNION}b\cdot (b\in {\alpha }_2|\text{id}\left(\text{ran}({\beta }_{S_1}(b\mapsto b)\ll {\eta }_{2,b})\right))$

Lets calculate the left part first:

1. ${\tau }_2=\tau (C_2)=\{f_2\mapsto \underset{\_}{C_2.f_2},g_2\mapsto \underset{\_}{C_2.g_2}\}$
2. $\text{id}\left(\text{dom}\left({\tau }_2\right)\right)=\{f_2\mapsto f_2,g_2\mapsto g_2\}$

And now the right part:

1. $\text{UNION}b\cdot (b\in \left\{C_1\right\}|\text{id}\left(\text{ran}({\beta }_{S_1}(b\mapsto b)\ll {\eta }_{2,b})\right))=\text{id}\left(\text{ran}({\beta }_{S_1}(C_1\mapsto C_1)\ll {\eta }_{2,C_1})\right)$
2. ${\beta }_{S_1}(C_1\mapsto C_1)=\{f_1\mapsto f_1,g_1\mapsto g_1\}$
3. ${\eta }_{2,C_1}=\eta (C_2)(C_1)=\{f_1\mapsto f_2,g_1\mapsto g_2\}$
4. $\{f_1\mapsto f_1,g_1\mapsto g_1\}\ll \{f_1\mapsto f_2,g_1\mapsto g_2\}=\{f_1\mapsto f_2,g_1\mapsto g_2\}$
5. $\text{id}\left(\text{ran}\left(\{f_1\mapsto f_2,g_1\mapsto g_2\}\right)\right)=\{f_2\mapsto f_2,g_2\mapsto g_2\}$

So we get:

${\beta }_{S_2}(C_2\mapsto C_2)=\{f_2\mapsto f_2,g_2\mapsto g_2\}$

And finally we calculate:

${\beta }_{S_2}(C_1\mapsto C_2)={{\beta }_{S_2}}^{\prime }(C_1\mapsto C_2)\ll {\theta }_{S_2}(C_1\mapsto C_2)$

By first calculating:

${{\beta }_{S_2}}^{\prime }(C_1\mapsto C_2)=\text{UNION}b\cdot (b\in {\alpha }_2|{\beta }_{S_1}(C_1\mapsto b);(\text{id}\left(\text{ran}\left({\beta }_{S_1}(C_1\mapsto b)\right)\right)\ll {\eta }_{2,b}))$

1. ${\beta }_{S_1}(C_1\mapsto C_1);(\text{id}\left(\text{ran}\left({\beta }_{S_1}(C_1\mapsto C_1)\right)\right)\ll {\eta }_{2,C_1})$
2. $\text{id}\left(\text{ran}\left({\beta }_{S_1}(C_1\mapsto C_1)\right)\right)=\{f_1\mapsto f_1,g_1\mapsto g_1\}$
3. $\{f_1\mapsto f_1,g_1\mapsto g_1\}\ll \{f_1\mapsto f_2,g_1\mapsto g_2\}=\{f_1\mapsto f_2,g_1\mapsto g_2\}$
4. $\{f_1\mapsto f_1,g_1\mapsto g_1\};\{f_1\mapsto f_2,g_1\mapsto g_2\}=\{f_1\mapsto f_2,g_1\mapsto g_2\}$

So:

${{\beta }_{S_2}}^{\prime }(C_1\mapsto C_2)=\{f_1\mapsto f_2,g_1\mapsto g_2\}$

Next we need to calculate:

${\theta }_{S_2}(C_1\mapsto C_2)=\text{UNION}b\cdot (b\in {\alpha }_2|{\beta }_{S_1}(C_1\mapsto b);(\text{id}\left(\text{ran}\left({\beta }_{S_1}(C_1\mapsto b)\right)\right)\ll {\eta }_{2,b})▹{\sigma }_{2,b})$

1. ${\beta }_{S_1}(C_1\mapsto C_1);(\text{id}\left(\text{ran}\left({\beta }_{S_1}(C_1\mapsto C_1)\right)\right)\ll {\eta }_{2,C_1})▹{\sigma }_{2,C_1}$
2. ${\sigma }_{2,C_1}=\mathrm{\varnothing }$
3. $\text{id}\left(\text{ran}\left({\beta }_{S_1}(C_1\mapsto C_1)\right)\right)\ll \mathrm{\varnothing }=\mathrm{\varnothing }$
4. ${\beta }_{S_1}(C_1\mapsto C_1);\mathrm{\varnothing }=\mathrm{\varnothing }$

So:

${\theta }_{S_2}(C_1\mapsto C_2)=\mathrm{\varnothing }$

And:

${\beta }_{S_2}(C_1\mapsto C_2)=\{f_1\mapsto f_2,g_1\mapsto g_2\}$

By putting the parts together we get:

${\beta }_{S_2}=\{$	$(C_1\mapsto C_1)\mapsto \{f_1\mapsto f_1,g_1\mapsto g_1\}$
	$(C_1\mapsto C_2)\mapsto \{f_1\mapsto f_2,g_1\mapsto g_2\},$
	$(C_2\mapsto C_1)\mapsto \mathrm{\varnothing },$
	$(C_2\mapsto C_2)\mapsto \{f_2\mapsto f_2,g_2\mapsto g_2\}\}$

Calculating ${\beta }_{S_3}$

We will not show the complete construction of ${\beta }_{S_3}$ but restrict our self to the most interesting part: ${\beta }_{S_3}(C_1,C_3)$

${\beta }_{S_3}(C_1\mapsto C_3)={{\beta }_{S_3}}^{\prime }(C_1\mapsto C_3)\ll {\theta }_{S_3}(C_1\mapsto C_3)$

${{\beta }_{S_3}}^{\prime }(C_1\mapsto C_3)=\text{UNION}b\cdot (b\in {\alpha }_3|{\beta }_{S_2}(C_1\mapsto b);(\text{id}\left(\text{ran}\left({\beta }_{S_2}(C_1\mapsto b)\right)\right)\ll {\eta }_{3,b}))$

1. ${\beta }_{S_2}(C_1\mapsto C_2);(\text{id}\left(\text{ran}\left({\beta }_{S_2}(C_1\mapsto C_2)\right)\right)\ll {\eta }_{3,C_2})\cup {\beta }_{S_2}(C_1\mapsto C_1);(\text{id}\left(\text{ran}\left({\beta }_{S_2}(C_1\mapsto C_1)\right)\right)\ll {\eta }_{3,C_1})$