Specifikace protokolu na nejabstraktnější úrovni

Protokol ABP modelujeme na nejvyšší úrovni abstrakce jako systém GCCS sestávající ze čtyř základních podsystémů:

Sender

(vysílač) - přejímá zprávy z okolí (port in) a posílá je střídavě s přiloženým bitem 0 nebo 1 procesu Receiver (porty a ), od něhož přijímá potvrzení o přijetí těchto zpráv (porty a ).

Receiver

(přijímač) - přijímá zprávy od procesu Sender (porty a ), jemuž posílá zpět potvrzení o přijetí (porty a ). Přijaté zprávy nabízí svému okolí (port out).

DataMedium

(komunikační médium pro přenos dat) - slouží ke komunikaci ve směru Sender Receiver (porty , a , ).

AckMedium

(komunikační médium pro přenos potvrzovacích zpráv) - pro komunikaci v opačném směru (porty pojmenujeme stejně jako u procesu DataMedium).

Pomocí nástrojové lišty nebo pomocí položky Add box menu Edit přepneme aplikaci do editačního módu přidávání nového rozhraní. Kliknutím levým tlačítkem myši na požadované místo v okně ABP vložíme rozhraní procesu Sender (zadáním jména Sender v následně zobrazeném dialogu).

Stejným způsobem přepneme aplikaci do módu přidávání portů Add port, v němž kliknutím na požadované pozice po obvodu rozhraní přidáme jednotlivé porty. Jejich jména editujeme vždy v následně zobrazeném dialogovém okně.

Přepnutím do módu výběru Select lze posunovat jednotlivé porty po obvodu rozhraní, pomocí příručního menu, vyvolaného kliknutím pravým tlačítkem myši nad příslušným portem, lze port přejmenovat či odstranit z rozhraní, dále pak odstranit spoj na jiný port nebo sběrnici. Uchopením rozhraní za hranu pomocí prostředního tlačítka myši lze přizpůsobit jeho velikost. V tomto módu lze provádět analogické operace nad všemi grafickými elementy (prvky syntaxe GCCS), případně tažením myši z prázdného místa editoru pomocí výběrového obdélníku vybrat několik rozhraní a ty stisknutím klávesy <Delete> odstranit, případně je tažením myši přesunout na jinou pozici.

Analogicky jako jsme vytvořili rozhraní podsystému, Sender vytvoříme rozhraní ostatních podsystémů. Odpovídající porty propojíme v editačním módu přidání spojů Add arc. Nejprve nastavíme tento mód, potom kliknutím na port levým tlačítkem myši zahájíme spoj (není průběžně zobrazován), který zakončíme kliknutím týmž tlačítkem nad cílovým portem. Je-li nutno spoj zalomit, lze před zakončením spoje v portu (resp. sběrnici) přidat řídící body (body lomu) kliknutím na požadovaném místě volné plochy okna. Při přidávání řídících bodů lze spoj kdykoliv před jeho zakončením v cílovém portu (resp. sběrnici) zrušit kliknutím pravým tlačítkem myši. Výsledek je zobrazen na obrázku .

  
Figure: Specifikace protokolu ABP na nejvyšší úrovni abstrakce