| |
März 2004 UML für EAI: EAI-Spezialisierungen des FCM 6-13 6 Wo es einen Fall von einem EAILink mit einer Synchrounisierung von asynchronem gibt ein Paar FCMTerminals verbinden, wird dieses durch den Ersatz von verfeinert EAIQueuedInputTerminal und EAIQueuedOutputTerminal für das FCMTerminals. 6,3,10 Operatoren 6,3,10,1 EAIOperator Operatoren fungieren nach Anzeigen, während sie zwischen Systeme fließen. Wir definieren EAIOperator zu seien Sie eine Unterklasse von FCMFunction. EAIOperators haben eine Art, EAIType. Ein Prototyp EAIOperator kann zu auch benutzt werden spezifizieren Sie ein EAIType. EAIOperator kann EAIResources beliebig spezifizieren, dem es zu verwendet verordnen Sie seine Funktion. Begrenzungen Kontext EAIOperator Definieren Sie, was es bedeutet, zu sein ein Prototyp lassen Sie isPrototype = self.defines->size() = 1 lassen Sie isInstance = self.defines->isEmpty() Ein EAIOperator hat die gleiche Zahl Anschlüssn wie sein Prototyp; inv: wenn isInstance dann self.interface->size() = self.type.protoype.interface->size() Der Prototyp für einen Prototyp ist selbst; inv: wenn isPrototype dann self.type.prototype = Selbst Alle Anschlüß von einem EAIOperator sind EAITerminals; inv: self.interface->forall(t|t.oclIsKindOf(EAITerminal)) Die Anschlüß eines EAIOperators haben die gleichen Namen wie sein Prototyp; inv: wenn isInstance dann self.interface - > forall(t|self.type.prototype.interface->exists(tt|tt.name=t.name)) Ein EAIOperator hat den gleichen Satz der Betriebsmittel wie sein Prototyp; inv: wenn isInstance dann self.resources = self.type.prototype.resources 6,3,10,2 EAIResource EAIResource wird verwendet, um Betriebsmittel wie Datenbanken zu modellieren, die von den Operatoren benutzt werden. |  |
|
| |
|
|