IJSER Home >> Journal >> IJSER
International Journal of Scientific and Engineering Research
ISSN Online 2229-5518
ISSN Print: 2229-5518 5    
Website: http://www.ijser.org
scirp IJSER >> Volume 2, Issue 5, May 2011 Edition
A Navel Approach for Evaluating Completeness of Business Rules using First Order Logic
Full Text(PDF, 3000)  PP.  
M.Thirumaran, E. IIavarasan, R. Manoharan, Thanigaivel.K
Completeness, Rule Execution, Business process, Business rules, Business Rules Approaches, First Order Logic,Business rules, First Order logic, Completeness algorithm
Organizations are under increasing scrutiny to develop the rules to regulate their business requirements and it is important to standardize the business rules to automate the complex process into simple logic. So several process modeling languages and rule modeling languages are evolved to modulate the organizational policies and procedures. Business rules are the constraints which influence the behaviors and also specify the derivation of conditions that affect the execution flow. These rules are form of conditional operations attached to the process to give data result. These systems implement business rules that are restructured when organizations change the data to the varying business needs. When these rules are changed, it must be efficient to provide a decision based on the given constraints or based on business requirements. The correct decision logic are verified by evaluating or validating the completeness of the business rule. More often the rules can associate with another rule to derive business logic, but these rules are not complete enough to determine the computability of business logic. So it is necessary to check whether the rule is complete, this can be proved when the rules are interpreted with first order logic. This paper provides standard approach to evaluate the completeness of business rules by formulating the rules using first order logic. Applying these strategies introduces a structured approach and management aspects within rules by focusing on rule sources which are important for the process goal and providing a meaningful rule structure. It points out the necessity and also the real possibilities to establish new facilities for manipulation of business rules into the software development process. This can give rise increase in the performance of the legacy system.
[1] Chun Ouyang , ‚From Business Process Models to Process-Oriented Software Systems‛

[2] Michael zur Muehlen, ‚Business Process and Business Rule Modeling Languages for Compliance Management: A Representational Analysis‛, Twenty-Sixth International Conference on Conceptual Modeling - ER 2007 - Tutorials, Posters, Panels and Industrial Contributions, Auckland, New Zealand. International Journal on Web Service Computing (IJWSC), Vol.1, No.2, December 2010 .28-31

[3] Josef Schiefer, ‚Event-Driven Rules for Sensing and Responding to Business Situations‛.

[4] Claire Costello, ‚ Orchestrating Supply chain Interactions using Emerging Process Description Languages and Business Rules‛.

[5] Anca Andreescu, ‚ A General Software Development Process Suitable for Explicit Manipulation of Business Rules‛

[6] Milan Milanovic1, ‚ Modeling Service Orchestrations with a Rule-enhanced Business Process Language‛

[7] Olegas Vasilecas,‛ Ensuring Consistency of Information Systems Rules Models‛.

[8] Anis Charfi, ‚ Hybrid Web Service Composition: Business Processes Meet Business Rules‛.

[9] Bruno de Moura Araujo, ‚ A method for Validating the Compliance of Business Processes to Business Rules‛.

[10] Nicholas Zsifkov, ‚ Business Rules Domains and Business Rules Modeling‛.

[11] Antonio Oliveira, ‚ Filho Change Impact Analysis from Business Rules‛.

[12] Jose F. Mejia Bernal, ‚ Dynamic Context-Aware Business Process: A Rule-Based Approach Supported by Pattern Identification‛.

[13] Timon C. Du and Hsing-Ling Chen ,‚Building a Multiple-Criteria Negotiation Support System‛, IEEE transactions on knowledge and data engineering, vol. 19, no. 6, June 2007.

[14] Sam Weber, Hoi Chan, Lou Degenaro, Judah Diament, Achille Fokoue-Nkoutche, and Isabelle Rouvellou, ‚Fusion: A System For Business Users To Manage Program Variability‛, IEEE Transaction on software engineering , Nov 2008.

[15] H. M. Sneed, ‚Extracting Business Logic from Existing COBOL Programs as a Basis for Redevelopment‛, 9th International Workshop on Program Comprehension, Toronto, Canada, 2001, pp. 167-175.

[16] Sangseung Kang, ‚Design of Rule Object Model for Business Rule Systems‛, 1996,pp. 818-822.

[17] Olga Levina, ‚Extracting Business Logic from Business Process Models‛, 2010 IEEE.

[18] Mohammed Alawairdhi, ‚A Business-Logic Based Framework for Evolving Software Systems‛, 2009 33rd Annual IEEE International Computer Software and Applications Conference.

[19] Olegas Vasilecas, ‚Ensuring Consistency of Information Systems Rules Models‛, the International Multiconference on Computer Science and Information Technology, 2008.

[20] Anis Charfi, ‚ Hybrid Web Service Composition: Business Processes Meet Business Rules‛, ICSOC'04, November 15–19, 2004, New York, New York, USA.

[21] Jose F. Mejia Bernal, ‚ Dynamic Context-Aware Business Process: A Rule-Based Approach Supported by Pattern Identification‛, SAC’10, March 22-26, 2010, Sierre, Switzerland.

[22] Gulnoza Ziyaeva, Eunmi Choi, and Dugki Min, ‚Content-Based Intelligent Routing and Message Processing in Enterprise Service Bus‛, International Conference on Convergence and Hybrid Information Technology, 2008

[23] en.wikipedia.org/wiki/Business_rule

Untitled Page