Extraction of Conditional Statements for Understanding Business Rules

Hatano, Tomomi; Ishio, Takashi; Okada, Jun; Sakai, Yuji; Inoue, Katsuro

doi:10.1109/iwesep.2014.14

Cited by 3 publications

(3 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Such conditions are then captured, translated, and recorded as business rules which are then evaluated by domain experts. In their works, Hatano et al [8] discussed an approach for understanding business rules in software systems in which the source code of the system is analyzed to determine conditional statements that affect the computation of variables used to generate system outputs.…”

Section: White-box Business Rule Extraction Approachesmentioning

confidence: 99%

“…Thus, many organizations evolve their legacy software systems through redevelopment or replacement of these systems to sufficient support business goals. Such goals may include (1) switching from a legacy programming language to a modern language, (2) adopting a flexible software architecture for the software system (such as switching from a monolithic architecture to a microservice architecture), and (3) targeting a new operational environment (such as switching from Mainframe environment to Cloud environment) [6][7][8]. To accomplish such evolution activities, the replacing software system is often needed to fully or partially satisfy the business rules embedded in the legacy software system.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A Black-Box Computational Business Rules Extraction Approach through Test-Driven Development

Albassam

2023

Teh. glas. (Online)

View full text Add to dashboard Cite

Business rules extraction is an important activity in situations in which a software system becomes obsolete and needs to be replaced by a newer system, since the replacing system needs to satisfy the business rules embedded in the legacy software system. In this paper, we investigate an approach in which the computational business rules of a legacy software system can be extracted given previously generated output of the system and without requiring access to the system’s source code. Furthermore, extracted computational business rules are validated automatically with minimal involvement of domain experts through Test-Driven Development (TDD) such that test cases are constructed from historic output of the system. The proposed approach is applied to extract the computational business rules of a large-scale governmental payroll legacy software system. The study results demonstrate that the suggested approach extracted computational business rules van meet a substantial number of test cases. Thus, the efforts involving domain experts can be reduces to analyze such instances.

show abstract

Section: White-box Business Rule Extraction Approachesmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

A Black-Box Computational Business Rules Extraction Approach through Test-Driven Development

Albassam

2023

Teh. glas. (Online)

View full text Add to dashboard Cite

show abstract

“…In f ormal verif ication shown in Section IV, a rule-form formula composed of conditions and conclusions is extracted from the DTEM. Extracting a specification from a program in the form of rules has been studied [22] [23] [24] [25] [26] [27] [28]. In these studies, the control path of the program is extracted by static analysis or symbolic execution, and the rule is created on the basis of the branch condition that constitutes the control path.…”

Section: Related Workmentioning

confidence: 99%

Formal Verification of a Decision-Tree Ensemble Model and Detection of Its Violation Ranges

Sato

Kuruma

Nakagawa

et al. 2020

IEICE Trans. Inf. & Syst.

View full text Add to dashboard Cite

As one type of machine-learning model, a "decisiontree ensemble model" (DTEM) is represented by a set of decision trees. A DTEM is mainly known to be valid for structured data; however, like other machine-learning models, it is difficult to train so that it returns the correct output value for any input value. Accordingly, when a DTEM is used in regard to a system that requires reliability, it is important to comprehensively detect input values that lead to malfunctions of a system (failures) during development and take appropriate measures. One conceivable solution is to install an input filter that controls the input to the DTEM, and to use separate software to process input values that may lead to failures. To develop the input filter, it is necessary to specify the filtering condition of the input value that leads to the malfunction of the system. Given that necessity, in this paper, we propose a method for formally verifying a DTEM and, according to the result of the verification, if an input value leading to a failure is found, extracting the range in which such an input value exists. The proposed method can comprehensively extract the range in which the input value leading to the failure exists; therefore, by creating an input filter based on that range, it is possible to prevent the failure occurring in the system. In this paper, the algorithm of the proposed method is described, and the results of a case study using a dataset of house prices are presented. On the basis of those results, the feasibility of the proposed method is demonstrated, and its scalability is evaluated.

show abstract

Dependency-Based Extraction of Conditional Statements for Understanding Business Rules

Hatano

Ishio

Okada

et al. 2016

IEICE Trans. Inf. & Syst.

Self Cite

View full text Add to dashboard Cite

SUMMARY For the maintenance of a business system, developers must understand the business rules implemented in the system. One type of business rules defines computational business rules; they represent how an output value of a feature is computed from the valid inputs. Unfortunately, understanding business rules is a tedious and error-prone activity. We propose a program-dependence analysis technique tailored to understanding computational business rules. Given a variable representing an output, the proposed technique extracts the conditional statements that may affect the computation of the output. To evaluate the usefulness of the technique, we conducted an experiment with eight developers in one company. The results confirm that the proposed technique enables developers to accurately identify conditional statements corresponding to computational business rules. Furthermore, we compare the number of conditional statements extracted by the proposed technique and program slicing. We conclude that the proposed technique, in general, is more effective than program slicing.

show abstract

Extraction of Conditional Statements for Understanding Business Rules

Cited by 3 publications

References 17 publications

A Black-Box Computational Business Rules Extraction Approach through Test-Driven Development

A Black-Box Computational Business Rules Extraction Approach through Test-Driven Development

Formal Verification of a Decision-Tree Ensemble Model and Detection of Its Violation Ranges

Dependency-Based Extraction of Conditional Statements for Understanding Business Rules

Contact Info

Product

Resources

About