Numer: 11/2011 Str. 310

Autorzy: Vahid Rafe :

Tytuł: Analiza formalna architektury typu service-oriented

Streszczenie: Problem sprawdzania modelu software jest istotny jeśli badamy duży i złożony system. W artykule zaprezentowano metodę umożliwiającą taką analizę systemu opisanego przez transformację grafu. Zaproponowano technikę sprawdzania opierającą się na modelu bazującym na scenariuszu.

Słowa kluczowe: software, transformacja grafu.

wstecz