Next: Literatura Up: autoref_pol Previous: Omówienie uzyskanych wyników
Podsumowanie
Uważamy, iż omówione rezultaty przyczyniają się w widoczny sposób do usystematyzowania i ujednolicenia różnych podejść do równoważności behawioralnej. W skrócie, dorobek pracy może być streszczony następująco:
- Pokazano, że otwarte morfizmy mogą być użyte do opisu algebraicznych równoważności obserwacyjnych oraz sformułowano własność determinizmu, odróżniającą obliczenia sekwencyjne od współbieżnych.
- Sformułowano warunki, przy których podejścia algebraiczne i bisymulacyjne do równoważności behawioralnej są równoważne. Pokazano, że wyniki te stosują się do powszechnie stosowanych modeli systemów współbieżnych.
- Opisano formalizm otwartych morfizmów przy pomocy morfizmów koalgebr oraz zastosowano ten opis do kategorii algebr standardowych i częściowych. Po raz pierwszy uzyskano koalgebraiczne przedstawienie równoważności obserwacyjnej algebr standardowych i częściowych w przypadku ogólnym.
- Zaproponowano metodologię krokowej implementacji behawioralnej dla algebr regularnych. Uzyskano ponadto pewne wyniki ułatwiające zadanie dowodzenia poprawności implementacji.
Slawomir Lasota 2000-03-17