Rapide An Event-Based Architecture Definition Language

Transkript

1 Rapide An Event-Based Architecture Definition Language Ralf Bettentrup Seminar: Architekturbeschreibungssprachen

2 Wozu Rapide? Computer mit Modem Provider Broker Client Broker PC Prov 1 Client 1 RS-232 Modem Prov 2 Prov 3 dynamische Kommunikation Client 2 2/24

3 Gliederung Einführung event processing Beispiel Zusammenfassung 3/24

4 Rapide Grundlagen Entwickelt für große verteilte Systeme Grundlage ist EADL (Executeable Architecture Definition Language) time poset model Anwendungen Flaschenhälse in der Kommunkation Befehlssatz des Sparc Version 9 (64 Bit) 4/24

5 Modellierung einer Komponente component interface Ein interface definiert Events die erzeugt und beobachtet werden Angebotene und benötigte Funktionen Zustände und Zustandsübergänge Einschränkungen auf das externe Verhalten Interfaces unterstützen die Komponenten Abstraktion 5/24

6 Interfaces Bestandteile Funktionen (provide, require) Actions (in, out) Services Kommunikation asynchron (Actions) synchron (Funktionen) 6/24

7 Bestandteile einer Connection trigger body out action in action requires provides basic pattern to basic pattern service to service connections object to object pattern => pattern (pipe) pattern > pattern (agent) 7/24

8 Bestandteile einer Architektur interfaces connections constraints architecture interfaces connection connection interfaces 8/24

9 event processing language Events sind Tupel Wer hat es erzeugt (C) Was wurde gemacht (A) Daten (D), Zeit (T), Laufzeit (L), Komponenten erzeugen Events Ergebnis ist poset (Partially Ordered Set of Events) <C, A, D, T, L, > 9/24

10 Beispiel Posets A A D D B B E E C C F F 10/24

11 Beispiel Registriere Dienste Broker Suche Provider Provider 1 Client 1 Provider 2 Provider 3 dynamische Kommunikation Client 2 11/24

12 Provider Registriere Dienste Broker Provider 1 interface Provider is provides function Do_Job(J:Job; P: Param) return data; out action Register(J: Job) end; 12/24

13 Client Broker Suche Provider Client 1 interface Client is requires function Request_Job(J: Job; P: Param; Pn: &Provider) return data; function Find_Provider(J: Job) return &Provider; end; 13/24

14 Broker interface Broker is provides function Provider_Lookup(J: Job) return &Provider; in action Register_Provider(J: Job; P: &Provider); behavoir Jobs : array[job] of &Providers;?J : Job;?N: &Provider; function Provider_Lookup(J: Job) return &Provider is begin return Jobs[J]; end; Register_Provider(?J,?N) => Jobs[?J] :=?N; end; 14/24

15 Architektur with Broker, Client, Provider; architecture Network is B : Broker; clients : array [1..NUM_CLIENTS] of Client; providers : array[1..num_providers] of Provider;?P: Provider;?J: Job;?C: Client;?N: &Provider;?param: Param; connect end Network; 15/24

16 Provider registrieren Registriere Dienste Broker Provider 1 interface Provider is interface Broker is provides Do_Job(J; P) provides Provider_Lookup(J) out action Register(J) in action Register_Provider(J; P) end; end;?p.register(?j) to B.Register_Provider(?J; &?P); 16/24

17 Provider suchen Broker Client 1 interface Client is interface Broker is requires Request_Job(J; P; Pn) provides Provider_Lookup(J) requires Find_Provider(J) in action Register_Provider(J; P) end; end;?c.find_provider(?j) to B.Provider_Lookup(?J); 17/24

18 Job ausführen Provider 1 Client 1 dynamische Kommunikation interface Client is interface Provider is requires Request_Job(J; P; Pn) provides Do_Job(J; P) requires Find_Provider(J) out action Register(J) end; end;?c.request_job(?j;?param;?n) to *?N.Do_Job(?J;?param); 18/24

19 Architektur with Broker, Client, Provider; architecture Network is B : Broker; clients : array [1..NUM_CLIENTS] of Client; providers : array[1..num_providers] of Provider;?P: Provider;?J: Job;?C: Client;?N: &Provider;?param: Param; connect?p.register(?j) to B.Register_Provider(?J, &?P);?C.Find_Provider(?J) to B.Provider_Lookup(?J);?C.Request_Job(?J,?param,?N) to *?N.Do_Job(?J,?param); end Network; 19/24

20 Events des Beispiels?P.Register(?J) to B.Register_Provider(?J, &?P); P1.Register(J1) B.Register_Provider(J1; &P1) => Jobs[J1] := &P1;?C.Find_Provider(?J) to B.Provider_Lookup(?J); C1.Find_Provider(J1) B.Provider_Lookup(J1) 20/24

21 Events des Beispiels?C.Request_Job(?J,?param,?N) to *?N.Do_Job(?J,?param); C1.Request_Job(J1; param1; &P1) &P1.Do_Job(J1, param1) 21/24

22 Ergebnisse des Beispiels Broker benutzt keine Connection Rule Broker initiiert keine Kommunikation Nur Provider kann Register_Provider (Broker) aufrufen Keine Kommunikation zwischen Clients und Provider untereinander Datentransfer nur vom Client zum Provider 22/24

23 Zusammenfassung Aufbau einer Architektur interfaces connections constraints Architektur am Beispiel Ergebnis des Beispiels (poset) 23/24

24 Fazit Vorteile von Rapide Ermöglicht die Simulation Kann als Prototyp benutzt werden Nutzung zur Analyse Graphische Ausgabe der posets Nachteile Architektur kann nicht graphisch erzeugt, dargestellt werden. 24/24