3-16 Hartnäckiger ZustandcService, v2.0 September 2002 3 Mitgliedsstaat, die die Bezugsdarstellung eines storagetype bilden, werden gelesen nur. Wenn irgendwelche von diesen Mitgliedsstaat nicht erklärtes Read-only ist, das Entsprechen Modifizierfaktor und Lese-Schreibaccessor werfen immer die Standardausnahme auf PERSIST_STORE . Eine Bezugsdarstellung definiert auch diese Liste von Mitgliedsstaat als einzigartiger Bezeichner für die Ablage wendet in einem Speicherhaus dieses storagetype ein. 3,2,6,4 Storagehome Eine Speicherhauptdefinition erfüllt die folgende Syntax: < storagehome > ::= < storagehome_header > | "{" < storagehome_body > "}" < storagehome_header >:: = "storagehome" < Bezeichner >" von " < storagetype_name > [ < storagehome_inh_spec > ] [ < storagehome_impl_spec > ] < storagehome_body >::= < storagehome_member > ^* < storagehome_member:: = < key_dcl > ";", | < local_op_dcl >; | < factory_dcl >; < storagetype_name > muß ein vorher definiertes storagetype bezeichnen. Ein Speicherhaus kann von einer anderen Haupt Ablage übernehmen: < storagehome_inh_spec >:: = ": ", < storagehome_name > < storagehome_name > muß ein vorher definiertes storagehome bezeichnen. storagetype eines niedrigen storagehome muß eine Unterseite von sein < storagetype_name > . Weiter zwei storagehomes in einem storagehomeerbschaftbaum können nicht das gleiche storagetype haben. Z.B. ist die folgende Spezifikation nicht zugelassen: storagetype A {/*... */}; storagetype B: A {/*... */}; storagehome H von A { }; storagehome H2 von B: H { }; storagehome H3 von B: H { };// Störung -- B ist bereits das storagetype // eines anderen Vor--Ablage-Hauses von H. Ein storagehome kann jede mögliche Zahl der abstrakten storagehomes einführen: < storagehome_impl_spec > ::= "führt" ein < abstract_storagehome_name > { ", "< abstract_storagehome_name > } ^* < abstract_storagehome_name > muß einen vorher definierten Auszug bezeichnen storagehome. Das gleiche abstrakte storagehome kann nicht erscheinen mehr als einmal in a < storagehome_impl_spec > . Jedoch kann ein abstraktes storagehome erscheinen mehr als einmal in ' führte Diagramm eines storagehome ein.