Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
A Context-Aware Usage Prediction Approach for Smartphone Applications Read chapter Read first chapter

2015 | OriginalPaper | Chapter

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

Authors : Soumi Chattopadhyay, Saikat Dutta, Ansuman Banerjee

Published in: Advances in Services Computing

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter A Context-Aware Usage Prediction Approach for Smartphone Applications
next chapter A Novel Reactive-Predictive Hybrid Resource Provision Method in Cloud Datacenter
Literature
1.
Paschke, A., Teymourian, K., AG Corporate Semantic Web: Rule based business process execution with BPEL+. In: I-SEMANTICS (2009)
2.
Rosenberg, F., Dustdar, S.: Business rules integration in bpel-a service-oriented approach. In: E-Commerce Technology, CEC 2005 (2005)
3.
Weigand, H., van den Heuvel, W.-J., Hiel, M.: Rule-based service composition and service-oriented business rule management. In: ReMoD (2008)
4.
Paschke, A., Kozlenkov, A.: A rule-based middleware for business process execution. In: Multikonferenz Wirtschaftsinformatik (2008)
5.
6.
7.
Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science. IEEE (1977)
8.
Deutsch, A., et al.: Automatic verification of data-centric business processes. In: Proceedings of the 12th International Conference on Database Theory. ACM (2009)
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)
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)MathSciNet
11.
12.
Coudert, O.: Two-level logic minimization: an overview. Integr. VLSI J. 17(2), 97–140 (1994)CrossRefMATH
13.
Ron, R.: An SE-tree-based prime implicant generation algorithm. Ann. Math. Artif. Intell. 11, 351–365 (1994)CrossRefMATH
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.
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)
16.
Hachtel, G.D., Somenzi, F.: Logic Synthesis and Verification Algorithms. Kluwer Academic Publishers, Dordrecht (2000). ISBN:0792397460
17.
Huth, M., Ryan, M.: Binary decision diagrams. In: Logic in Computer Science: Modelling andReasoning About Systems, Chap. VI, pp. 316–374 (2000)
18.
Metadata
Title
A Framework for Fast Service Verification and Query Execution for Boolean Service Rules
Authors
Soumi Chattopadhyay
Saikat Dutta
Ansuman Banerjee
Copyright Year
2015
Book
Advances in Services Computing

Print ISBN: 978-3-319-26978-8

Electronic ISBN: 978-3-319-26979-5

Copyright Year: 2015

DOI
https://doi.org/10.1007/978-3-319-26979-5_2

Premium Partner

    Image Credits