8299308407

Programowanie Równoległe i Rozproszone Wykład 5

MODELE

Modele są używane do dokładnego zdefiniowania żądanych charakterystyk systemu:

"co nie jest zdefiniowane - nie może być zweryfikowane, a co nie jest zweryfikowane może być błędem".

Zadania modelu to:

•    dokładne zdefiniowanie specyficznych własności i

charakterystyk budowanego lub analizowanego systemu;

•    dostarczenie podstaw do zweryfikowania tych

własności.

MODELE

Różne modele są stosowane do określania różnych właściwości.

Aby wyrazić konkretną cechą systemu trzeba wybrać z klasy modeli te, które reprezentują tą właściwość.

MODELE

Rodzaje właściwości niezbędnych do rozwoju systemu rozproszonego:

•    zbiory, sekwencje, struktury danych;

•    przekształcanie jednego zbioru danych w inny i

zrozumiałe relacje wejścia/wyjścia pomiędzy przekształceniami i zbiorami danych;

•    sekwencyjność i wielobieżność zbiorów danych,

które są dostarczane albo generowane w różnych momentach czasu;

•    przekształcanie jednej sekwencji czasowej w

Przygotował: Lucjan Stapp