9.12.2004

Zarys formalizmu do modelowania systemów o bogatych strukturach wewnętrznych stanów i procesów
(Towards a framework for modelling systems with rich internal structures of states and processes)

Referat dotyczy modelowania rozproszonych systemów komputerowych których stany i procesy maja złożone struktury wewnętrzne. Systemy mogą być modelowane przez specyfikowanie ich potencjalnych stanów i procesów. Procesy systemu mogą być definiowane jako działania w pewnym uniwersum obiektów, gdzie każdy obiekt ma zbiór możliwych stanów a każdą działalność zmienia stany niektórych obiektów i tworzy lub likwiduje relacje miedzy obiektami. Można zdefiniować operacje na procesach systemu, w tym operację pozwalającą składać procesy z których jeden jest kontynuacja drugiego. Można pokazać, ze zbiór potencjalnych procesów systemu wyposażony w te operacje jest kategoria z dodatkowa struktura i specyficznymi własnościami. W szczególności, niezależność procesów daje się scharakteryzować algebraicznie.