1.2. Goal and Plan of the Work 3
It is assumed that the goal of this work can be reached in the following steps:
1. Definition of the formalized General Business Logic Model.
2. Application of the model to the SKE approach and formulation of SKE-specific Business Logic Model.
3. Definition of the algorithm that allows for transforming ARD diagrams to BPMN models.
These steps are discussed in details in the further part of the thesis that is organized as follows: The next two chapters position the research presented in this thesis by overviewing current literaturę relevant to the topie of modeling and integration of Business Processes and Business Rules. Chapter 2 provides an overview of the Business Processes field, emphasizing the Business Process Management Life Cycle (Section 2.1) and describing in detail selected relevant research topics conceming Business Process modeling (Section 2.2), the existing process model generation approaches (Section 2.3), complexity assessment (Section 2.4) as well as execution environment issues (Section 2.5). Chapter 3 outlines the Business Rules approach (Section 3.1), highliting Business Rules modeling (Section 3.2), representation issues (Section 3.3) and tool support (Section 3.4), as well as Business Rules in the context of Business Process (Section 3.5).
Chapter 4 discusses the motivation for the research by presenting selected challenges (Section 4.1) and approaches to formalization of a process model (Section 4.2). It introduces a formal description of the BPMN process model (Section 4.3) and its integration with rules - General Business Logic Model (Section 4.4).
Chapter 5 gives an overview of the Semantic Knowledge Engineering approach. The chapter provides a short introduction to Attributive Logic with Set Values over Finite Domains (Section 5.1) and formulation of the XTT2 Rules (Section 5.2). Finally, it presents how the SKE approach can be integrated with BPMN process model as the SKE-specific Business Business Logic Model (Section 5.3).
Chapter 6 presents the algorithm for automatic generation of Business Process models. It introduces the extended formalization of ARD (Section 6.1), describes the algorithm for a BPMN Model generation from the ARD model (Section 6.2) and shows a design example for the application of the algorithm (Section 6.3).
Chapter 7 describes the modeling and execution environment supporting the presented approach. The chapter compares the SKE approach (Section 7.1) and the design process for the integrated approach (Section 7.2) introduced in the previous chapters, and presents the MDE model-based perspective, consistent with MDE, on the research results (Section 7.3). The chapter is concluded in the finał section (Section 7.4).
In Chapter 8 the practical evaIuation of the approach is provided. It consists of defining the steps of the evaluation procedurę (Section 8.1), providing the SKE-specific Business Logic Models for the selected benchmark cases (Section 8.2). Then the deployment results for the selected models are presented (Section 8.3) as well as suitable metrics for models are measured and analyzed (Section 8.4). The evaluation is concluded in the finał section (Section 8.5).
Chapter 9 finishes the dissertation by providing a summary of the presented work with conclusions and directions for futurę work.
K. Kluza Methods for Modeling and Integration of Business Processes with Rules