A implementação das regras de negócio em sistemas de informação não é uma atividade trivial. Isso acontece porque os modelos utilizados para representá-las não determinam como elas podem ser efetivamente implementadas em situações reais. Neste trabalho é proposta um método para a transformação das regras de negócio descritas em SBVR para um modelo de implementação. Essa tradução é feita mapeando todos os elementos relevantes do modelo em SBVR em um modelo em $\\pi$-calculus baseado em eventos. Neste modelo, existe uma representação explícita de todos os eventos que precisam ser monitorados a fim de identificar quando a regra pode ter sido violada. O objetivo é facilitar o gerenciamento das regras de negócio ao permitir que elas permaneçam separadas dos outros elementos da arquitetura e com isso possam ser gerenciadas de forma independente. / The implementation of business rules in an information system is not an easy task. This happens because most of the models used to represent them capture only the meaning of the rules and do not provide means to make them to be effectively implemented. In this work we provide an approach for the translation from a SBVR semantic description of business rules into a implementation model. This was done by mapping all relevant elements of the SBVR semantic representation into a $\\pi$-calculus event-driven model. On this model will be described explicitly all the events that must be monitored in order to identify when some rule may have been violated. This makes the business rule implementation easier because there is a explicit indication of the moment when make sense to do a verification in order to see if any rule was violated. Besides that, it easier the business rule management since the rules stay separate from the others elements of the system architecture and in this way can be managed independently.

A implementação das regras de negócio em sistemas de informação não é uma atividade trivial. Isso acontece porque os modelos utilizados para representá-las não determinam como elas podem ser efetivamente implementadas em situações reais. Neste trabalho é proposta um método para a transformação das regras de negócio descritas em SBVR para um modelo de implementação. Essa tradução é feita mapeando todos os elementos relevantes do modelo em SBVR em um modelo em $\\pi$-calculus baseado em eventos. Neste modelo, existe uma representação explícita de todos os eventos que precisam ser monitorados a fim de identificar quando a regra pode ter sido violada. O objetivo é facilitar o gerenciamento das regras de negócio ao permitir que elas permaneçam separadas dos outros elementos da arquitetura e com isso possam ser gerenciadas de forma independente. / The implementation of business rules in an information system is not an easy task. This happens because most of the models used to represent them capture only the meaning of the rules and do not provide means to make them to be effectively implemented. In this work we provide an approach for the translation from a SBVR semantic description of business rules into a implementation model. This was done by mapping all relevant elements of the SBVR semantic representation into a $\\pi$-calculus event-driven model. On this model will be described explicitly all the events that must be monitored in order to identify when some rule may have been violated. This makes the business rule implementation easier because there is a explicit indication of the moment when make sense to do a verification in order to see if any rule was violated. Besides that, it easier the business rule management since the rules stay separate from the others elements of the system architecture and in this way can be managed independently.

The aim of this thesis is to evaluate chosen business rules management systems. In addition, it should provide global overview of all business rules area. Crucial definitions and principles related to the Business Rules Management are introduced in the first part of the thesis. The different types ofbusiness rules description, therelation between business rules and business processes, and technology used for BRMS are specified among others. In the second section,the evaluation criteria are created based the previous theoretical analysis. The criteria are divided into groups based on a functionality that should be provided by a business rules management system. The evaluation and its results are presented in the last part of the thesis. The results are discussed and the final conclusion is provided.The thesis can be used as baseline in the decision making process when a business rules management system is to be purchased.

Nowadays, nearly all of the commercial and government organizations are highly dependent on software systems. Due to the inherent dynamic nature of their business environment, software evolution is inevitable. The changes generated by business policies and operations are propagated onto software system. A large portion of total lifecycle cost is devoted to introduce new requirements, and remove or change existing requirements. However, the evolution of a successful software system is inevitable for the software to remain useful in its environment. Many research projects attempt to find a more applicable way for building a software system that is adaptive to changes. They strive to propose a software model, or architecture, that has the ability to minimize the effect of changes as well as providing requirements traceability in their model. Most of them utilize the benefit of object-oriented, distributed system, software architecture and component-based technologies. Our research attempts to address these issues in a slightly different way namely by considering business rules as volatile part of a software system. In this position paper, we introduce a software architecture which includes a link model that aims to reduce the effects of software changes by improving requirements traceability. When we have analyse this problem, we decide to make the program, which will have ability to resolve business rules isolation from all program code problem. The main purpose in this... [to full text]

The master work presents the modified Ross method-based model for business rules structuring during the information systems design as well as a software implementation of this model. The developed tool provides the designer with possibilities to create graphical business rules models, relating them with the specific elements of universe of discourse data model. The models are then processed and stored in a specialized repository. The presentation includes the overview of the model as well as the analysis of the specific features of the developed tool.

The research work is focused on analysis of possibilities of business rules formalization, storage in database tables, user friendliness improvement, and rules management. Business rules have been taken into investigation not long ago. Possibilities of using business rules in business software are still being defined. Formalization and usage of business rules in IT systems is very important, because rules are very often in any business, and any rule has a strong tendency to change over time. The changes of rules are caused by dynamic laws, competitors’ decisions, changing environment in the market, and many other factors. Business rules influence and guide the behavior of employees (influence on business), influence the information that is recorded in IT systems as well as restrict the modification of this information (influence on IT). The practical task of the work is to design and to develop a business rules management system for usage in SAP environment. The system should optimize the work of coders during the development and maintenance of additional functions for SAP R/3 ERP system.

Didėjantis duomenų kiekis šiuolaikinėse informacinėse sistemose verčia ieškoti geresnių ir patogesnių priemonių ir metodų šių duomenų analizei. Esant dideliam duomenų kiekiui žmogus nebegali aprėpti informacijos įvairovės, atrasti logines sąsajas tampa sudėtinga, todėl reikalingos priemonės, kurios palengvintų, automatizuotų ir intelektualizuotų duomenų analizę. Šiame darbe nagrinėjamas verslo taisyklių pritaikymas intelektualizuotai duomenų analizei. Darbe pasiūlomas metodas leidžiantis verslo taisykles, užrašytas XML kalba, transformuoti iki daugiamatės duomenų analizės instrukcijų programų sistemoje. Pasiūlytas metodas grindžiamas metamodelių transformacijomis. Darbe siūlomas metodas patikrintas eksperimentu, be to jis realizuotas programų sistemos prototipe. / Rising amount of data in information system require to search better and usable tools and methods for this data analysis. When is large data amount, then people can’t see diverseness of information, there is complicated to find logical links, therefore required tools, which can make data analysis usual, automation and intelligent. The paper describes business rule using for intelligent data analysis and offers a method for transformation of a business rule, described in XML language, into the multidimensional data analysis rules in the program system. The method based on metamodel transformations. There is offered method, which is validated by experiment and implemented in prototype of software system.

Disertacijoje tiriamas verslo taisyklių bei jų valdymo sistemų taikymas įmonių verslo valdymo informacinėse sistemose, nagrinėjamos šio taikymo problemos. Pagrindinis tyrimo objektas yra verslo taisyklių ir jų valdymo sistemų taikymas įmonių resursų valdymo (angl. Enterprise Resource Planning, toliau – ERP) sistemose. Darbo tikslas – patobulinti verslo taisyklių valdymo sistemų (angl. Business Rules Management Systems) integraciją į įmonių naudojamas resursų valdymo sistemas ir pasiūlyti integracijos metodą. Naudojant pasiūlytą metodą, verslo taisyklių valdymo sistemas į ERP sistemas galima integruoti naudojant aktyviųjų duomenų bazių valdymo sistemų (toliau – ADBVS) trigerius. Šis metodas tinka, kai kitų integracijos metodų naudojimas neįmanomas arba ekonomiškai nepagrįstas. Jis leidžia verslo taisykles kurti, keisti, valdyti ir diegti centralizuotai. Be to, galimybę keisti bei valdyti verslo taisykles turi ne tik programuotojai, bet ir verslininkai. Tai leidžia sumažinti verslo taisyklių kūrimo, keitimo bei administravimo kaštus. Šis metodas taip pat užtikrina sistemos judrumą. / The dissertation analyses problems of using business rules and business rules management systems in business management information systems of enterprises. The main subject of the study is the use of business rules and business rules management systems in ERP (Enterprise Resource Planning) systems. The objective of this study is to improve integration of Business Rules Management Systems into current Enterprise Resource Planning systems. With the use of the method proposed for the integration of business rules into ERP systems, business rules may be integrated into ERP systems with the help of active database management system triggers. This method is suitable when the use of other methods of integration is either impossible or not cost-efficient. The method allows to create, edit, manage and install business rules centrally. Moreover, a potential to change and manage the rules is intended not only for programmers, but also for business people. This allows to reduce costs of creation, editing and administration of business rules. Also, this method ensures a better system agility.

The paper analyses topicalities of implementation of business rules and business rules management systems into enterprise business management information systems. It is rare nowadays to find a company which is not using an ERP (Enterprise Resource Planning) system for its own needs. These systems are intended to perform a centralized accounting of enterprise activities, including financial, logistic, production, service management and human resource management accounting. / Darbe analizuojamas verslo taisyklių bei verslo taisyklių valdymo sistemų (angl. rule engine) taikymas įmonių verslo valdymo (angl. Enterprise Resource Planning – ERP) sistemose, nagrinėjamos šio taikymo problemos.

Today’s market competitiveness and globalisation are putting pressure on organisations to join their efforts, to focus more on cooperation and interaction and to add value to their businesses. That is, most information systems supporting these cross-organisations are characterised as service-oriented business applications, where all the emphasis is put on inter-service interactions rather than intra-service computations. Unfortunately for the development of such inter-organisational service-oriented business systems, current service technology proposes only ad-hoc, manual and static standard web-service languages such as WSDL, BPEL and WS-CDL [3, 7]. The main objective of the work reported in this thesis is thus to leverage the development of service-oriented business applications towards more reliability and dynamic adaptability, placing emphasis on the use of business rules to govern activities, while composing services. The best available software-engineering techniques for adaptability, mainly aspect-oriented mechanisms, are also to be integrated with advanced formal techniques. More specifically, the proposed approach consists of the following incremental steps. First, it models any business activity behaviour governing any service-oriented business process as Event-Condition-Action (ECA) rules. Then such informal rules are made more interaction-centric, using adapted architectural connectors. Third, still at the conceptual-level, with the aim of adapting such ECA-driven connectors, this approach borrows aspect-oriented ideas and mechanisms, and proposes to intercept events, select the properties required for interacting entities, explicitly and separately execute such ECA-driven behavioural interactions and finally dynamically weave the results into the entities involved. To ensure compliance and to preserve the implementation of this architectural conceptualisation, the work adopts the Maude language as an executable operational formalisation. For that purpose, Maude is first endowed with the notions of components and interfaces. Further, the concept of ECA-driven behavioural interactions are specified and implemented as aspects. Finally, capitalising on Maude reflection, the thesis demonstrates how to weave such interaction executions into associated services.