DocumentCode :
3039775
Title :
ReFlex: An Efficient Graph-Based Rule Engine to Execute Declarative Processes
Author :
De Carvalho, Renata M. ; Silva, Natalia C. ; Lima, Ricardo Massa Ferreira ; Cornelio, Marcio L.
Author_Institution :
Center of Inf., Fed. Univ. of Pernambuco, Recife, Brazil
fYear :
2013
fDate :
13-16 Oct. 2013
Firstpage :
1379
Lastpage :
1384
Abstract :
Declarative Business Processes offer more flexibility to business processes by the use of business rules. Such business rules describe what must or must not be done during the process execution, but do not prescribe how. To fully experience the benefits of this modeling approach, companies need a rule engine capable of checking the rules and guiding the user through the execution of the process. The rule engines available today present several limitations that impair their use to this application. In particular, the well-known approach that employs Linear Temporal Logic (LTL) has the drawback of the state space explosion as the process model grows. This paper proposes a novel graph-based rule engine that does not share the problems presented by other engines, being better suited to model declarative business processes than the techniques currently in use.
Keywords :
business data processing; graph theory; temporal logic; LTL; ReFlex; business rules; declarative business processes; graph-based rule engine; linear temporal logic; process execution; process model; state space explosion; Algorithm design and analysis; Companies; Engines; Inference algorithms; Runtime; System recovery; business process; business rules; declarative processes; graph theory; rule engine;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Systems, Man, and Cybernetics (SMC), 2013 IEEE International Conference on
Conference_Location :
Manchester
Type :
conf
DOI :
10.1109/SMC.2013.238
Filename :
6721991
Link To Document :
بازگشت