Tytuł:

Deduction Based Verification of Business Models

Tytuł publikacji grupowej:

Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu

Tytuł odmienny:

Weryfikacja modeli biznesowych metodą dedukcyjną

Autor:

Klimek, Radosław ; Skrzyński, Paweł ; Turek, Michał

Temat i słowa kluczowe:

deductive reasoning ; business processes ; BPMN ; workflow design patterns ; formal verification ; semantic tablea

Opis:

Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics; 2010; Nr 147, s. 173-188

Abstrakt:

The paper presents a formal verification of the business processes expressed in BPMN. Verification is based on deductive reasoning. Automatic transformations of basic BPMN workflow patterns to temporal logic formulae are introduced. These formulae constitute a system specification and they are later processed using semantic tableaux method. In general, such reasoning technique has many advantages over the traditional approach, i.e., the resolution method. The paper provides automatic transformations for five basic BPMN workflow patterns and the example process is provided with description in BPMN diagram. The related temporal logic formula is obtained through automatic transformations, then the algorithm of reasoning using semantic tableaux methodology is applied to verify the business model.

Wydawca:

Publishing House of Wrocław University of Economics

Miejsce wydania:

Wrocław

Data wydania:

2010

Typ zasobu:

artykuł

Język:

eng

Powiązania:

Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics; 2010; Nr 147 ; Advanced Information Technologies for Management – AITM 2010

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