Warianty tytułu
Verification of Business Process Correctness
Języki publikacji
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)
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)
Rocznik
Numer
Strony
193--203
Opis fizyczny
Twórcy
autor
- 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.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ekon-element-000171206949