3-12 Hartnäckiger ZustandcService, v2.0 September 2002 3 }; 3,2,5,8 FabrikcBetriebe Ein Fabrikbetrieb erfüllt die folgende Syntax: < psdl_factory_dcl>::="factory-"< Bezeichner > < factory_parameters > < factory_parameters >::= "("< simple_declarator > [ { ", "< simple_declarator > } * ]") " | "("".html" Jedes < simple_declarator > sein muß der Name von Mitgliedsstaat des Auszuges abstraktes storagetype der storagehomes (einschließlich übernommene Mitgliedsstaat). Für Fabriken definiert auf konkreten Speicherhäusern, jedes < simple_declarator > sein muß der Name von Mitgliedsstaat des storagetype der storagehomes (einschließlich übernommene Mitgliedsstaat). Alle < simple_declarator > in der Fabrik muß eine Erklärung eindeutig sein. In Bezug auf Sprachkartenaufnahmen die Definition eines Fabrikbetriebs- factory_name ist mit der Definition des folgenden Betriebes gleichwertig: S-factory_name(<parameter_list >); wo S ist das abstrakten abstrakte storagetype der storagehomes (resp. storagehomes storagetype) und < parameter_list > seien Sie innen Parameter, die jedem Zustand entsprechen Mitglied in der Fabrikbetriebserklärung, im gleichen Auftrag. Z.B.: abstraktes storagetypekonto { Zustandzeichenketteaccno; Zustandherbewegungsabgleichung; }; abstrakte storagehomebank des Kontos { Fabrikcreate(accno); // in den Sprachkartenaufnahmen, ist- es wie: // Kontocreate(inzeichenketteaccno); }; 3,2,5,9 Abstrakte Erbschaft Storagehome Ein abstraktes storagehome kann von jeder möglicher Zahl der abstrakten storagehomes, mit übernehmen die folgende Syntax: < abstract_storagehome_inh_spec >::=":" < abstract_storagehome_name > { ", "< abstract_storagehome_name > } ^* < abstract_storagehome_name >:: = < scoped_name >