März 2003 Omg-cwm, v1.1: SoftwareDeployment Metamodel 5-65 5 Entwicklung 5,7,4,13 SystemTypespace Das typespace eines SoftwareSystems kennzeichnet das TypeSystem(s), welches die datatypes enthält gestützt durch das SoftwareSystem. Enden supportingSystem typespace 5,7,5 Ocl-Darstellung der Begrenzungen SoftwareDeployment Kennzeichnet die Entwicklungen des SoftwareSystem. Kategorie: DeployedSoftwareSystem Vielfältigkeit: null oder mehr Kennzeichnet ein SoftwareSystem, das die datatypes stützt, die durch das TypeSystem definiert werden. Kategorie: SoftwareSystem Vielfältigkeit: null oder mehr Kennzeichnet ein TypeSystem, welches die datatypes enthält, die durch das SoftwareSystem gestützt werden. Kategorie: TypeSystem Vielfältigkeit: null oder mehr [ C-8-1 ] Ein PackageUsage muß, ein einzelnes Paket (oder Formationsglied des Pakets) als sein zu haben Lieferant Kontext PackageUsage inv: self.supplier->size=1 und self.supplier->at(1).oclIsKindOf(Package) [ C-8-2 ] Ein ProviderConnection darf nicht ein DataProvider mit sich verbinden. Kontext ProviderConnection inv: self.dataManager < > self.dataProvider [ C-8-3 ] Ein Aufstellungsort darf nicht einen containingSitehinweis haben, der auf sich bezieht. Kontext- Aufstellungsort inv: self.containingSite - > forAll (c|c < > Selbst)