| |
September 2003 UML-Profil für Schedulability, Leistung und Zeit 3-33 3 Tabelle 3-15 Ersatzsemantik der synchronen und asynchronen Formen der Entwicklung Falls von der Wiedereinbauentwicklung, wird das Lieferantenelement einfach von seinem Klienten ersetzt Elemente, deren Verhaltensdefinition mit dem Verhalten des Lieferanten vergrößert wird Element. Erfordert Das Diagramm In den Realzeitsystemen wird Software häufig mit spezifischen technologischen Fähigkeiten entworfen im Verstand. Zum Beispiel ein Realzeitsoftwarebaustein 1 kann entworfen werden, in zu arbeiten Klima, das eine minimale Realzeittaktgeberauflösung oder eine minimale CPU-Geschwindigkeit stützt. Solch ein Bestandteil kann möglicherweise nicht Funktion an allen in einem Klima richtig oder nicht arbeiten das stützt nicht das erforderliche Minimum. Wenn wir formale Gültigkeitserklärung von so tun möchten Software-Systeme, ist sie offenbar notwendiges zum Haben Mittel, durch die angefordert Klima eines Stückes Software kann formal spezifiziert werden. Dieses ist einfach ein formales Aussage über die minimalen Eigenschaften QoS, denen getroffen werden muß für die Software zu Funktion entsprechend seinen Spezifikationen. Die Spezifikationen dieses angeforderten Klimas können ziemlich kompliziert sein und können umfassen nicht nur grundlegende physikalische Eigenschaften wie Speichergröße, CPU-Energie, Kommunikation Durchsatz, aber auch verfeinerte Eigenschaften wie Niveaus von Verwendbarkeit, spezifische Formen der Parallelität und so weiter. Weil diese Klimas willkürlich sein können Komplex, die allgemeinste Weise, diese Eigenschaften zu definieren soll ein Modell von a errichten führen Sie stützendes Durchführungsklima durch dessen Werte QoS darstellt anbot gewünschtes Minimum und das Software-Modell zu diesem vorbildlichen Verwenden des Klimas dann abbilden Standardrealisierungskartenaufnahmen 2 . Das zugrundeliegende angeforderte Klimamodell konnte wie sein einfach als einzelner Nullpunkt aber kann eine komplizierte verteilte Netzwerkkonfiguration von Nullpunkten auch darstellen und Software-Dienstleistungen. 1. Merken Sie, daß wir die Bezeichnung "Bestandteil" hier in der generischen Richtung der Bezeichnung eher verwenden als in seiner UML-spezifischen Deutung. 2. Selbstverständlich ist dieses nicht und sollte nicht die einzige Weise sein. In den weniger komplizierten Fällen kann es durchaus sein genügend, die angeforderten Klimaeigenschaften direkt zu den vorbildlichen Elementen anzubringen ohne modelers zu zwingen, ein komplettes Klima zu definieren, modellieren Sie. SupplierElement ClientElement1 ClientElement2 "GRMdeploys" SupplierElement ClientElement1 ClientElement2 |  |
|
| |
|
|
