No/VOL: 11/2011 Page no. 310

Authors: Vahid Rafe :

Title: Analiza formalna architektury typu service-oriented

Abstract: 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.

Key words: software, transformacja grafu.

wstecz