Repozytorium publikacji - Politechnika Gdańska

Ustawienia strony

english
Repozytorium publikacji
Politechniki Gdańskiej

Treść strony

Development and validation of a HAZOP-based inspection of UML models

Artykuł prezentuje technikę inspekcji ukierunkowaną na wykrywanie defektów w modelach UML. Technika ta została opracowana poprzez adaptację HAZOP - metody szeroko stosowanej w dziedzinie systemów związanych z bezpieczeństwem. Wykorzystano podstawową koncepcję HAZOP (zastosowanie ogólnych słów kluczowych do wykrywania pełnej listy anomalii związanych z danym fragmentem modelu) do systematycznego wygenerowania list kontrolnych dla poszczególnych diagramów UML. Listy kontrolne wraz ze zdefiniowanym procesem ich zastosowania w inspekcji stanowią fundament inspekcji UML-HAZOP. Artykuł przedstawia UML-HAZOP oraz wyniki walidacji tej techniki na drodze studiów przypadków oraz kontrolowanych eksperymentów.

Autorzy

Informacje dodatkowe

Kategoria
Aktywność konferencyjna
Typ
publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
Język
angielski
Rok wydania
2005

Źródło danych: MOSTWiedzy.pl - publikacja "Development and validation of a HAZOP-based inspection of UML models" link otwiera się w nowej karcie

Portal MOST Wiedzy link otwiera się w nowej karcie