elektronická verzia publikácie - FIIT STU - Slovenská technická ...

108 Štúdie vybraných tém programových a informaných systémov
Veký poet rôznych opisných jazykov je spôsobený tým, že jednotlivé tímy vytvárali
jazyk pre uritú sadu architektúr avšak nikdy sa nepodarilo dostatone pokry všetky
architektúry. Preto bolo potrebné vytvori alší opisný jazyk, ktorý by bol vhodný pre
konkrétnu architektúru.
Ako to bude vidie na konkrétnom príklade opisného jazyka, v niektorých prípadoch
sa opisný jazyk v znanej miere podobá na programovací jazyk. S tým súvisí problémovos
štandardizácie a kombinovania výsledkov. Bolo teda vytvorené veké množstvo
opisných jazykov, ktoré nie je možné vzájomne prepoji.
3.8.3 Príklad opisného jazyka architektúry
V tejto kapitole uvedieme jednoduchý príklad jazyka pre opis architektúry klient-server.
Najprv opíšeme rozhrania servera, potom rozhrania klienta a nakoniec prepojenia medzi
nimi.
Server
V opisnom jazyku je najprv uvedený opis rozhraní, potom opis obmedzení a nakoniec opis
správania. Opis servera obsahuje žiadosti o inicializáciu, ktorú je možné prija prostredníctvom
operácie Initialize(). Prijatie žiadosti o výpoet je zrealizovatené prostredníctvom
operácie Compute(). Súiastka server vráti výsledok prostredníctvom operácie
Result(). Server má definované jedno obmedzenie a na konci v rámci príkladu 3-4 je
opis správania. Pri inicializácii sa vytvorí príslušný objekt. Pri žiadosti o výpoet server
vráti výsledok.
type Server is interface
action in Initialize();
in Compute(Value: Float);
out Result(Value: Float);
constraint
match Start -> Initialize’Call -> (Compute’Call *);
behavior
NewValue : var Float;
begin
(?x in Float) Compute(?x) => Result($NewValue);;
end Server;
Príklad 3-4. Príklad ADL kódu pre server.
Klient
Klient má rozhranie na prijatie výsledku Result(). Klient dokáže inicializova pripojenú
súiastku a zárove môže požiada o vykonanie výpotu Calculate(). Správanie klienta
je definované ako žiados o výpoet.
type Client is interface
action in Result(Value: Float);
out Initialize();
out Calculate(Value: Float);