Weryfikacja poprawności procesu biznesowego

Stanisław Kędzierski

Published : 2011-02-28

Vol. 32 (2011)

Verification of Business Process Correctness

Stanisław Kędzierski

Abstract

Business process plays an important role in modern enterprises. There are many methods and techniques describing business processes: formal (Petri nets, non-classic logics BPMN), non-formal (graphic). In this paper a new method checking consistency of business process is presented. This technique is base on tables and time. (original abstract)

Keywords:

Business processes, Process monitoring

Most read articles by the same author(s)

Stanisław Kędzierski, Business Process Knowledge Formalisation , Zeszyty Naukowe Wyższej Szkoły Bankowej w Poznaniu: Vol. 22 (2009)

Details

References

Statistics

Authors

Download files

PDF (Język Polski)

Citation rules

Kędzierski, S. (2011). Verification of Business Process Correctness. Zeszyty Naukowe Wyższej Szkoły Bankowej W Poznaniu, 32(32). Retrieved from https://journals.wsb.poznan.pl/index.php/znwsb/article/view/1514

Altmetric indicators

Cited by / Share

References

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.