DynBindModelExamples - Revision history

Manus at 10:11, 11 April 2007

2007-04-11T10:11:31Z

2007-01-28T19:40:23Z

2007-01-28T18:44:11Z

‎Calculating <math>\beta_{S_1}</math>

2007-01-28T18:43:31Z

‎The system

2007-01-28T18:43:19Z

‎The system

2007-01-28T18:42:20Z

‎The system

2007-01-28T18:41:36Z

‎The system

2007-01-28T18:40:25Z

‎The system

2007-01-28T18:39:48Z

‎The system

2007-01-28T18:39:20Z

‎The system

@@ Line 1: / Line 1: @@
 [[Category:ECMA]]
-{{Warning|'''Warning''': Article will be deleted}}
+{{Article will be deleted}}
 Author: Matthias Konrad[[Category:ECMA]]

@@ Line 1: / Line 1: @@
 [[Category:ECMA]]
-Author: Matthias Konrad
+{{Warning|'''Warning''': Article will be deleted}}
 ==The system==
 In this example we are studying a simple system with three classes that contains both renaming and selects:

@@ Line 91: / Line 91: @@
 ===Calculating <math>\beta_{S_1}</math>===
-Since <math>\beta_{S_1}</math> contains only one class it is sufficient to define <math>\beta_{S_1}\left( C_1 \mapsto C_1 \right)</math>. According to the definition:
+Since <math>\beta_{S_1}</math> contains only one class it is sufficient to define <math>\beta_{S_1}\left( A \mapsto A\right)</math>. According to the definition:
 *<math>

@@ Line 45: / Line 45: @@
 |}
 This system is defined by:
 <math>S=\left\{ A, B, D\right\}</math>

@@ Line 45: / Line 45: @@
 |}
 This system is defined by:
-*<math>S = \left\{ A, B, D \right\} </math>
+<math>S=\left\{ A, B, D\right\}</math>
-*<math>
-   C = \left\{ 1 \mapsto A, 2 \mapsto B, 3 \mapsto D \right\}
+<math>\tau =
-</math>
-*<math>S_1 = \left\{ A\right\}, S_2 = \left\{ A, B\right\}, S_3 = \left\{ A, B, D \right\}</math>
-*<math>\tau =
 \left\{
-    A \mapsto \left\{ f_1 \mapsto \underline{A.f_1}, g_1 \mapsto \underline{A.g_1} \right\},
+    A \mapsto \left\{ f1 \mapsto \underline{A.f1}, g1 \mapsto \underline{A.g1} \right\},
-    B \mapsto \left\{ f_2 \mapsto \underline{B.f_2}, g_2 \mapsto \underline{B.g_2} \right\},
+    B \mapsto \left\{ f2 \mapsto \underline{B.f2}, g2 \mapsto \underline{B.g2} \right\},
-    D \mapsto \left\{ f_1 \mapsto \underline{D.f_1}, g_1 \mapsto \underline{D.g_1} \right\}
+    D \mapsto \left\{ f1 \mapsto \underline{D.f1}, g1 \mapsto \underline{D.g1} \right\}
 \right\}
 </math>
-*<math>\eta =
 \left\{
     B \mapsto \left\{
        A \mapsto \left\{ f_1 \mapsto f_2, g_1 \mapsto g_2 \right\}
     \right\}
 \right\}
 </math>
-*<math>\alpha = \left\{
-    C_2 \mapsto \left\{ C_1 \right\},
+<math>\sigma = \left\{
-    C_3 \mapsto \left\{ C_2, C_1 \right\}
+    A \mapsto \emptyset,
 \right\}
 </math>
-*<math>\sigma = \left\{
-   C_3 \mapsto \left\{ C_2 \mapsto \left\{ f_2 \right\}, C_1 \mapsto \left\{ g_1 \right\} \right\}
+<math>
-\right\}
+   C = \left\{ 1 \mapsto A, 2 \mapsto B, 3 \mapsto D \right\}
 </math>

@@ Line 8: / Line 8: @@
 |<code>[eiffel, N]
 class
-    C1
 feature
     f1 do ... end
@@ Line 17: / Line 17: @@
 <code>[eiffel, N]
 class
-    C2
 inherit
-    C1
        rename f1 as f2, g1 as g2
        redefine f2, g2 end
@@ Line 30: / Line 30: @@
 <code>[eiffel, N]
 class
-    C3
 inherit
-    C2
-      select f2 end
-    C1
        redefine f1, g1
        select g1 end
 feature
     f1 do ... end