| |
1-2 UML-Profil für CORBA, v1.0 April 2002 1 1,2 Bereich Das UML-Profil für CORBA, das in dieser Spezifikation beschrieben wird, ermöglicht den Ausdruck von OMG IDL: schließen Sie A { }; an schließen Sie B an { schreiben Sie a-myA zu; }; Auszudrücken ist nicht möglich, über OMG IDL ob der tatsächliche Wert von myA können Sie überhaupt seien Sie leer. Betrachten Sie jetzt die UML-Kategoriendiagrammtabelle 1-1 und Tabelle 1-2, von denen beide verwenden das stereotype < < CORBAInterface > > später definiert in diesem Dokument. Beide von diesen klassifizieren Sie Diagramme abbilden zum OMG IDL, das oben gezeigt wird, noch haben sie nicht dasselbe Semantik, da man daß ein leerer Wert für myA sagt wird die Erlaubnis gehabt und das andere sagt es ist nicht. Tabelle 1-1 Leerer Wert Die Erlaubnis gehabt Tabelle 1-2 Leerer Wert Nicht Die Erlaubnis gehabt Es sei denn durchgestrichen durch ausdrückliche Begrenzungen, alle Eigenschaften der UML-metamodelelemente enthalten im UML-Profil kann verwendet werden, ein Gegenstandmodell auszudrücken, das an sich anpaßt das Profil. Z.B. ist es zulässig, UML-Service für das Ausdrücken zu benutzen Anhäufungseigenschaften von Verbindungen. Das modeler kann invariants für Kategorien spezifizieren und vor und postconditions von Betrieben. Der Anblick der Submitters' ist daß solche die Erlaubnis gehabte semantische Spezifikationen, die jenseits gehen was in OMG IDL ausdrückbar ist, gilt als normative Aspekte des zukünftigen Beamten OMG-Spezifikationen. B < < CORBAInterfac e > > A < < CORBAInterface > > +myA 0,,1 B < < CORBAInterfac e > > A < < CORBAInterface > > +myA 1 |  |
|
| |
|
|