Diskussion:Object Constraint Language - Versionsgeschichte

Fit: Neuer Abschnitt /* OCL und Kategorie Abfragesprache */

2012-06-25T23:14:30Z

Neuer Abschnitt OCL und Kategorie Abfragesprache

← Nächstältere Version		Version vom 26. Juni 2012, 01:14 Uhr
Zeile 59:		Zeile 59:
	Stimmt das mit den sieben Constraint Typen? Ich hab gelesen, dass in der OCL Spec zumindest formell nur vier Stereotypes für Constraints definiert sind (inv, pre, post, def). Die restlichen laufen wohl unter was anderem. Allerdings bin ich mir da nicht so wirklich sicher, da ich mich erst seit kurzem mit OCL befasse. Siehe dazu auch die Spec unter http://www.omg.org/cgi-bin/doc?formal/2012-01-01.pdf Kapitel 7.3.1 und Klassendiagramme in Kapitel 12		Stimmt das mit den sieben Constraint Typen? Ich hab gelesen, dass in der OCL Spec zumindest formell nur vier Stereotypes für Constraints definiert sind (inv, pre, post, def). Die restlichen laufen wohl unter was anderem. Allerdings bin ich mir da nicht so wirklich sicher, da ich mich erst seit kurzem mit OCL befasse. Siehe dazu auch die Spec unter http://www.omg.org/cgi-bin/doc?formal/2012-01-01.pdf Kapitel 7.3.1 und Klassendiagramme in Kapitel 12
	--[[Spezial:Beiträge/91.9.49.214\|91.9.49.214]] 18:50, 29. Apr. 2012 (CEST)		--[[Spezial:Beiträge/91.9.49.214\|91.9.49.214]] 18:50, 29. Apr. 2012 (CEST)

			== OCL und Kategorie ''Abfragesprache'' ==

			Wieso steht die OCL in der Kategorie ''Abfragesprache''? So richtig das aus den beiden Wikipedia-Artikeln ''[[OCL]]'' und ''[[Abfragesprache]]'' nicht hervor. -- [[Benutzer:Fit\|Fit]] ([[Benutzer Diskussion:Fit\|Diskussion]]) 01:14, 26. Jun. 2012 (CEST)

91.9.49.214 am 29. April 2012 um 17:06 Uhr

2012-04-29T17:06:39Z

← Nächstältere Version		Version vom 29. April 2012, 19:06 Uhr
Zeile 57:		Zeile 57:
	== Constraint Typen ==		== Constraint Typen ==

	Stimmt das mit den sieben Constraint Typen? Ich hab gelesen, dass in der OCL Spec zumindest formell nur ~~drei~~ ~~stereotypes~~ für Constraints definiert sind (inv, pre, post). Die restlichen laufen wohl unter was anderem. Allerdings bin ich mir da nicht so wirklich sicher, da ich mich erst seit kurzem mit OCL befasse. Siehe dazu auch die Spec unter http://www.omg.org/cgi-bin/doc?formal/2012-01-01.pdf Kapitel 7.3.1 und Klassendiagramme in Kapitel 12		Stimmt das mit den sieben Constraint Typen? Ich hab gelesen, dass in der OCL Spec zumindest formell nur vier Stereotypes für Constraints definiert sind (inv, pre, post, def). Die restlichen laufen wohl unter was anderem. Allerdings bin ich mir da nicht so wirklich sicher, da ich mich erst seit kurzem mit OCL befasse. Siehe dazu auch die Spec unter http://www.omg.org/cgi-bin/doc?formal/2012-01-01.pdf Kapitel 7.3.1 und Klassendiagramme in Kapitel 12
	--[[Spezial:Beiträge/91.9.49.214\|91.9.49.214]] 18:50, 29. Apr. 2012 (CEST)		--[[Spezial:Beiträge/91.9.49.214\|91.9.49.214]] 18:50, 29. Apr. 2012 (CEST)

91.9.49.214: /* Constraint Typen */

2012-04-29T16:50:05Z

Constraint Typen

← Nächstältere Version		Version vom 29. April 2012, 18:50 Uhr
Zeile 57:		Zeile 57:
	== Constraint Typen ==		== Constraint Typen ==

	Stimmt das mit den sieben Constraint Typen? Ich hab gelesen, dass in der OCL Spec nur drei stereotypes für Constraints definiert sind (inv, pre, post). Die restlichen laufen wohl unter was anderem. Allerdings bin ich mir da nicht so wirklich sicher, da ich mich erst seit kurzem mit OCL befasse.		Stimmt das mit den sieben Constraint Typen? Ich hab gelesen, dass in der OCL Spec zumindest formell nur drei stereotypes für Constraints definiert sind (inv, pre, post). Die restlichen laufen wohl unter was anderem. Allerdings bin ich mir da nicht so wirklich sicher, da ich mich erst seit kurzem mit OCL befasse. Siehe dazu auch die Spec unter http://www.omg.org/cgi-bin/doc?formal/2012-01-01.pdf Kapitel 7.3.1 und Klassendiagramme in Kapitel 12
			--[[Spezial:Beiträge/91.9.49.214\|91.9.49.214]] 18:50, 29. Apr. 2012 (CEST)

91.9.49.214: Neuer Abschnitt /* Constraint Typen */

2012-04-29T16:42:21Z

Neuer Abschnitt Constraint Typen

← Nächstältere Version		Version vom 29. April 2012, 18:42 Uhr
Zeile 54:		Zeile 54:
	== Toter Link==		== Toter Link==
	"an introduction to ocl" <small>(''nicht [[Hilfe:Signatur\|signierter]] Beitrag von'' [[Benutzer:132.230.151.42\|132.230.151.42]] ([[Benutzer Diskussion:132.230.151.42\|Diskussion]] \| [[Spezial:Beiträge/132.230.151.42\|Beiträge]]) 12:59, 14. Sep. 2009 (CEST)) </small>		"an introduction to ocl" <small>(''nicht [[Hilfe:Signatur\|signierter]] Beitrag von'' [[Benutzer:132.230.151.42\|132.230.151.42]] ([[Benutzer Diskussion:132.230.151.42\|Diskussion]] \| [[Spezial:Beiträge/132.230.151.42\|Beiträge]]) 12:59, 14. Sep. 2009 (CEST)) </small>

			== Constraint Typen ==

			Stimmt das mit den sieben Constraint Typen? Ich hab gelesen, dass in der OCL Spec nur drei stereotypes für Constraints definiert sind (inv, pre, post). Die restlichen laufen wohl unter was anderem. Allerdings bin ich mir da nicht so wirklich sicher, da ich mich erst seit kurzem mit OCL befasse.

88.76.8.137: /* Beispiele */

2011-12-19T01:58:27Z

Beispiele

← Nächstältere Version		Version vom 19. Dezember 2011, 03:58 Uhr
Zeile 18:		Zeile 18:

	Diese Änderung müsste auch noch im UML-Diagramm vorgenommen werden (eltern 0..2). <small>(''nicht [[Hilfe:Signatur\|signierter]] Beitrag von'' [[Benutzer:Kowarschick\|Kowarschick]] ([[Benutzer Diskussion:Kowarschick\|Diskussion]] \| [[Spezial:Beiträge/Kowarschick\|Beiträge]]) 13:59, 25. Feb. 2011 (CET)) </small>		Diese Änderung müsste auch noch im UML-Diagramm vorgenommen werden (eltern 0..2). <small>(''nicht [[Hilfe:Signatur\|signierter]] Beitrag von'' [[Benutzer:Kowarschick\|Kowarschick]] ([[Benutzer Diskussion:Kowarschick\|Diskussion]] \| [[Spezial:Beiträge/Kowarschick\|Beiträge]]) 13:59, 25. Feb. 2011 (CET)) </small>

			###
			Anmerkungen zu den Beispielen:
			8. Jede Person, die mindestens ein Auto besitzt, hat mindestens ein Auto, das jünger ist als sie selbst.
			Anmerkung: Diese Bedingung ist so (auf diese Realität bezogen, also als Beispiel) falsch, schliesslich kann ich mir auch einen Oldtimer kaufen/geschenkt bekommen.
			10. Es gibt mindestens eine Person, die ein Auto besitzt. (Bzw. von allen Personen gibt es mindestens eine Person, die mindestens ein Auto besitzt.)
			Anmerkung: Der Zusatz in der Klammer bzgl. der Person enthält keine Information. Eine Person bezieht sich (im allgemeinen Sprachgebrauch) immer auf eine Person von allen Personen. Also könnte man formulieren: Es gibt mindestens eine Person, die mindestens ein Auto besitzt.
			-- [[Spezial:Beiträge/88.76.8.137\|88.76.8.137]] 02:58, 19. Dez. 2011 (CET) Jus

	== Eigenständigkeit von OCL ==		== Eigenständigkeit von OCL ==

CopperBot: Bot: Signaturnachtrag für Beitrag von Kowarschick: "/* Beispiele */ "

2011-02-25T13:29:26Z

Bot: Signaturnachtrag für Beitrag von Kowarschick: " Beispiele: "

← Nächstältere Version		Version vom 25. Februar 2011, 15:29 Uhr
Zeile 17:		Zeile 17:
	Ich habe diese Bedingung daher in „Eine Person hat höchstens 2 Eltern.“ abgeändert.		Ich habe diese Bedingung daher in „Eine Person hat höchstens 2 Eltern.“ abgeändert.

	Diese Änderung müsste auch noch im UML-Diagramm vorgenommen werden (eltern 0..2).		Diese Änderung müsste auch noch im UML-Diagramm vorgenommen werden (eltern 0..2). <small>(''nicht [[Hilfe:Signatur\|signierter]] Beitrag von'' [[Benutzer:Kowarschick\|Kowarschick]] ([[Benutzer Diskussion:Kowarschick\|Diskussion]] \| [[Spezial:Beiträge/Kowarschick\|Beiträge]]) 13:59, 25. Feb. 2011 (CET)) </small>

	== Eigenständigkeit von OCL ==		== Eigenständigkeit von OCL ==

Kowarschick: /* Beispiele */

2011-02-25T12:59:26Z

Beispiele

← Nächstältere Version		Version vom 25. Februar 2011, 14:59 Uhr
Zeile 17:		Zeile 17:
	Ich habe diese Bedingung daher in „Eine Person hat höchstens 2 Eltern.“ abgeändert.		Ich habe diese Bedingung daher in „Eine Person hat höchstens 2 Eltern.“ abgeändert.

	Diese Änderung müsste auch noch im UML-Diagramm vorgenommen werden (eltern 0..2].		Diese Änderung müsste auch noch im UML-Diagramm vorgenommen werden (eltern 0..2).

	== Eigenständigkeit von OCL ==		== Eigenständigkeit von OCL ==

Kowarschick: /* UML Diagramm */

2011-02-25T12:58:49Z

UML Diagramm

← Nächstältere Version		Version vom 25. Februar 2011, 14:58 Uhr
Zeile 10:		Zeile 10:

	Der Satz "Das folgende UML-Klassendiagramm verdeutlicht die OCL und lässt verschiedene Bedingungen in OCL formulieren:" ist unsinnig. Wieso verdeutlicht das Klassendiagramm die OCL? <small>(''nicht [[Hilfe:Signatur\|signierter]] Beitrag von'' [[Spezial:Beiträge/94.220.83.155\|94.220.83.155]] ([[Benutzer Diskussion:94.220.83.155\|Diskussion]]) 11:34, 7. Feb. 2011 (CET)) </small>		Der Satz "Das folgende UML-Klassendiagramm verdeutlicht die OCL und lässt verschiedene Bedingungen in OCL formulieren:" ist unsinnig. Wieso verdeutlicht das Klassendiagramm die OCL? <small>(''nicht [[Hilfe:Signatur\|signierter]] Beitrag von'' [[Spezial:Beiträge/94.220.83.155\|94.220.83.155]] ([[Benutzer Diskussion:94.220.83.155\|Diskussion]]) 11:34, 7. Feb. 2011 (CET)) </small>

			==Beispiele==
			Das als Beispiel angegebene Bedingung „Eine Person hat genau 2 Eltern.“ ist unerfüllbar.
			Spätestens bei Adam und Eva ist Schluss, außer man trägt Gott als Vater und Mutter von Adam und Eva und von sich selbst ein.

			Ich habe diese Bedingung daher in „Eine Person hat höchstens 2 Eltern.“ abgeändert.

			Diese Änderung müsste auch noch im UML-Diagramm vorgenommen werden (eltern 0..2].

	== Eigenständigkeit von OCL ==		== Eigenständigkeit von OCL ==

CopperBot: Bot: Signaturnachtrag für Beitrag von 94.220.83.155: "/* UML Diagramm */ "

2011-02-07T11:04:46Z

Bot: Signaturnachtrag für Beitrag von 94.220.83.155: " UML Diagramm: "

← Nächstältere Version		Version vom 7. Februar 2011, 13:04 Uhr
Zeile 9:		Zeile 9:
	Bei der Gelegenheit müßten in den zugehörigen Constraints die Attribut-Zugriffe in Kleinschreibung geändert werden. Goodbyte 03:45, 25. Aug. 2008 (CEST)		Bei der Gelegenheit müßten in den zugehörigen Constraints die Attribut-Zugriffe in Kleinschreibung geändert werden. Goodbyte 03:45, 25. Aug. 2008 (CEST)

	Der Satz "Das folgende UML-Klassendiagramm verdeutlicht die OCL und lässt verschiedene Bedingungen in OCL formulieren:" ist unsinnig. Wieso verdeutlicht das Klassendiagramm die OCL?		Der Satz "Das folgende UML-Klassendiagramm verdeutlicht die OCL und lässt verschiedene Bedingungen in OCL formulieren:" ist unsinnig. Wieso verdeutlicht das Klassendiagramm die OCL? <small>(''nicht [[Hilfe:Signatur\|signierter]] Beitrag von'' [[Spezial:Beiträge/94.220.83.155\|94.220.83.155]] ([[Benutzer Diskussion:94.220.83.155\|Diskussion]]) 11:34, 7. Feb. 2011 (CET)) </small>

	== Eigenständigkeit von OCL ==		== Eigenständigkeit von OCL ==

94.220.83.155: /* UML Diagramm */

2011-02-07T10:34:46Z

UML Diagramm

← Nächstältere Version		Version vom 7. Februar 2011, 12:34 Uhr
Zeile 8:		Zeile 8:
	Ja, sollte wirklich mal ausgetauscht werden. Ich habe es mal etwas korrigiert. Leider weiß ich nicht, wie ich es hier hochladen kann. Ich habe es mal auf http://files.mellons.de/OCL-Beispiel.png hochgeladen. Ist selbstgezeichnet und jeder darf es weiterverwenden wie er lustig ist. Wäre also schön, wenn das jemand hier mal hochladen und verlinken könnte.		Ja, sollte wirklich mal ausgetauscht werden. Ich habe es mal etwas korrigiert. Leider weiß ich nicht, wie ich es hier hochladen kann. Ich habe es mal auf http://files.mellons.de/OCL-Beispiel.png hochgeladen. Ist selbstgezeichnet und jeder darf es weiterverwenden wie er lustig ist. Wäre also schön, wenn das jemand hier mal hochladen und verlinken könnte.
	Bei der Gelegenheit müßten in den zugehörigen Constraints die Attribut-Zugriffe in Kleinschreibung geändert werden. Goodbyte 03:45, 25. Aug. 2008 (CEST)		Bei der Gelegenheit müßten in den zugehörigen Constraints die Attribut-Zugriffe in Kleinschreibung geändert werden. Goodbyte 03:45, 25. Aug. 2008 (CEST)

			Der Satz "Das folgende UML-Klassendiagramm verdeutlicht die OCL und lässt verschiedene Bedingungen in OCL formulieren:" ist unsinnig. Wieso verdeutlicht das Klassendiagramm die OCL?

	== Eigenständigkeit von OCL ==		== Eigenständigkeit von OCL ==