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. © 2012 Springer-Verlag.
CITATION STYLE
Ksystra, K., Triantafyllou, N., & Stefaneas, P. (2012). On the algebraic semantics of reactive rules. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7438 LNCS, pp. 136–150). https://doi.org/10.1007/978-3-642-32689-9_11
Mendeley helps you to discover research relevant for your work.