| |
September 2003 UML-Profil für Schedulability, Leistung und Zeit 9-3 9 Der vorbildliche Herausgeber Funktion wird verwendet, um UML-Modelle zu verursachen und zu ändern. Prinzipiell vorbildlicher Herausgeber muß nicht die Semantik der Verlängerungen berücksichtigen, die diesbezüglich definiert werden Profil. Jedoch sollte es in der LageSEIN, die Richtlinien und die Begrenzungen zu erzwingen, die diesbezüglich definiert werden Profil, wie auf dem Beschränkungen Art von Stereotype an angewendet werden kann, deren Art Vorbildliches Element UML. (diese Fähigkeit sollte auf jedem möglichem Werkzeug Standard sein, das stützt UML-Standard.) Selbstverständlich kann es für ein UML nützlich sein, welches das Werkzeug modelliert, das spezifisch für das reale beabsichtigt wird Zeitgebiet zum Geben der kundenspezifischen Unterstützung für das Profil und seine Elemente. Solch ein Werkzeug könnte führen Sie Gebiet-spezifische Gültigkeitserklärungen des Modells durch und geben Sie bequemere Unterstützung für Realzeitkonzepte und Darstellungen. Wie oben gemerkt, kann ein Modell, das durch einen vorbildlichen Herausgeber produziert wird, parameterisiert werden. Dieses gewährt ein einzelnes auf unterschiedliche Parameterinhalte, ohne zu müssen zu analysierendes Modell, a zu produzieren neues Modell, jedesmal wenn die Werte ändern. Jedoch verursacht dieses eine Notwendigkeit an einem Modell configurer Funktion, eine Funktion, die im Zweck und in der Form dem c-Präprozessor ähnlich ist. Sie nimmt ein parameterisiertes Modell und, indem sie einen passenden Satz des Parameters ersetzen Werte, produziert sie ein anderes Modell. Im allgemeinen ist es bequem, Sätze Werte zu verpacken, die zusammen in eindeutiges einsteigen Konfigurationskennsätze. Jeder Satz stellt die Werte dar, die an einem Modell zugetroffen werden sollen Verarbeitung (Analyse) laufen gelassen worden. Der Analytiker muß den Satz einfach wählen, den vom Interesse für ist die vorbildliche Analyse zur Hand. Der vorbildliche Prozessor Funktionsnehmen in einem UML-Modell analysiert es und erzeugt Analysenresultate . Wir besprechen diese Funktion ausführlicher unten. A Prozeßsteuerung Spezifikation kann verwendet werden, alle mögliche Wahlen in der vorbildlichen Analyse (oder in der Synthese) zu steuern Prozeß. Angenommen, unterschiedliche vorbildliche Analysenwerkzeuge unterschiedliche Resultate produzieren und das gegeben es ist wünschenswert, die Menge von Sachkenntnis der einzelnen Werkzeuge und der vorbildlichen Analyse herabzusetzen Methoden, die Software-Entwickler haben müssen, die Resultate der vorbildlichen Analyse müssen sein zurückgegangen in ein Format, das zum Entwickler und zum vorbildlichen Redigierenwerkzeug verständlich ist. 9,1,3 Das Vorbildliche Configurer Das vorbildliche configurer arbeitet einfach: es sucht nach TVL-Ausdrücken auf dem Wertgebiet von etikettierte Werte und wertet sie aus (sehen Sie Anhang A - die Umbauwertsprache für Spezifikation von TVL). Wenn der Ausdruck einen Scalar oder eine Feldvariable und den Wert miteinbezieht von dieser Variable wird im Konfigurationskennsatz, der benutzt wird, es ersetzt zur Verfügung gestellt der Wert für die Variable. Zum Beispiel konnte ein Umbauwert ausgedrückt werden, wie folgt: { RTduration = ($$serverTO, ' Ms ') } Annehmen, daß der gewählte Konfigurationskennsatz das Perl 1 enthält Aussage $$serverTO = 55; das Resultat des Ersatzes ist 1.TVL ist eine kleine Teilmenge der Standardperl-Sprache. |  |
|
| |
|
|
