BazTech - Yadda

1

Modelowanie procesów logistycznych w notacjach BPMN I eEPC

Ślaski Paweł

Gospodarka Materiałowa i Logistyka

|

2019

|

nr 5

25--30

PL

W artykule opisano cel oraz istotę modelowania procesów biznesowych, przedstawiono podstawowe metody modelowania oraz za pomocą notacji EPC i BPMN opracowano dwa modele procesów: logistyki odzysku oraz magazynowego.

EN

The article describes the purpose and the essence of business process modeling, presents the basic modeling methods, and with the help of the EPC and BPMN notation two models of processes have been developed: the reverse logistics process and the storage process.

2

Zasady modelowania działania służb w sytuacjach kryzysowych - zastosowanie symulacji procesów

Dziemba Ł., Uchroński J.

Systemy Wspomagania w Inżynierii Produkcji

|

2017

|

Vol. 6, iss. 7

84--96

PL

Artykuł przedstawia przegląd możliwych metod i narzędzi służących do modelowania działań i symulacji procesów. Są nimi: tablice decyzyjne, drzewo rozkładu i drzewo decyzyjne, diagramy decyzyjne i mapy procesów; notacja BPMN. Na podstawie przeprowadzonych badań literaturowych i własnych doświadczeń ze stosowaniem opisywanych w artykule narzędzi i metody symulacji stwierdzono, iż mapy procesu stanowią przydatne narzędzie modelowania z punktu widzenia prezentacji sekwencji zdarzeń, jakie występują w ich przebiegu. W tym świetle notacja BPMN staje się celowa do zastosowania z uwagi na swą przejrzystość, wskazanie poszczególnym działaniom, procesom i decyzjom zróżnicowanych źródeł i zasobów informacji, a także zapewnia uporządkowanie zapisu; oraz założenia oddzielenia sekwencji działań oraz komunikacji – przepływów informacyjnych.

EN

This article provides an overview of possible methods and tools for modeling activities and simulating processes. These are: decision tables, decomposition tree and decision tree, decision diagrams and process maps; BPMN notation. Based on the literature and their own experience using the tools and simulation methods described in the article, it was found that process maps are useful tools for modeling from the point of view of the sequence of events that occur in their course. Therefore, the BPMN notation is intended to be used for reasons of transparency, indication of the individual actions, processes and decisions of the various sources and information resources, and to ensure that the records are organized; and the assumptions of separation of sequences of activities and communication - information flows.

3

Weryfikacja procesów biznesowych metodą tablic semantycznych

Klimek R., Skrzyński P., Turek M.

Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

|

2010

|

T. 14, z. 3/2

905-914

PL

Artykuł opisuje wyniki prac nad ustabilizowaniem metodyki umożliwiającej formalne weryfikowanie poprawności procesów zapisanych za pomocą zbioru wzorców procesowych w notacji BPMN. Główną ścieżką rozwiązania jest prowadzenie konwersji modelu BPMN do postaci zbioru specjalnie opracowanych formuł logiki temporalnej. Następnie - formalnie zadana weryfikacja poprawności zbioru formuł z zastosowaniem opracowanego przez autorów rachunku. W procesie weryfikacji została wykorzystana metoda wnioskowania bazująca na zastosowaniu tablic semantycznych. Może ona przebiegać automatycznie i jest ciekawą alternatywą dla tradycyjnego podejścia - umożliwiając m.in. względnie łatwe wskazanie błędów w specyfikacji procesu.

EN

This paper describes the results of work on stabilizing the methodology for formal correctness verification of processes recorded in a process model with BPMN notation. The main path of a solution is to carry out the conversion of BPMN model to set of specially designed logic formulas. Afterwards - to formal verify the correctness of formulas using the calculation provided by the authors. A semantic table method has been applied in the verification process. The approach could provide interesting alternative to the traditional approach, allowing relatively easy errors identification in the specification process.

4

Rozszerzenie języka BPQL na potrzeby interaktywnego modelowania i formalnej weryfikacji diagramów aktywności UML

Klimek R., Skrzyński P., Turek M.

Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

|

2010

|

T. 14, z. 3/2

915-924

PL

Artykuł opisuje wyniki prac będących kontynuacją badań na temat przetwarzania procesów biznesowych metodami półformalnymi i formalnymi. Autorzy, proponując system transformacji diagramów aktywności do postaci zadanych formalnie i możliwych do weryfikowania reguł, napotkali problem ograniczeń w możliwościach szybkiego i interaktywnego projektowania procesów biznesowych - będących materiałem dla proponowanych przez siebie metod przetwarzania. Zaproponowali rozwiązanie w postaci rozszerzenia funkcjonalnego języka zapytań dla procesów biznesowych, określanego akronimem BPQL (Business Process Query Language). Język ten, definiując zestawy instrukcji strukturalnych, opisuje przebieg procesu biznesowego, nawiązując składnią do wielu współcześnie stosowanych języków programowania. Powstały pseudokod BPQL można wykorzystać jako podstawę do określenia zachowania elementarnego procesu w zadanej wartościami parametrów sytuacji. W języku nie jest jednak możliwe definiowanie formuł modyfikujących już istniejący proces, lub przetwarzanie przepływów sterowania pomiędzy tzw. procesami elementarnymi. Proponowane wysoko poziomowe rozszerzenie BPQL pozwoli na rozbudowę modelu procesów biznesowych w trybie interaktywnym. Innowacje będą polegały na adaptacji wspomnianego języka do wyrażania komend modyfikujących treść logiczną już istniejących procesów. Sprowadzą się do zaproponowania nowego języka typu Structured Query, operującego na procesach biznesowych oraz tak zwanych wzorcach procesowych i zdefiniowanego pod roboczą nazwą Business Process Structured Query Language. Wyrażony za pomocą skryptu język będzie określał operacje na przepływach sterowania w modelu procesu w sposób analogiczny jak języki typu SQL określają operacje modyfikujące strukturę baz danych dla modelowanych systemów. Struktura procesu wyrażana za pośrednictwem tzw. notacji BPMN będzie także możliwa do wyrażenia za pośrednictwem zbioru formuł logiki temporalnej. Wykonanie zapytania BPSQL będzie powiązane z modyfikacją tych formuł. Procedura walidacji poprawności formuły po modyfikacjach pozostanie bez zmian, co umożliwi zastosowanie metod walidacji osiągniętych jako wyniki wcześniejszych prac autorów. Takie podejście otworzy drogę do projektowania systemów, które umożliwią interaktywne modelowanie procesów biznesowych z jednoczesną walidacją poprawności procesów - realizowaną analogicznie do procedur kontroli więzów integralności w bazie danych, prowadzonej przez Systemy Zarządzania Bazami Danych.

EN

The article describes the results of up study on business processes modeling with semi-formal and formal methods. A new method for transformations of activity diagrams to set of formulas has been proposed in a previous work. That enables designer tools to automatically evaluate process models correctness. It could also be possible to dynamically modify process flow structure in an interactive way - with a "on the run" validation. To achieve that point a new language has been developed and described in this article. Solution assumes an expansion for a business processes language, referred to the acronym BPQL (Business Process Query Language). This language syntax is very basic, and can oly be used for variables definition and processing (inside a basic process symbols). lt is not possible to use BPQL formulas for interactive modification of an existing process structure or a control flow between processes. Proposed high-level extension for BPQL will allow these modifications to be made - also in a scripting or an interactive mode. The main goal for a solution development is to reduce a set of language statements - only to those possible for interactive processing. Each statement should also have a proper processing algorithm established. Each query, defined with an analogy to a typical Structured Query Language component is executed and must leave a BPMN process model intact - with validation constraints fulfilled. BPMN diagram is possible to express through a set of temporal logic formulas for validation purposes. Any execution of BPSQL query will result in a modification of these formulas. The procedure for validating the modifications to the formula remains unchanged, thus enabling the validation methods achieved as a result of earlier work. A scripting language, composed from SQL and BPSQL statements will enable quick and concurrent data structure and process behavior modeling and for future system - with a common interpreter and very similar validation system. Proposed approach will open a way to design tools enabling interactive modeling of business processes with simultaneous validation of the processes correetness. Implemented control procedures will be similar to referential database integrity checking applied by Database Management Systems while processing classical SQL data definition queries.