Advertisement

On the Algebraic Semantics of Reactive Rules

  • Katerina Ksystra
  • Nikolaos Triantafyllou
  • Petros Stefaneas
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7438)

Abstract

Service oriented architectures and event driven enviroments are becoming dominant over the web. Reactive Rules expressed by Rule Markup Languages are used to define the system’s reactions. In this paper we present a Hidden (Sorted) Algebra approach to some of the most common families of Reactive Rules. This semantics will allow the mapping between Rule Markup Languages and Behavioral Algebraic Specification Languages. Verification techniques for reactive rules, will provide automated reasoning capabilities and support the development of new rule based policies and trust models.

Keywords

Reactive Rules Hidden Algebra Observational Transition Systems Formal Semantics 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Paschke, A., Boley, H.: Rules Capturing Events and Reactivity. In: Giurca, A., Gasevic, D., Taveter, K. (eds.) Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, pp. 215–252. IGI Publishing (May 2009)Google Scholar
  2. 2.
    Boley, H., Paschke, A., Shafiq, O.: RuleML 1.0: The Overarching Specification of Web Rules. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol. 6403, pp. 162–178. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  3. 3.
    Goguen, J.A., Diaconescu, R.: Towards an Algebraic Semantics for the Object Paradigm. In: Ehrig, H., Orejas, F. (eds.) 10th Workshop on Abstract Data Types (1994)Google Scholar
  4. 4.
    Ogata, K., Futatsugi, K.: Proof Scores in the OTS/CafeOBJ Method. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol. 2884, pp. 170–184. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  5. 5.
    Carlson, J., Lisper, B.: An event detection algebra for reactive systems. In: 4th ACM International Conference on Embedded Software (2004)Google Scholar
  6. 6.
    Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. J. New Generation Computing. 4, 67–95 (1986)CrossRefGoogle Scholar
  7. 7.
    McCarthy, J., Hayes, P.J.: Some Philosophical Problems from the Standpoint of Artificial Intelligence. In: Michie, D., Meltzer, B. (eds.) Machine Intelligence 4, pp. 463–502. Edinburg University Press (1969)Google Scholar
  8. 8.
    Goguen, J.A.: Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. Theoretical Computer Science, 217–273 (1992)Google Scholar
  9. 9.
    Ogata, K., Futatsugi, K.: Modeling and verification of real-time systems based on equations. Science of Computer Programming 66, 162–180 (2007)MathSciNetMATHCrossRefGoogle Scholar
  10. 10.
    Paschke, A., Kozlenkov, A., Boley, H.: A Homogeneous Reaction Rule Language for Complex Event Processing. In: VLDB 2007 (2007)Google Scholar
  11. 11.
    CafeOBJ Homepage, http://www.theta.ro/cafeobj/
  12. 12.
    Futatsugi, K., Babu, C. S., Ogata, K.: Verifying Design with Proof Scores. In: Meyer, B., Woodcock, J. (eds.) VSTTE 2005. LNCS, vol. 4171, pp. 277–290. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  13. 13.
    Maude Homepage, http://maude.cs.uiuc.edu/
  14. 14.
    Diaconescu, R., Goguen, J., Stefaneas, P.: Logical support fot modularization. In: Second Annual Workshop on Logical Enviroments (1993)Google Scholar
  15. 15.
    Goguen, J., Malcolm, G.: A hidden agenda. Theoretical Computer Science (1996)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Katerina Ksystra
    • 1
  • Nikolaos Triantafyllou
    • 1
  • Petros Stefaneas
    • 1
  1. 1.National Technical University of AthensZografouGreece

Personalised recommendations