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

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9464)


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.


Service Rules Minimum Support Set Prime Implicant Generation Business Rules Simple Boolean Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Paschke, A., Teymourian, K., AG Corporate Semantic Web: Rule based business process execution with BPEL+. In: I-SEMANTICS (2009)Google Scholar
  2. 2.
    Rosenberg, F., Dustdar, S.: Business rules integration in bpel-a service-oriented approach. In: E-Commerce Technology, CEC 2005 (2005)Google Scholar
  3. 3.
    Weigand, H., van den Heuvel, W.-J., Hiel, M.: Rule-based service composition and service-oriented business rule management. In: ReMoD (2008)Google Scholar
  4. 4.
    Paschke, A., Kozlenkov, A.: A rule-based middleware for business process execution. In: Multikonferenz Wirtschaftsinformatik (2008)Google Scholar
  5. 5.
  6. 6.
  7. 7.
    Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science. IEEE (1977)Google Scholar
  8. 8.
    Deutsch, A., et al.: Automatic verification of data-centric business processes. In: Proceedings of the 12th International Conference on Database Theory. ACM (2009)Google Scholar
  9. 9.
    Shi, Y.-L., et al.: TLA based customization and verification mechanism of business process for SaaS. Jisuanji Xuebao (Chin. J. Comput.) 33(11), 2055–2067 (2010)Google Scholar
  10. 10.
    Karnaugh, M.: The map method for synthesis of combinational logic circuits. Am. Inst. Electr. Eng. Part I: Trans. Comm. Electron. 72(5), 593–599 (1953)MathSciNetGoogle Scholar
  11. 11.
    McCluskey, E.: Minimization of Boolean function. J. Bell Syst. Tech. 35, 1417–1444 (1956)CrossRefMathSciNetGoogle Scholar
  12. 12.
    Coudert, O.: Two-level logic minimization: an overview. Integr. VLSI J. 17(2), 97–140 (1994)CrossRefzbMATHGoogle Scholar
  13. 13.
    Ron, R.: An SE-tree-based prime implicant generation algorithm. Ann. Math. Artif. Intell. 11, 351–365 (1994)CrossRefzbMATHGoogle Scholar
  14. 14.
    Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based verification of web service compositions. In: Proceedings of the 18th IEEE International Conference on Automated Software Engineering, 6–10 October 2003, pp. 152–161 (2003). doi: 10.1109/ASE.2003.1240303
  15. 15.
    Zhu, Y., Gao, H.: A novel approach to generate the property for web service verification from threat-driven model. Appl. Math. 8(2), 657–664 (2014)Google Scholar
  16. 16.
    Hachtel, G.D., Somenzi, F.: Logic Synthesis and Verification Algorithms. Kluwer Academic Publishers, Dordrecht (2000). ISBN:0792397460Google Scholar
  17. 17.
    Huth, M., Ryan, M.: Binary decision diagrams. In: Logic in Computer Science: Modelling andReasoning About Systems, Chap. VI, pp. 316–374 (2000)Google Scholar
  18. 18.
    CUDD: CU Decision Diagram Package Release 2.5.0.

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Indian Statistical InstituteKolkataIndia
  2. 2.Jadavpur UniversityKolkataIndia

Personalised recommendations