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.
This paper was supported by the THALIS project ”Algebraic Modeling of Topological and Computational Structures and Applications”. The Project THALIS is implemented under the Operational Project Education and Life Long Learning and is co-funded by the European Union (European Social Fund) and National Resources (ESPA).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
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)
Carlson, J., Lisper, B.: An event detection algebra for reactive systems. In: 4th ACM International Conference on Embedded Software (2004)
Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. J. New Generation Computing. 4, 67–95 (1986)
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)
Goguen, J.A.: Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. Theoretical Computer Science, 217–273 (1992)
Ogata, K., Futatsugi, K.: Modeling and verification of real-time systems based on equations. Science of Computer Programming 66, 162–180 (2007)
Paschke, A., Kozlenkov, A., Boley, H.: A Homogeneous Reaction Rule Language for Complex Event Processing. In: VLDB 2007 (2007)
CafeOBJ Homepage, http://www.theta.ro/cafeobj/
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)
Maude Homepage, http://maude.cs.uiuc.edu/
Diaconescu, R., Goguen, J., Stefaneas, P.: Logical support fot modularization. In: Second Annual Workshop on Logical Enviroments (1993)
Goguen, J., Malcolm, G.: A hidden agenda. Theoretical Computer Science (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ksystra, K., Triantafyllou, N., Stefaneas, P. (2012). On the Algebraic Semantics of Reactive Rules. In: Bikakis, A., Giurca, A. (eds) Rules on the Web: Research and Applications. RuleML 2012. Lecture Notes in Computer Science, vol 7438. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32689-9_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-32689-9_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32688-2
Online ISBN: 978-3-642-32689-9
eBook Packages: Computer ScienceComputer Science (R0)