Object Constraint Language - Versionsgeschichte

TaxonKatBot: Bot: Kategorie:UML umbenannt in Kategorie:Unified Modeling Language: laut Diskussion

2022-11-18T06:06:00Z

Bot: Kategorie:UML umbenannt in Kategorie:Unified Modeling Language: laut Diskussion

← Nächstältere Version		Version vom 18. November 2022, 08:06 Uhr
Zeile 86:		Zeile 86:
	<references />		<references />

	[[Kategorie:~~UML~~]]		[[Kategorie:Unified Modeling Language]]

2001:16B8:4080:A800:D977:A681:1F5E:D4B4: Wie in der englischen Version des Artikels eine Tabelle erstellt, da diese übersichtlicher ist als zwei Auflistungen.

2021-07-26T09:59:08Z

Wie in der englischen Version des Artikels eine Tabelle erstellt, da diese übersichtlicher ist als zwei Auflistungen.

@@ Zeile 33: / Zeile 33: @@
 Das folgende UML-[[Klassendiagramm]] verdeutlicht die OCL und lässt verschiedene Bedingungen in OCL formulieren:
 [[Datei:OCL-Beispiel.png|Klassendiagramm]]
-=== Bedingungen ===
+!Bedingungen
-# <code>'''context''' Person '''inv''': self.alter >=0</code>
+|<code>'''context''' Person '''inv''': self.eltern->size()<=2</code>
-# <code>'''context''' Person '''inv''': self.eltern->size()<=2</code>
+|<code>'''context''' Person::bekommtKind() '''post''': self.kinder->notEmpty() and self.kinder->size() > self.kinder@pre->size()</code>
-# <code>'''context''' Person '''inv''': self.alter<18 '''implies''' self.autos->isEmpty()</code>
+|Nur eine erwachsene Person darf ein Auto besitzen.
-# <code>'''context''' Person '''inv''': self.eltern->excludes(self)</code>
+|<code>'''context''' Auto '''inv''': self.erstzulassung>=self.baujahr</code>
 == Literatur ==

BrunoBoehmler: Änderung 205752422 von 2A02:8070:99A4:B400:7D16:AD4F:F862:6DE9 rückgängig gemacht; die noch nicht erwachsene Person ist <18 und nicht <17, oder?

2020-11-30T13:18:12Z

Änderung 205752422 von 2A02:8070:99A4:B400:7D16:AD4F:F862:6DE9 rückgängig gemacht; die noch nicht erwachsene Person ist <18 und nicht <17, oder?

← Nächstältere Version		Version vom 30. November 2020, 15:18 Uhr
Zeile 53:		Zeile 53:
	# <code>'''context''' Person '''inv''': self.eltern->size()<=2</code>		# <code>'''context''' Person '''inv''': self.eltern->size()<=2</code>
	# <code>'''context''' Person::bekommtKind() '''post''': self.kinder->notEmpty() and self.kinder->size() > self.kinder@pre->size()</code>		# <code>'''context''' Person::bekommtKind() '''post''': self.kinder->notEmpty() and self.kinder->size() > self.kinder@pre->size()</code>
	# <code>'''context''' Person '''inv''': self.alter<17 '''implies''' self.autos->isEmpty()</code>		# <code>'''context''' Person '''inv''': self.alter<18 '''implies''' self.autos->isEmpty()</code>
	# <code>'''context''' Auto '''inv''': self.erstzulassung>=self.baujahr</code>		# <code>'''context''' Auto '''inv''': self.erstzulassung>=self.baujahr</code>
	# <code>'''context''' Person '''inv''': self.autos->notEmpty() '''implies''' self.autos->exists( a \| '''Calendar.YEAR''' - a.baujahr < self.alter)</code>		# <code>'''context''' Person '''inv''': self.autos->notEmpty() '''implies''' self.autos->exists( a \| '''Calendar.YEAR''' - a.baujahr < self.alter)</code>

BrunoBoehmler: /* Einleitung */ Punkt vor statt hinter , Kleinkram

2020-11-30T13:13:22Z

Einleitung: Punkt vor statt hinter <ref>, Kleinkram

← Nächstältere Version		Version vom 30. November 2020, 15:13 Uhr
Zeile 1:		Zeile 1:
	Die '''Object Constraint Language''' (OCL) ist eine Sprache, mit der [[Softwarearchitekt]]en notwendige Randbedingungen bei der Modellierung von [[Computerprogramm]]en formal festlegen können. Die OCL ist Bestandteil der weltweit etablierten Modellierungssprache ''[[Unified Modeling Language]]'' (UML) und dient unter anderem der textuellen Spezifikation von [[Invariante (Informatik)\|Invarianten]] in [[Klassendiagramm]]en, von Bedingungen in [[Sequenzdiagramm]]en oder der Formulierung von Vor- und Nachbedingungen für Methoden. Die OCL-Syntax ist an die [[Programmiersprache]] [[Smalltalk-80 (Programmiersprache)\|Smalltalk]] angelehnt. OCL ist seit der UML-Version 1.1 Bestandteil der UML.		Die '''Object Constraint Language''' (OCL) ist eine Sprache, mit der [[Softwarearchitekt]]en notwendige Randbedingungen bei der Modellierung von [[Computerprogramm]]en formal festlegen können. Die OCL ist Bestandteil der weltweit etablierten Modellierungssprache ''[[Unified Modeling Language]]'' (UML) und dient unter anderem der textuellen Spezifikation von [[Invariante (Informatik)\|Invarianten]] in [[Klassendiagramm]]en, von Bedingungen in [[Sequenzdiagramm]]en oder der Formulierung von Vor- und Nachbedingungen für Methoden. Die OCL-Syntax ist an die [[Programmiersprache]] [[Smalltalk-80 (Programmiersprache)\|Smalltalk]] angelehnt. OCL ist seit der UML-Version 1.1 Bestandteil der UML.

	Ein wesentliches Einsatzgebiet der OCL besteht auch in der Modelltransformation. Hier ist OCL ein zentraler Bestandteil vieler Transformationssprachen, wie [[MOF QVT\|QVT]] oder [[Atlas Transformation Language\|ATL]].		Ein wesentliches Einsatzgebiet der OCL besteht auch in der Modelltransformation. Hier ist OCL ein zentraler Bestandteil vieler Transformationssprachen, wie [[MOF QVT\|QVT]] oder [[Atlas Transformation Language\|ATL]].

	Die aktuelle Version der OCL ist 2.4<ref>[http://www.omg.org/spec/OCL/] OMG Spezifikation</ref>.		Die aktuelle Version der OCL ist 2.4.<ref>[http://www.omg.org/spec/OCL/ OMG Spezifikation]</ref>

	== Constraints in der OCL ==		== Constraints in der OCL ==

2A02:8070:99A4:B400:7D16:AD4F:F862:6DE9: /* OCL Constraints */

2020-11-20T14:44:31Z

OCL Constraints

← Nächstältere Version		Version vom 20. November 2020, 16:44 Uhr
Zeile 53:		Zeile 53:
	# <code>'''context''' Person '''inv''': self.eltern->size()<=2</code>		# <code>'''context''' Person '''inv''': self.eltern->size()<=2</code>
	# <code>'''context''' Person::bekommtKind() '''post''': self.kinder->notEmpty() and self.kinder->size() > self.kinder@pre->size()</code>		# <code>'''context''' Person::bekommtKind() '''post''': self.kinder->notEmpty() and self.kinder->size() > self.kinder@pre->size()</code>
	# <code>'''context''' Person '''inv''': self.alter<18 '''implies''' self.autos->isEmpty()</code>		# <code>'''context''' Person '''inv''': self.alter<17 '''implies''' self.autos->isEmpty()</code>
	# <code>'''context''' Auto '''inv''': self.erstzulassung>=self.baujahr</code>		# <code>'''context''' Auto '''inv''': self.erstzulassung>=self.baujahr</code>
	# <code>'''context''' Person '''inv''': self.autos->notEmpty() '''implies''' self.autos->exists( a \| '''Calendar.YEAR''' - a.baujahr < self.alter)</code>		# <code>'''context''' Person '''inv''': self.autos->notEmpty() '''implies''' self.autos->exists( a \| '''Calendar.YEAR''' - a.baujahr < self.alter)</code>

Misi DE: Text für Einzelnachweis ergänzt

2018-08-31T12:45:33Z

Text für Einzelnachweis ergänzt

← Nächstältere Version		Version vom 31. August 2018, 14:45 Uhr
Zeile 3:		Zeile 3:
	Ein wesentliches Einsatzgebiet der OCL besteht auch in der Modelltransformation. Hier ist OCL ein zentraler Bestandteil vieler Transformationssprachen, wie [[MOF QVT\|QVT]] oder [[Atlas Transformation Language\|ATL]].		Ein wesentliches Einsatzgebiet der OCL besteht auch in der Modelltransformation. Hier ist OCL ein zentraler Bestandteil vieler Transformationssprachen, wie [[MOF QVT\|QVT]] oder [[Atlas Transformation Language\|ATL]].

	Die aktuelle Version der OCL ist 2.4<ref>[http://www.omg.org/spec/OCL/]</ref>.		Die aktuelle Version der OCL ist 2.4<ref>[http://www.omg.org/spec/OCL/] OMG Spezifikation</ref>.

	== Constraints in der OCL ==		== Constraints in der OCL ==

Invisigoth67: form

2015-07-24T18:29:16Z

form

← Nächstältere Version		Version vom 24. Juli 2015, 20:29 Uhr
Zeile 58:		Zeile 58:
	# <code>'''context''' Person '''inv''': self.eltern->excludes(self)</code>		# <code>'''context''' Person '''inv''': self.eltern->excludes(self)</code>
	# <code style="white-space: nowrap">'''context''' Person '''inv''': Person.allInstances()->exists(p \| p.autos->size() > 0)</code>		# <code style="white-space: nowrap">'''context''' Person '''inv''': Person.allInstances()->exists(p \| p.autos->size() > 0)</code>

⚫	== ~~Links~~ ==
⚫	* [http://www.omg.org/spec/OCL/ OCL-Referenz der OMG]
⚫	* [http://www-st.inf.tu-dresden.de/ocl/ OCL Portal – The center for OCL related information]

	== Literatur ==		== Literatur ==
Zeile 72:		Zeile 68:
	\|Jahr=2004		\|Jahr=2004
	\|ISBN=3-8266-1445-3 }}		\|ISBN=3-8266-1445-3 }}

		⚫	== Weblinks ==
		⚫	* [http://www.omg.org/spec/OCL/ OCL-Referenz der OMG]
		⚫	* [http://www-st.inf.tu-dresden.de/ocl/ OCL Portal – The center for OCL related information]

	== Einzelnachweise ==		== Einzelnachweise ==
	<references />		<references />


	[[Kategorie:UML]]		[[Kategorie:UML]]

FzBot: Bot: Vorlage:Navigationsleiste Abfragesprachen entfernt gemäss Wikipedia:L%C3%B6schkandidaten/14._Mai_2014#Vorlage:Navigationsleiste_Abfragesprachen_.28gel.C3.B6scht.29

2014-06-04T10:05:29Z

Bot: Vorlage:Navigationsleiste Abfragesprachen entfernt gemäss Wikipedia:Löschkandidaten/14._Mai_2014#Vorlage:Navigationsleiste_Abfragesprachen_.28gel.C3.B6scht.29

← Nächstältere Version		Version vom 4. Juni 2014, 12:05 Uhr
Zeile 76:		Zeile 76:
	<references />		<references />

	{{Navigationsleiste Abfragesprachen}}

	[[Kategorie:UML]]		[[Kategorie:UML]]

129.69.87.28: /* Links */

2014-05-05T09:06:28Z

Links

← Nächstältere Version		Version vom 5. Mai 2014, 11:06 Uhr
Zeile 60:		Zeile 60:

	== Links ==		== Links ==
	* [http://www.omg.org/~~technology~~/~~documents/modeling_spec_catalog.htm#~~OCL OCL-Referenz der OMG]		* [http://www.omg.org/spec/OCL/ OCL-Referenz der OMG]
	* [http://www-st.inf.tu-dresden.de/ocl/ OCL Portal – The center for OCL related information]		* [http://www-st.inf.tu-dresden.de/ocl/ OCL Portal – The center for OCL related information]

129.69.87.28 am 5. Mai 2014 um 09:05 Uhr

2014-05-05T09:05:31Z

← Nächstältere Version		Version vom 5. Mai 2014, 11:05 Uhr
Zeile 3:		Zeile 3:
	Ein wesentliches Einsatzgebiet der OCL besteht auch in der Modelltransformation. Hier ist OCL ein zentraler Bestandteil vieler Transformationssprachen, wie [[MOF QVT\|QVT]] oder [[Atlas Transformation Language\|ATL]].		Ein wesentliches Einsatzgebiet der OCL besteht auch in der Modelltransformation. Hier ist OCL ein zentraler Bestandteil vieler Transformationssprachen, wie [[MOF QVT\|QVT]] oder [[Atlas Transformation Language\|ATL]].

	Die aktuelle Version der OCL ist 2.~~3.1.~~<ref>[http://www.omg.org/~~technology~~/~~documents~~/~~modeling_spec_catalog.htm#OCL omg.org~~]</ref>		Die aktuelle Version der OCL ist 2.4<ref>[http://www.omg.org/spec/OCL/]</ref>.

	== Constraints in der OCL ==		== Constraints in der OCL ==