Obiekt

Tytuł: Application of deductive reasoning to the verification of ArchiMate behavioral elements

Tytuł odmienny:

Business Informatics

Autor:

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

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ł

Identyfikator zasobu:

oai:dbc.wroc.pl:24491

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

Kolekcje, do których przypisany jest obiekt:

Data ostatniej modyfikacji:

2019-10-16

Data dodania obiektu:

2014-04-15

Liczba wyświetleń treści obiektu:

243

Wszystkie dostępne wersje tego obiektu:

https://dbc.wroc.pl/publication/27080

Wyświetl opis w formacie RDF:

RDF

Wyświetl opis w formacie OAI-PMH:

OAI-PMH

Ta strona wykorzystuje pliki 'cookies'. Więcej informacji