Wyniki wyszukiwania - BazTech

Ograniczanie wyników

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

1 2010

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: walidacja poprawności procesów

Sortuj według:

Ogranicz wyniki do:

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

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.

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.