Czasopismo | PRZEGLĄD ELEKTROTECHNICZNY | Rocznik 2011 - zeszyt 11

Formal Analysis of Service-oriented Architectures

Vahid RAFE

nr katalogowy: 63950

Even though model checking is one of the most accurate analyses techniques to verify software systems, the problem of model checking is that it is not feasible for large and complex software systems, which their state spaces are too large. In these situations one can use scenariobased model checking techniques. In this paper, we present an approach to analyze large and complex systems specified by graph transformation systems. To do so, we propose the scenario-based model checking techniques. We explain how the approach will affect to the size of the state space by focusing on the most important occurring scenarios in a system. 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. (Analiza formalna architektury typu service-oriented) Keywords: Graph Transformation, SoA, Verification, Bogor. Słowa kluczowe: software, transformacja grafu. Introduction For the most of the modern software systems it is desirable to operate “correctly" (especially for safety-critical systems) [1]. By “correctly" we mean that in these systems there must be no bug and all the requirements must be covered by the developed software system. Finding the bugs and defects in the early stages of development process has less cost. So, it is better to do verification on the model in the design stage and before implementation. Another important issue is that some times it is desirable to analyze different critical application scenarios and operations (like database access, user interaction, communication with remote components, etc.) [2] on the model before implementation in order to judge the realizability of a given application scenario. Especially, in distributed applications it is very important to choose the right p[...]

Jeśli masz wykupiony/przyznany dostęp - zaloguj się. Skorzystaj z naszych propozycji zakupu!

Publikacja


e-Publikacja (format pdf) - nr 63950 "Formal Analysis of Servic..." licencja: Osobista Produkt cyfrowy	10.00 zł

Zeszyt


PRZEGLĄD ELEKTROTECHNICZNY - e-zeszyt (pdf) 2011-11 licencja: Osobista Produkt cyfrowy	55.00 zł

Prenumerata

PRZEGLĄD ELEKTROTECHNICZNY - prenumerata cyfrowa
licencja: Osobista

Produkt cyfrowy
Nowość

762.00 zł

PRZEGLĄD ELEKTROTECHNICZNY - PAKIET prenumerata PLUS
licencja: Osobista

Szczegóły pakietu

Nazwa
PRZEGLĄD ELEKTROTECHNICZNY - PAKIET prenumerata PLUS (Prenumerata papierowa + dostęp do portalu sigma-not.pl + e-prenumerata)	1002.00 zł brutto 927.78 zł netto 74.22 zł VAT (stawka VAT 8%)

1002.00 zł

PRZEGLĄD ELEKTROTECHNICZNY - papierowa prenumerata roczna + wysyłka
licencja: Osobista

Szczegóły pakietu

Nazwa
PRZEGLĄD ELEKTROTECHNICZNY - papierowa prenumerata roczna	960.00 zł brutto 888.89 zł netto 71.11 zł VAT (stawka VAT 8%)
PRZEGLĄD ELEKTROTECHNICZNY - pakowanie i wysyłka	42.00 zł brutto 34.15 zł netto 7.85 zł VAT (stawka VAT 23%)

1002.00 zł

Zeszyt

2011-11

Twój Koszyk

Publikacja

Zeszyt

Prenumerata

Zeszyt

Czasopisma