Pr-1st-1.1-m03-Slajd33
Z Studia Informatyczne
typ MESSAGE
Podstawową strukturą, z której pośrednio lub bezpośrednio wywodzą się struktury wszystkich innych komunikatów jest FRAME. Obejmuje ona wymienione wyżej wspólne atrybuty komunikatów. Zakłada się ponadto, że struktura komunikatu jest identyfikowana przez jej nazwę, w związku z czym nie musi być ona jawnie wyróżniany jako atrybut. Z punktu widzenia języka FRAME, jest typem danych zdefiniowanym w sposób następujący:
type FRAME is record of tag: ... mId: ... sId: ... rId: ... end record
Struktura komunikatów aplikacyjnych, nazwana MESSAGE, jest wywiedziona ze struktury FRAME, a jej precyzyjna definicja zawarta jest w programie aplikacji rozproszonej inie jest istotna zpunktu widzenia prezentowanych dalej algorytmów. Przyjmiemy zatem tylko, że szkielet definicji struktury MESSAGE ma następującą postać:
type MESSAGE extends FRAME is record of ... end record