Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Rules and Rule Markup Languages for the Semantic Web

RuleML 2013: Theory, Practice, and Applications of Rules on the Web pp 203–217Cite as

Distributed ECA Rules for Data Management Policies

  • Conference paper

  • 793 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 8035))

Abstract

Data management policies for a distributed system that handles “big data” usually require a core feature set provided by a rule framework. In this paper, we describe a viable core feature set, partially extending the event-condition-action framework, based on our experience in developing and applying the integrated Rule-Oriented Data-management System [1,2,3]. We attempt to formalize some aspects of this feature set, focusing on location-aware and asynchronous execution of rules, based on the Calculus of Concurrent Systems [4].

This research is partially supported by NSF grant #0940841 “DataNet Federation Consortium” and NSF grant #1032732 “SDCI Data Improvement: Improvement and Sustainability of iRODS Data Grid Software for Multi-Disciplinary Community Driven Application”.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. http://irods.org

  2. Ward, J.H., Wan, M., Schroeder, W., Rajasekar, A., de Torcy, A., Russell, T., Xu, H., Moore, R.W.: The integrated Rule-Oriented Data System (iRODS) Micro-service Workbook (2012)

    Google Scholar 

  3. Rajasekar, A., Moore, R., Hou, C.Y., Lee, C.A., Marciano, R., de Torcy, A., Wan, M., Schroeder, W., Chen, S.Y., Gilbert, L., Tooby, P., Zhu, B.: iRODS Primer: integrated Rule-Oriented Data System. Synthesis Lectures on Information Concepts, Retrieval, and Services 2(1), 1–143 (2010)

    Article  Google Scholar 

  4. Milner, R.: Communication and Concurrency. Prentice-Hall, Inc., Upper Saddle River (1989)

    MATH  Google Scholar 

  5. http://www.w3.org/2005/rules/wg/wiki/Classification_of_Rules.html

  6. Bernstein, P.A., Goodman, N.: Concurrency Control in Distributed Database Systems. ACM Computing Surveys (CSUR) 13(2), 185–221 (1981)

    Article  MathSciNet  Google Scholar 

  7. http://en.wikipedia.org/wiki/Duck_typing

  8. Siek, J.G., Taha, W.: Gradual Typing for Functional Languages. In: Scheme and Functional Programming Workshop, vol. 6, pp. 81–92 (2006)

    Google Scholar 

  9. Siek, J., Taha, W.: Gradual Typing for Objects. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol. 4609, pp. 2–27. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  10. Amadio, R.M.: An Asynchronous Model of Locality, Failure, and Process Mobility. In: Garlan, D., Le Métayer, D. (eds.) COORDINATION 1997. LNCS, vol. 1282, pp. 374–391. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  11. Boudol, G., Castellani, I., Hennessy, M., Kiehn, A.: Observing Localities. Theoretical Computer Science 114(1), 31–61 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  12. Castellani, I.: Observing Distribution in Processes: Static and Dynamic Localities. Technical Report RR-2276, INRIA (May 1994)

    Google Scholar 

  13. Corradini, F., De Nicola, R.: Locality Based Semantics for Process Algebras. Acta Informatica 34(4), 291–324 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  14. De Nicola, R., Ferrari, G.L., Pugliese, R.: KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering 24(5), 315–330 (1998)

    Article  Google Scholar 

  15. Montanari, U., Yankelevich, D.: Location Equivalence in a Parametric Setting. Theoretical Computer Science 149(2), 299–332 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  16. Murphy, D.: Observing Located Concurrency. In: Borzyszkowski, A.M., Sokolowski, S. (eds.) MFCS 1993. LNCS, vol. 711, pp. 566–576. Springer, Heidelberg (1993)

    Chapter  Google Scholar 

  17. Riely, J., Hennessy, M.: Distributed Processes and Location Failures. In: Degano, P., Gorrieri, R., Marchetti-Spaccamela, A. (eds.) ICALP 1997. LNCS, vol. 1256, pp. 471–481. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  18. Aceto, L.: A Static View of Localities. Formal Aspects of Computing 6, 201–222 (1994)

    Article  MATH  Google Scholar 

  19. Boudol, G., Castellani, I., Hennessy, M., Kiehn, A.: A Theory of Processes with Localities. Formal Aspects of Computing 6, 165–200 (1994)

    Article  MATH  Google Scholar 

  20. Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, I. Information and Computation 100(1), 1–40 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  21. https://www.irods.org/index.php/Testing

  22. Paschke, A., Boley, H., Zhao, Z., Teymourian, K., Athan, T.: Reaction RuleML 1.0: Standardized Semantic Reaction Rules. In: Bikakis, A., Giurca, A. (eds.) RuleML 2012. LNCS, vol. 7438, pp. 100–119. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  23. http://ruleml.org

  24. 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)

    Chapter  Google Scholar 

  25. http://www.jboss.org/drools/

  26. http://herzberg.ca.sandia.gov/

  27. http://clipsrules.sourceforge.net

  28. Organization for the Advancement of Structured Information Standards (OASIS): Web Services Business Process Execution Language (WS-BPEL) Version 2.0 (April 2007)

    Google Scholar 

  29. http://www.taverna.org.uk/

  30. http://kepler-project.org

  31. eXtensible Access Control Markup Language (XACML) Version 3.0

    Google Scholar 

  32. Baeten, J.C.: A Brief History of Process Algebra. Theoretical Computer Science 335(2), 131–146 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  33. Hoare, C.A.R.: Communicating Sequential Processes. Communications of the ACM 21(8), 666–677 (1978)

    Article  MathSciNet  MATH  Google Scholar 

  34. Bergstra, J.A., Klop, J.W.: The Algebra of Recursively Defined Processes and the Algebra of Regular Processes. In: Paredaens, J. (ed.) ICALP 1984. LNCS, vol. 172, pp. 82–94. Springer, Heidelberg (1984)

    Chapter  Google Scholar 

  35. Amadio, R.M., Prasad, S.: Localities and Failures (extended summary). In: Thiagarajan, P.S. (ed.) FSTTCS 1994. LNCS, vol. 880, pp. 205–216. Springer, Heidelberg (1994)

    Google Scholar 

  36. Danos, V., Krivine, J.: Reversible Communicating Systems. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 292–307. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  37. Paschke, A., Vincent, P., Springer, F.: Standards for Complex Event Processing and Reaction Rules. In: Olken, F., Palmirani, M., Sottara, D. (eds.) RuleML - America 2011. LNCS, vol. 7018, pp. 128–139. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  38. Shanahan, M.: The Event Calculus Explained. In: Veloso, M.M., Wooldridge, M.J. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol. 1600, pp. 409–430. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  39. Bragaglia, S., Chesani, F., Mello, P., Sottara, D.: A Rule-Based Calculus and Processing of Complex Events. In: Bikakis, A., Giurca, A. (eds.) RuleML 2012. LNCS, vol. 7438, pp. 151–166. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DICE Center, University of North Carolina at Chapel Hill, USA

    Hao Xu, Arcot Rajasekar & Reagan W. Moore

  2. Retired from DICE Center, University of California at San Diego, USA

    Mike Wan

Authors
  1. Hao Xu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Arcot Rajasekar
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Reagan W. Moore
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Mike Wan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. SAIC / Leidos, 4001 N. Fairfax Drive, 20902, Arlington, VA, USA

    Leora Morgenstern

  2. School of Applied Mathematics and Physics, National Technical University of Athens, 10682, Athens, Attiki, Greece

    Petros Stefaneas

  3. Université Paris 13, Avenue Jean-Baptiste Clément, Villetaneuse, 93430, Paris, France

    François Lévy

  4. Department of Computing Science, University of Aberdeen, Meston Building, Meston Walk, AB24 3UE, Aberdeen, Scotland, UK

    Adam Wyner

  5. Corporate Semantic Web, Freie Universität, Institut für Informatik, Königin-Luise-Str. 24, 14195, Berlin, Germany

    Adrian Paschke

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Xu, H., Rajasekar, A., Moore, R.W., Wan, M. (2013). Distributed ECA Rules for Data Management Policies. In: Morgenstern, L., Stefaneas, P., Lévy, F., Wyner, A., Paschke, A. (eds) Theory, Practice, and Applications of Rules on the Web. RuleML 2013. Lecture Notes in Computer Science, vol 8035. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39617-5_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-39617-5_19

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-39616-8

  • Online ISBN: 978-3-642-39617-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation