Wyszukiwanie zaawansowane ?

Obiekt

Deduction Based Verification of Business Models
Pobierz

Tytuł: Deduction Based Verification of Business Models

Tytuł odmienny:

Weryfikacja modeli biznesowych metodą dedukcyjną

Autor:

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

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ł

Identyfikator zasobu:

oai:dbc.wroc.pl:119833

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

Tytuł publikacji grupowej:

Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu

Exlibris

Temat i słowa kluczowe:

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

Kolekcje, do których przypisany jest obiekt:

Data ostatniej modyfikacji:

30 paź 2023

Data dodania obiektu:

30 sty 2023

Liczba wyświetleń treści obiektu:

43

Wszystkie dostępne wersje tego obiektu:

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

Wyświetl opis w formacie RDF:

RDF

Wyświetl opis w formacie OAI-PMH:

OAI-PMH

Nazwa wydania Data
Deduction Based Verification of Business Models 30 paź 2023

Podobne

Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu
Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu

Zastosowanie weryfikacji dedukcyjnej w projektowaniu oprogramowania korporacyjnego budowanego w oparciu o paradygmat SOA

Klimek, Radosław Skrzyński, Paweł

2011
artykuł
Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu
Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu

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

Klimek, Radosław Ernst, Sebastian

2011
artykuł
Informatyka Ekonomiczna = Business Informatics
Informatyka Ekonomiczna = Business Informatics

Application of deductive reasoning to the verification of ArchiMate behavioral elements

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

2013
artykuł
e-Informatica Software Engineering Journal
e-Informatica Software Engineering Journal

An Approach to Assessing the Quality of Business Process Models Expressed in BPMN

Sadowska, Małgorzata Huzar, Zbigniew. Redakcja Madeyski, Lech. Redakcja

2015
artykuł
Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu
Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu

Overview of business process modelling software

Chrobak, Paweł

2011
artykuł
Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu
Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu

Restrukturyzacja procesów zarządzania w oparciu o analizę logiki biznesowej

Sala, Dariusz Obrzud, Jacek

2011
artykuł
Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu
Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu

Outsourcing i offshoring procesu rachunkowości – modele dostawy usługi. Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics, 2015, Nr 399, s. 333-342

Marcinkowska, Elżbieta

2015
artykuł
Informatyka Ekonomiczna = Business Informatics
Informatyka Ekonomiczna = Business Informatics

Integracja procesów informacyjnychw układach sieciowych w kontekście wykorzystania modelu SOA

Nowicki, Adam Chomiak-Orsa, Iwona

2014
artykuł
Więcej
×

Cytowanie

Styl cytowania:

Dane kontaktowe

Adres

Politechnika Wrocławska (Koordynator Konsorcjum DBC)
Biblioteka Politechniki Wrocławskiej
Wybrzeże Wyspiańskiego 27
50-370 Wrocław, Polska

Telefon

(+48) 71-320-38-30
(+48) 71-320-47-50

E-Mail

bc@pwr.edu.pl

Odwiedź nas!

https://biblioteka.pwr.edu.pl/

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