Embedding Event Algebras and Process Algebras in a Framework for ECA Rules for the Semantic Web

• Autorzy: Behrends E. , Fritzen O. , May W.
• Języki publikacji: EN

Abstrakty

EN

We describe how Event-Condition-Action (ECA) rules can be combined with event algebras like SNOOP for specification of the event part, and process algebras like CCS for specification of the action part to obtain a powerful, declarative formalism that also covers intuitively procedural tasks in an appropriate way. Since these formalisms have a concise formal semantics, verification and other kinds of reasoning about such specifications are possible. Using a rule markup with cleanly distinguished rule components allows for such a compositional approach. The approach is currently under implementation in the MARS (Modular Active Rules for the Semantic Web) Framework.

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2008
• Tom: Vol. 82, nr 3
• Strony: 237--263
• Opis fizyczny: bibliogr. 35 poz., wykr.

Twórcy

autor

Behrends E.

autor

Fritzen O.

autor

May W.

• Institut für Informatik, Universitat Göttingen, Lotzestrasse 16-18, 37083 Göttingen, Germany,

Bibliografia

• [1] José Júlio Alferes, Ricardo Amador, Erik Behrends, Oliver Fritzen, Tobias Knabke, Wolfgang May, Franz Schenk, and Daniel Schubert. Reactive Rule Ontology: RDF/OWL level. Technical Report I5-D6, REWERSE EU FP6 NoE, 2007. Available at http://www.rewerse.net.
• [2] José Júlio Alferes andWolfgang May. Course: Evolution and reactivity for the web. In Norbert Eisinger and Jan Małuszy´nski, editors, REWERSE Summer School, Springer LNCS 3564, pages 134-172, 2005.
• [3] Erik Behrends, Oliver Fritzen, Wolfgang May, and Franz Schenk. Combining ECA Rules with Process Algebras for the Semantic Web. In Rule Markup Languages (RuleML), pages 29-38. IEEE Press, 2006.
• [4] Erik Behrends, Oliver Fritzen, Wolfgang May, and Daniel Schubert. An ECA Engine for Deploying Heterogeneous Component Languages in the SemanticWeb. In Web Reactivity (EDBT Workshop), Springer LNCS 4254, pp. 887-898, 2006.
• [5] J. A. Bergstra and J. W. Klop. Algebra of communicating processes with abstraction. Theoretical Computer Science, 1(37):77-121, 1985.
• [6] Mikael Berndtsson and Marco Seiri¨o. Design and Implementation of an ECA Rule Markup Language. In Rule Markup Languages (RuleML), Springer LNCS 3791, pages 98-112, 2005.
• [7] Eike Best, Raymond Devillers, and Maciej Koutny. The Box Algebra = Petri Nets + Process Expressions.Information and Computation, 178:44-100, 2002.
• [8] Angela Bonifati, Daniele Braga, Alessandro Campi, and Stefano Ceri. Active XQuery. In Intl. Conference on Data Engineering (ICDE), pages 403-418, San Jose, California, 2002.
• [9] François Bry, Michael Eckert, and Paula-Lavinia Pătrânjan. Reactivity on the Web: Paradigms and applications of the language XChange. J. of Web Engineering, 5(1):3-24, 2006.
• [10] S. Chakravarthy, V. Krishnaprasad, E. Anwar, and S.-K. Kim. Composite events for active databases: Semantics, contexts and detection. In Proceedings of the 20th VLDB, pages 606-617, 1994.
• [11] Jan Chomicki. Efficient checking of temporal integrity constraints using bounded history encoding. ACM Transactions on Database Systems (TODS), 20(2):149-186, 1995.
• [12] Edmund Clarke, Orna Grumberg, and Doron Peled. Model Checking. MIT Press, 2000.
• [13] Alin Deutsch, Mary Fernandez, Daniela Florescu, Alon Levy, and Dan Suciu. XML-QL: A Query Language for XML. In 8th. WWW Conference. W3C, 1999. World Wide Web Consortium Technical Report, NOTExml-ql-19980819, www.w3.org/TR/NOTE-xml-ql.
• [14] C. L. Forgy. A fast algorithmfor the many pattern/many object pattern match problem. Artificial Intelligence, 19:17-37, 1982.
• [15] Dov Gabbay. The declarative past, and imperative future: Executable temporal logic for interactive systems. In Temporal Logic in Specification, Springer LNCS 398, pages 409-448, 1989.
• [16] Stella Gatziu and Klaus R. Dittrich. SAMOS: An active object-oriented database system. Data Engineering Bulletin, 15(1-4):23-26, 1992.
• [17] N. H. Gehani, H. V. Jagadish, and O. Shmueli. Event specification in an active object-oriented database. In ACM Intl. Conference on Management of Data (SIGMOD), pages 81-90, 1992.
• [18] D. Harel. First-Order Dynamic Logic. Springer LNCS 68, 1979.
• [19] C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
• [20] R. Janicki and P. E. Lauer. Specification and Analysis of Concurrent Systems - the COSY Approach. EATCS Monographs on Theoretical Computer Science. Springer, 1992.
• [21] Michael Kifer and Georg Lausen. F-Logic: A higher-order language for reasoning about objects, inheritance and scheme. In ACM Intl. Conference on Management of Data (SIGMOD), pages 134-146, 1989.
• [22] Wolfgang May, José Júlio Alferes, and Ricardo Amador. Active rules in the semantic web: Dealing with language heterogeneity. In Rule Markup Languages (RuleML), Springer LNCS 3791, pages 30-44, 2005.
• [23] Wolfgang May, José Júlio Alferes, and Ricardo Amador. An ontology- and resources-based approach to evolution and reactivity in the semantic web. In Ontologies, Databases and Semantics (ODBASE), Springer LNCS 3761, pages 1553-1570, 2005.
• [24] WolfgangMay, Franz Schenk, and Elke von Lienen. Extending an OWL web node with reactive behavior. In Principles and Practice of Semantic Web Reasoning (PPSWR), Springer LNCS 4187, pages 134-148, 2006.
• [25] R. Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science, pages 267-310, 1983.
• [26] R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
• [27] R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes. Information and Computation, 1(100):1-77, 1992.
• [28] N. W. Paton, editor. Active Rules in Database Systems. Monographs in Computer Science. Springer, 1999. ISBN 0-387-98529-8.
• [29] N. W. Paton and O. Diaz. Active Database Systems. ACM Computing Surveys, 31(1):63-103, 1999.
• [30] Alexandra Poulovassilis, George Papamarkos, and Peter T. Wood. Event-Condition.Action Rule Languages for the SemanticWeb. In Current Trends in Database Technology - EDBT 2006 Workshops, Springer LNCS 4255, pages 855-864, 2006.
• [31] A. Prasad Sistla and OuriWolfson. Temporal conditions and integrity constraints in active database systems. In ACM Intl. Conference on Management of Data (SIGMOD), pages 269-280, 1995.
• [32] Sebastian Spautz. Automatenbasierte Detektion von Composite Events gem¨ass SNOOP in XMLUmgebungen. Diplomarbeit, TU Clausthal (in german), 2006.
• [33] SPARQL Query Language for RDF. http://www.w3.org/TR/rdf-sparql-query/, 2006.
• [34] Colin Stirling and David Walker. Ccs, liveness, and local model checking in the linear time mu-calculus. In Automatic Verification Methods for Finite State Systems, Springer LNCS 407, pages 166-178, 1989.
• [35] Jennifer Widom and Stefano Ceri, editors. Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann, 1996.