2016
DOI: 10.1007/978-3-319-51469-7_22
|View full text |Cite
|
Sign up to set email alerts
|

The Learnability of Business Rules

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
5
0

Year Published

2016
2016
2022
2022

Publication Types

Select...
2
2

Relationship

2
2

Authors

Journals

citations
Cited by 4 publications
(5 citation statements)
references
References 9 publications
0
5
0
Order By: Relevance
“…With respect to the work of Wang et al, 20 the Turing-completeness proof presented here, the operational semantics, and the associated proof-of-concept implementation, are new. We remark that, since the BR language itself is Turing-complete, the termination of its programs, which we claim can be computed by our operational semantics, is obviously an undecidable problem.…”
Section: Contributionsmentioning
confidence: 93%
See 1 more Smart Citation
“…With respect to the work of Wang et al, 20 the Turing-completeness proof presented here, the operational semantics, and the associated proof-of-concept implementation, are new. We remark that, since the BR language itself is Turing-complete, the termination of its programs, which we claim can be computed by our operational semantics, is obviously an undecidable problem.…”
Section: Contributionsmentioning
confidence: 93%
“…Algorithms for learning some restricted classes of programs exist for inductive logic programming 32 or nonmonotonic inductive logic programming. 33 Here, similar to the work of Wang et al, 20 we wish to examine the general case of learning in all terminating programs.…”
Section: Basics Of Computational Learning Theorymentioning
confidence: 99%
“…The work by Karaa et al 39 is interesting in the context of UML since it presented an improved approach to transform business rules from natural language that are specified within a user's requirements document into an UML class diagram, automatically. The work by Wang et al 40 is also appealing in the context of BPMN since they identified the extent to which business rules can actually be learnt from application code, logs, or models. Some authors have worked on checking whether the implementation of a business rule actually conforms to it or not, namely: Hnatkowska and Mazurek 41 focused on structural rules, which are a particular kind of constraint rules that focus on describing the structure of data, and checking whether a UML model conforms to them or not; Minock et al 42 leveraged the C-Phrase system, 43 which was originally intended to consult entity-relation databases using natural language, in order to check whether some Swedish Defence Materiel Administration databases conformed to some governmental constraint rules.…”
Section: Other Related Proposalsmentioning
confidence: 99%
“…The work by Karaa et al 39 is interesting in the context of UML since it presented an improved approach to transform business rules from natural language that are specified within a user's requirements document into an UML class diagram, automatically. The work by Wang et al 40 is also appealing in the context of BPMN since they identified the extent to which business rules can actually be learnt from application code, logs, or models.…”
Section: Related Workmentioning
confidence: 99%
“…The loop only terminates once every condition of the BRs is False. We proved in [29] that there is a universal BR program which can simulate any Turing Machine (TM), which makes the BR language Turing-complete.…”
Section: Preliminariesmentioning
confidence: 99%