Tytuł:

Application of deductive reasoning to the verification of ArchiMate behavioral elements

Tytuł publikacji grupowej:

Informatyka Ekonomiczna = Business Informatics

Tytuł odmienny:

Business Informatics

Autor:

Klimek, Radosław ; Szwed, Piotr ; Jędrusik, Stanisław

Temat i słowa kluczowe:

Deductive temporal reasoning ; software verification ; ArchiMate ; semantics tableaux method ; Linear Temporal Logic ; wnioskowanie dedukcyjne ; weryfikacja oprogramowania ; metoda tablic semantycznych ; liniowa logika temporalna

Opis:

Informatyka Ekonomiczna = Business Informatics, 2013, Nr 3 (29), s. 76-97

Abstrakt:

Formalna weryfikacja modeli biznesowych stała się ostatnio przedmiotem intensywnych badań. Oczekuje się, że zastosowanie metod formalnych może przynieś takie korzyści, jak zwiększenie jakości produktów i usług oraz zmniejszenie liczby błędów operacyjnych. W pracy omówiono zastosowanie metody wykorzystującej wnioskowanie dedukcyjne do weryfikacji elementów behawioralnych w modelach języka ArchiMate. Pierwszy krok zaproponowanej metody polega na translacji modelu ArchiMate do postaci formuł liniowej logiki temporanej (LTL). Następnie weryfikuje się, czy spełniają one założone własności temporalne. W procesie weryfikacji używane jest narzędzie dowodzenia, w którym zastosowano technikę tablic semantycznych. Opisując metodę weryfikacji, wykorzystano przykład procesu biznesowego zaimplementowanego w systemie nadzoru

Wydawca:

Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu

Miejsce wydania:

Wrocław

Data wydania:

2013

Typ zasobu:

artykuł

Format:

application/pdf

Język:

eng

Powiązania:

Informatyka Ekonomiczna = Business Informatics, 2013, Nr 3 (29)

Prawa:

Wszystkie prawa zastrzeżone (Copyright)

Prawa dostępu:

Dla wszystkich w zakresie dozwolonego użytku

Lokalizacja oryginału:

Uniwersytet Ekonomiczny we Wrocławiu