Weryfikacja poprawności procesu biznesowego

• Autorzy: Stanisław Kędzierski

Warianty tytułu

Verification of Business Process Correctness

• Języki publikacji: PL

Abstrakty

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)

EN

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)

Słowa kluczowe

PL

Procesy biznesowe; Monitorowanie procesów

EN

Business processes; Process monitoring

• Czasopismo: Zeszyty Naukowe Wyższej Szkoły Bankowej w Poznaniu
• Rocznik: 2011
• Numer: nr 32
• Strony: 193--203

Twórcy

autor

Stanisław Kędzierski

• Wyższa Szkoła Bankowa w Poznaniu

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.