8299308412

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

MODELE

Algebra procesów

Najbardziej znane przykłady algebry procesów to:

•    Algebra of Communicating Processes (ACP) nie do końca wykorzystana metoda wnioskowania o systemach współbieżnych

•    n calculus - rozszerzenie CCS.

MODELE

Algebra procesów

Najbardziej znane przykłady algebry procesów to:

• ambient calculus jest używany do opisu i wnioskowania o własnościach systemów współbieżnych, których cechą podstawową jest mobilność (mobility).

Mobilność oznacza tu zarówno obliczenia na ruchomych urządzeniach (sieć ma zmienną, dynamiczną topologią), jak też mobilne obliczenia (tzn. kod wykonalny może być przemieszczany na sieci do różnych węzłów).

Ambient calculus dostarcza jednorodnego środowiska do modelowania obu tych rodzajów mobilności.

jest to dziś podstawowe narzędzie do modelowania zachowań w Internecie._

MODELE

Algebra procesów

Najbardziej znane przykłady algebry procesów to:

• PEPA (Performance Evaluation Process Algebra) to stochastyczna algebra procesów stworzona do modelowania systemów komunikacyjnych ze szczególnym uwzględnieniem roli poszczególnych węzłów (komputerów) komunikacyjnych, jest to rozszerzenie klasycznych algebr procesów takich jak CCS i CSP. Z każdą aktywnością związana jest zmienna losowa oznaczająca oczekiwany zakres wykonania tej aktywności.

Przygotował: Lucjan Stapp

8