| Abstract [eng] |
The main concept of the current PhD thesis is capturing of business rules through templates and their further propagation to the implementation. The objects of investigation are template specification language and methods of its development. The main aim of the work is the development of specification language of business rules’ templates and consequent transformation of business rules using model-driven methods. The thesis consists of nine chapters including the conclusion. Chapter 1 contains an introduction to the problem and describes its topicality. The main aims and tasks of the work, its novelty and the methods used, as well as publications of the author and structure of the thesis are presented. Chapter 2 presents the analysis of publications related to the problems considered in the thesis. General methods for capturing business rules using natural and controlled natural languages are described. This chapter also includes an overview of the business rule dedicated tools. Each tool is analysed from the perspective of easy application and adoption of natural language. Special attention is also given to the ability of the approach to seamlessly propagate business rules to implementation. Chapter 3 deals with the methods of specification and transformation of domain specific languages within the context of model-driven engineering. The available development methods of the domain specific languages are analysed. The aim is to prepare the background for the development of domain specific business rules templates. Chapter 4 is the main chapter of the thesis which presents the approach suggested by the author in specifying business rules templates. BRTL approach designated to the specification of templates and the appropriate templates’ design technique are described there. The suggested approach is evaluated through transformation of business rules to semi-formal language. Chapter 5 presents transformation details and design solutions. Transformation is implemented in two steps. First, ORM model and the constraints are transformed to UML/OCL. The second step involves the transformation of a couple of business rules templates to OCL. Chapter 6 documents the findings of the experiment aimed at determining the extent to which business rules specified by using BRTL can be employed within the model-driven development of the financial reporting systems. The results of the experiment are compared with the data available from four historical projects of the same domain. The thesis comes to an with general conclusion about accomplished research and research goals. |
