Weryfikacja poprawności procesu biznesowego

Stanisław Kędzierski

Data publikacji : 2011-02-28

Tom 32 (2011)

Weryfikacja poprawności procesu biznesowego

Stanisław Kędzierski

Abstrakt

Procesy biznesowe stanowią istotną część działalności gospodarczej. Dlatego też tak istotne jest ich poprawne projektowanie. Dalszym celem powinna być optymalizacja przebiegów. Istnieje wiele metod opisujących procesy biznesowe: formalnych (sieci Petri, różnego rodzaju logiki, BPMN) i nieformalnych (graficzne i opisowe). W artykule przedstawiono nową metodę reprezentacji procesu biznesowego wykorzystującą do opisu teorię grafów i logikę temporalną. Ustanowi to podstawę do formalnego wnioskowania o poprawności projektu procesu. (abstrakt oryginalny)

Słowa kluczowe:

Procesy biznesowe, Monitorowanie procesów

Inne teksty tego samego autora

Stanisław Kędzierski, Formalizacja wiedzy o procesach biznesowych , Zeszyty Naukowe Wyższej Szkoły Bankowej w Poznaniu: Tom 22 (2009)

Szczegóły

Bibliografia

Statystyki

Autorzy

Pobierz pliki

PDF

Zasady cytowania

Kędzierski, S. (2011). Weryfikacja poprawności procesu biznesowego. Zeszyty Naukowe Wyższej Szkoły Bankowej W Poznaniu, 32(32). Pobrano z https://journals.wsb.poznan.pl/index.php/znwsb/article/view/1514

Wskaźniki altmetryczne

Cited by / Share

Bibliografia

Dijkman R.M., M. Dumas, C. Ouyang, Formal Semantics and Analysis of BPMN Process Models using Petri Nets. 2007, dostępne na stronie: http://eprints.qut.edu.au/archive/ 00007115/.

Hoare С., Communicating Sequential Processes, Prentice Hall, Englewood Cliffs 1985.

Kędzierski S., Checking correctness of business processes specification in action logic, w: BIS 2000 4th International Conference on Business Information Systems, ed. W. Abramowicz, M. Orłowska, Springer, London 2000.

Kędzierski S., Poprawność specyfikacji procesu biznesowego w logice deontycznej, w: Komputerowo zintegrowane zarządzanie, t. 1, red. R. Knosala, WNT, Warszawa 2001.

Kędzierski S., Weryfikacja procesów biznesowych z wykorzystaniem logiki Hoare'a, w: Technologie i systemy informatyczne w organizacjach gospodarki opartej na wiedzy, red. E. Ziemba, Wyd. WSB w Poznaniu, Poznań 2008.

Milner R., Communication and Concurrency, Prentice Hall, Englewood Cliffs 1989.

Vemadat F., Enterprise integration: on business process and enterprise activity modelling, "Concurrent Engineering: Research and Applications" 1996, vol. 4, nr 3.

A Workflow Management Coalition Specification - Glossary, Workflow Management Coalition, 1994, dostępne na stronie: http://www.aiai.ed.ac.uk/WfMC/DOCS/ glossary.html.