Rodzaje właściwości niezbędnych do rozwoju systemu rozproszonego (c.d.):
• sekwencje przekształceń;
• przepływ danych pomiędzy przekształceniami;
• wielobieżność transformacji;
• kontrola interakcji pomiędzy równoległymi
przekształceniami;
• czas potrzebny na wykonanie przekształceń;
• niezawodność/osiągalność wykonania
przekształcenia w środowisku (generowanie i rodzaje błędów).
Diagram przepływu lano, flow chart! zazwyczaj opisuje sekwencje, wybory i poszczególne kroki przetwarzania.
Charakterystyka przepływu danych, równoległość i sprawność nie są reprezentowane, jest to istotne dla reprezentowania sekwencyjnych programów, ale niewystarczające dla problemów rozproszonego programowania.
' algebra procesów;
' modele aktorów (ang. actor model);
' teoria śladów (ang. theory of traces).