A Framework for Fast Service Verification and Query Execution for Boolean Service Rules

The problem of service rule verification has attracted some attention in recent years. In this paper, we consider service rules in simple Boolean logic and present a new method for business rule verification using simultaneous minimal support set computation. As we show here, the problem is similar in flavor to the problem of prime implicant generation of a given Boolean function which has alluded researchers for several decades and significant efforts in this direction have been reported in literature, with proposals of widely varying algorithms and data structures. In this paper, we revisit this problem in the context of business rules and present a new method that aids in rule verification and also in query execution at runtime. Our method builds on the classical binary decision diagram data structure for representing business rules and generates the test scenarios by a simple traversal algorithm. Experimental results on simulated benchmark rules show the efficacy of our approach.

[1]  Olivier Coudert,et al.  Two-level logic minimization: an overview , 1994, Integr..

[2]  Fabio Somenzi,et al.  Logic synthesis and verification algorithms , 1996 .

[3]  Adrian Paschke,et al.  A Rule-based Middleware for Business Process Execution , 2008, Multikonferenz Wirtschaftsinformatik.

[4]  Schahram Dustdar,et al.  Business rules integration in BPEL - a service-oriented approach , 2005, Seventh IEEE International Conference on E-Commerce Technology (CEC'05).

[5]  M. Karnaugh.  The map method for synthesis of combinational logic circuits , 1953, Transactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics.

[6]  Adrian Paschke,et al.  Rule Based Business Process Execution with BPEL+ , 2009, I-SEMANTICS.

[7]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[8]  Mark Ryan,et al.  Binary decision diagrams , 2004 .

[9]  Sebastián Uchitel,et al.  LTSA-WS: a tool for model-based verification of web service compositions and choreography , 2006, ICSE.

[10]  Shi Yu.  TLA Based Customization and Verification Mechanism of Business Process for SaaS , 2010 .

[11]  Honghao Gao,et al.  A Novel Approach to Generate the Property for Web Service Verification from Threat-Driven Model , 2014 .

[12]  Hans Weigand,et al.  Rule-based service composition and service-oriented business rule management , 2008 .

[13]  Alin Deutsch,et al.  Automatic verification of data-centric business processes , 2009, ICDT '09.

[14]  Ron Rymon.  An SE-tree-based prime implicant generation algorithm , 2005, Annals of Mathematics and Artificial Intelligence.

[15]  E. McCluskey.  Minimization of Boolean functions , 1956 .

[16]  Sebastián Uchitel,et al.  Model-based verification of Web service compositions , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..