Embedding event algebras and process for ECA rules for the Semantic Web

Fundamenta Informaticae

Volumn 82, Issue 3, 2008, Pages 237-263

  Behrends, Erik ^a   Fritzen, Oliver ^a   May, Wolfgang ^a   Schenk, Franz ^a  

^a UNIVERSITY OF GÖTTINGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; INFORMATION THEORY; SEMANTIC WEB; SPECIFICATIONS; THEOREM PROVING;

ACTIVE RULES; COMPOSITIONAL APPROACH; EVENT-CONDITION-ACTION (ECA) RULES; FORMAL SEMANTICS; PROCESS ALGEBRAS;

SEMANTICS;

EID: 48249088520     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (35)

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, REW-ERSE EU FP6 NoE, 2007. Available at http://www.rewerse.net.
2. José Júlio Alferes and Wolfgang May. Course: Evolution and reactivity for the web. In Norbert Eisinger and Jan Maluszyński, 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 Semantic Web. 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ö. 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, NOTE-xml-ql-19980819, www.w3.org/TR/NOTE-xml-ql.
14. C. L. Forgy. A fast algorithm for 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. Wolfgang May, 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 Semantic Web. In Current Trends in Database Technology - EDBT 2006 Workshops, Springer LNCS 4255, pages 855-864, 2006.
31. A. Prasad Sistla and Ouri Wolfson. 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äss SNOOP in XML-Umgebungen. 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.