DynBindModelExamples - Revision history

Manus at 10:11, 11 April 2007

2007-04-11T10:11:31Z

← Older revision		Revision as of 10:11, 11 April 2007
Line 1:		Line 1:
	[[Category:ECMA]]		[[Category:ECMA]]
	{{~~Warning\|'''Warning''':~~ Article will be deleted}}		{{Article will be deleted}}
	Author: Matthias Konrad[[Category:ECMA]]		Author: Matthias Konrad[[Category:ECMA]]

Konradm at 19:40, 28 January 2007

2007-01-28T19:40:23Z

← Older revision		Revision as of 19:40, 28 January 2007
Line 1:		Line 1:
	[[Category:ECMA]]		[[Category:ECMA]]
	Author: Matthias Konrad		{{Warning\|'''Warning''': Article will be deleted}}
			Author: Matthias Konrad[[Category:ECMA]]

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

Konradm: /* Calculating $\beta_{S_1}$ */

2007-01-28T18:44:11Z

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

← Older revision		Revision as of 18:44, 28 January 2007
Line 91:		Line 91:
	===Calculating <math>\beta_{S_1}</math>===		===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>		*<math>

Konradm: /* The system */

2007-01-28T18:43:31Z

The system

← Older revision		Revision as of 18:43, 28 January 2007
Line 45:		Line 45:
	\|}		\|}
	This system is defined by:		This system is defined by:

	<math>S=\left\{ A, B, D\right\}</math>		<math>S=\left\{ A, B, D\right\}</math>

Konradm: /* The system */

2007-01-28T18:43:19Z

The system

← Older revision		Revision as of 18:43, 28 January 2007
Line 45:		Line 45:
	\|}		\|}
	This system is defined by:		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 =
			\left\{
			A \mapsto \left\{ f1 \mapsto \underline{A.f1}, g1 \mapsto \underline{A.g1} \right\},
			B \mapsto \left\{ f2 \mapsto \underline{B.f2}, g2 \mapsto \underline{B.g2} \right\},
			D \mapsto \left\{ f1 \mapsto \underline{D.f1}, g1 \mapsto \underline{D.g1} \right\}
			\right\}
	</math>		</math>
	*<math>S_1 = \left\{ A\right\}, S_2 = \left\{ A, B\right\}, S_3 = \left\{ A, B, D \right\}</math>
	*<math>\~~tau~~ =		<math>\alpha = \left\{
	\left\{		A \mapsto \emptyset,
	A \mapsto \~~left\{ f_1 \mapsto \underline{A.f_1}, g_1 \mapsto \underline{A.g_1} \right\}~~,		B \mapsto \left\{ A \right\},
	B \mapsto \left\{ ~~f_2 \mapsto \underline{B.f_2}, g_2 \mapsto \underline{B.g_2}~~ \right\},		D \mapsto \left\{ A, B \right\}
	D \mapsto \left\{ ~~f_1 \mapsto \underline{D.f_1}~~, ~~g_1 \mapsto \underline{D.g_1}~~ \right\}
	\right\}		\right\}
	</math>		</math>
	*<math>\eta =
			<math>\eta =
	\left\{		\left\{
			A \mapsto \emptyset,
	B \mapsto \left\{		B \mapsto \left\{
	A \mapsto \left\{ f_1 \mapsto f_2, g_1 \mapsto g_2 \right\}		A \mapsto \left\{ f_1 \mapsto f_2, g_1 \mapsto g_2 \right\}
			\right\},
			D \mapsto \left\{
			A \mapsto \emptyset, B \mapsto \emptyset
	\right\}		\right\}
	\right\}		\right\}
	</math>		</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,
			B \mapsto \left\{ A \mapsto \emptyset \right\},
			D \mapsto \left\{ A \mapsto \left\{ g_1 \right\},
			B \mapsto \left\{ f_2 \right\} \right\}
	\right\}		\right\}
	</math>		</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>		</math>

Konradm: /* The system */

2007-01-28T18:42:20Z

The system

← Older revision		Revision as of 18:42, 28 January 2007
Line 59:		Line 59:
	*<math>\eta =		*<math>\eta =
	\left\{		\left\{
	~~C_2~~ \mapsto \left\{		B \mapsto \left\{
	~~C_1~~ \mapsto \left\{ f_1 \mapsto f_2, g_1 \mapsto g_2 \right\}		A \mapsto \left\{ f_1 \mapsto f_2, g_1 \mapsto g_2 \right\}
	\right\}		\right\}
	\right\}		\right\}

Konradm: /* The system */

2007-01-28T18:41:36Z

The system

← Older revision		Revision as of 18:41, 28 January 2007
Line 49:		Line 49:
	C = \left\{ 1 \mapsto A, 2 \mapsto B, 3 \mapsto D \right\}		C = \left\{ 1 \mapsto A, 2 \mapsto B, 3 \mapsto D \right\}
	</math>		</math>
	*<math>S_1 = \left\{ ~~C_1~~\right\}, S_2 = \left\{ ~~C_1~~, ~~C_2~~\right\}, S_3 = \left\{ ~~C_1~~, ~~C_2~~, ~~C_3~~ \right\}</math>		*<math>S_1 = \left\{ A\right\}, S_2 = \left\{ A, B\right\}, S_3 = \left\{ A, B, D \right\}</math>
	*<math>\tau =		*<math>\tau =
	\left\{		\left\{
	~~C_1~~ \mapsto \left\{ f_1 \mapsto \underline{~~C_1~~.f_1}, g_1 \mapsto \underline{~~C_1~~.g_1} \right\},		A \mapsto \left\{ f_1 \mapsto \underline{A.f_1}, g_1 \mapsto \underline{A.g_1} \right\},
	~~C_2~~ \mapsto \left\{ f_2 \mapsto \underline{~~C_2~~.f_2}, g_2 \mapsto \underline{~~C_2~~.g_2} \right\},		B \mapsto \left\{ f_2 \mapsto \underline{B.f_2}, g_2 \mapsto \underline{B.g_2} \right\},
	~~C_3~~ \mapsto \left\{ f_1 \mapsto \underline{~~C_3~~.f_1}, g_1 \mapsto \underline{~~C_3~~.g_1} \right\}		D \mapsto \left\{ f_1 \mapsto \underline{D.f_1}, g_1 \mapsto \underline{D.g_1} \right\}
	\right\}		\right\}
	</math>		</math>

Konradm: /* The system */

2007-01-28T18:40:25Z

The system

← Older revision		Revision as of 18:40, 28 January 2007
Line 46:		Line 46:
	This system is defined by:		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>
	*<math>S_1 = \left\{ C_1\right\}, S_2 = \left\{ C_1, C_2\right\}, S_3 = \left\{ C_1, C_2, C_3 \right\}</math>		*<math>S_1 = \left\{ C_1\right\}, S_2 = \left\{ C_1, C_2\right\}, S_3 = \left\{ C_1, C_2, C_3 \right\}</math>
	*<math>\tau =		*<math>\tau =

Konradm: /* The system */

2007-01-28T18:39:48Z

The system

← Older revision		Revision as of 18:39, 28 January 2007
Line 45:		Line 45:
	\|}		\|}
	This system is defined by:		This system is defined by:
	*<math>S = \left\{ ~~C_1~~, ~~C_2~~, ~~C_3~~ \right\} </math>		*<math>S = \left\{ A, B, D \right\} </math>
	*<math>S_1 = \left\{ C_1\right\}, S_2 = \left\{ C_1, C_2\right\}, S_3 = \left\{ C_1, C_2, C_3 \right\}</math>		*<math>S_1 = \left\{ C_1\right\}, S_2 = \left\{ C_1, C_2\right\}, S_3 = \left\{ C_1, C_2, C_3 \right\}</math>
	*<math>\tau =		*<math>\tau =

Konradm: /* The system */

2007-01-28T18:39:20Z

The system

← Older revision		Revision as of 18:39, 28 January 2007
Line 8:		Line 8:
	\|<code>[eiffel, N]		\|<code>[eiffel, N]
	class		class
	C1		A
	feature		feature
	f1 do ... end		f1 do ... end
Line 17:		Line 17:
	<code>[eiffel, N]		<code>[eiffel, N]
	class		class
	C2		B
	inherit		inherit
	C1		A
	rename f1 as f2, g1 as g2		rename f1 as f2, g1 as g2
	redefine f2, g2 end		redefine f2, g2 end
Line 30:		Line 30:
	<code>[eiffel, N]		<code>[eiffel, N]
	class		class
	C3		D
	inherit		inherit
	C2
	~~select f2 end~~		A
	C1
	redefine f1, g1		redefine f1, g1
	select g1 end		select g1 end
			B
			select f2 end
	feature		feature
	f1 do ... end		f1 do ... end

DynBindModelExamples - Revision history

Manus at 10:11, 11 April 2007

Konradm at 19:40, 28 January 2007

Konradm: /* Calculating \beta_{S_1} */

Konradm: /* The system */

Konradm: /* The system */

Konradm: /* The system */

Konradm: /* The system */

Konradm: /* The system */

Konradm: /* The system */

Konradm: /* The system */

Konradm: /* Calculating $\beta_{S_1}$ */