Identyfikatory
Warianty tytułu
A BPQL language extension for interactive modeling and formal validation of UML activity diagrams
Języki publikacji
Abstrakty
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.
Wydawca
Rocznik
Tom
Strony
915--924
Opis fizyczny
Bibliogr. 6 poz., rys.
Twórcy
autor
- Katedra Automatyki, Akademia Górniczo-Hutnicza w Krakowie
autor
- Katedra Automatyki, Akademia Górniczo-Hutnicza w Krakowie
autor
- Katedra Automatyki, Akademia Górniczo-Hutnicza w Krakowie
Bibliografia
- [1] Momotko M., Subieta K., Process Query Language - A Way to Make Workflow Process morę Flexible. Advences in Databases and Information Systems, Springer, 2004, 313-321.
- [2] Business Process Management Initiative: Business Process Query Language Web Page: http:// www. bpmi.org/bpql.esp.
- [3] IBM Developer Works: Business Process Execution Language for Web Services, 2002.
- [4] Subieta K., Theory and Construction of Object-Oriented Query Languages. Polish-Japanese Insti- tute of Information & Technology, 2004.
- [5] Workflow Management Coalition: Workflow Process Definition Language - XML process definition language, WfMC-TC-1025, 2002.
- [6] Booch G., Rumbaugh J., Jacobson I., The Unified Modeling Language User Guide. Addison-Wesley, 1998.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-AGH1-0025-0114
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.