Obiekt

Tytuł: Analiza możliwości formalnej weryfikacji problemów planowania w kontekście procesów biznesowych

Tytuł odmienny:

Formal verification of planning problems in the business process context. Analysis of feasibility

Autor:

Klimek, Radosław ; Ernst, Sebastian

Opis:

Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics; 2011; Nr 212, s. 169-183

Abstrakt:

Artykuł nakreśla relacje między modelowaniem procesów biznesowych (BPM) oraz architektury zorientowanej na usługi (SOA) a metodami planowania (AI Planning), z uwzględnieniem aspektów takich jak modelowanie dziedzin problemów planowania za pomocą narzędzi modelowania procesów biznesowych czy automatycznej aranżacji usług w procesy za pomocą metod planowania. Nakreślono również nowy kierunek badawczy, związany z formalną weryfikacją dziedzin problemów planowania za pomocą wnioskowania dedukcyjnego, w oparciu o wzorce projektowe van der Aalsta i in. dla modeli biznesowych. Formalna weryfikacja realizowana jest z wykorzystaniem wnioskowania dedukcyjnego metodą tablic semantycznych. Własności modelu opisane są w logice temporalnej czasu liniowego.

Wydawca:

Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu

Miejsce wydania:

Wrocław

Data wydania:

2011

Typ zasobu:

artykuł

Identyfikator zasobu:

oai:dbc.wroc.pl:117522

Język:

pol

Powiązania:

Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics; 2011; Nr 212 ; Informatyka Ekonomiczna = Business Informatics, 2011, Nr 22

Prawa:

Wszystkie prawa zastrzeżone (Copyright)

Prawa dostępu:

Dla wszystkich w zakresie dozwolonego użytku

Lokalizacja oryginału:

Uniwersytet Ekonomiczny we Wrocławiu

Źródło finansowania:

Dofinansowano z programu "Społeczna odpowiedzialność nauki" Ministra Edukacji i Nauki (SONB/SP/546390/2022). Tytuł projektu: Upowszechnienie zawartości czasopisma Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu

Kolekcje, do których przypisany jest obiekt:

Data ostatniej modyfikacji:

27 lut 2023

Data dodania obiektu:

12 paź 2022

Liczba wyświetleń treści obiektu:

24

Wszystkie dostępne wersje tego obiektu:

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

Wyświetl opis w formacie RDF:

RDF

Wyświetl opis w formacie OAI-PMH:

OAI-PMH

Podobne

×

Cytowanie

Styl cytowania:

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