|
Józef Winkowski
An Algebraic Framework for Defining Behaviours
of Concurrent Systems
[O pewnych algebrach do definiowania
zachowań systemów współbieżnych]
1014
Streszczenie
W pracy sformułowano pojęcie procesu rozumianego jako model przebiegu
pewnego zjawiska (dyskretnego, ciągłego, lub mieszanego typu),
wprowadzono operacje pozwalające wyrażać procesy złożone
przez ich składowe, oraz przedstawiono ideę użycia tych środków
do definiowania zachowań systemów współbieżnych.
Proces może mieć stan początkowy, stan końcowy, lub oba te
stany. Procesy z których jeden jest kontynuacją innego mogą być
złożone szeregowo. Procesy niezależne, tzn. takie, które sobie
nie przeszkadzają, mogą być złożone równolegle.
Procesy mogą być prefiksami, tzn. niezależnymi składowymi
segmentów początkowych innych procesów.
Procesy w pewnym uniwersum obiektów i operacje na takich procesach tworzą
algebrę częściową, zwaną algebrą procesów.
Algebry procesów należą do aksjomatycznie definiowalnej klasy
algebr częściowych zwanych algebrami zachowaniowo-zorientowanymi.
Formalnie są to kategorie częściowe ze względu na
składanie szeregowe i monoidy częściowe ze względu na
składanie
równoległe. Ponad to, algebry pewnej podklasy tej klasy mogą być
reprezentowane jako podalgebry algebr procesów.
Algebry procesów i algebry zachowaniowo-zorientowane mogą służyć
do definiowania zachowań systemów współbieżnych. Mianowicie,
zachowanie systemu można definiować jako zbiór możliwych
procesów tego systemu. Taki zbiór jest prefiksowo-zamknięty. Jego
struktura opisuje jak procesy się składają, ich porządek prefiksowy,
oraz ewentualnie specyficzne cechy zachowania takie jak obserwowalność, upływ
czasu itp.
Algebry procesów i algebry zachowaniowo-zorientowane mogą służyć
m.in. do definiowania zachowań o stanach i procesach ze specyficznymi strukturami
wewnętrznymi, do definiowania operacji na zachowaniach, podobnych do operacji
w znanych rachunkach zachowań, oraz do definiowania zachowań
losowych.
Słowa kluczowe: Proces, stan, składanie szeregowe, składanie
równoległe, kategoria, kategoria częściowa, monoid częściowy,
niezależność, struktura, zachowanie, zachowanie losowe.
|
|
 |
 |
