Distributed ECA Rules for Data Management Policies

  • Hao Xu
  • Arcot Rajasekar
  • Reagan W. Moore
  • Mike Wan
Part of the Lecture Notes in Computer Science book series (LNCS, 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].

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
  2. 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. 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)CrossRefGoogle Scholar
  4. 4.
    Milner, R.: Communication and Concurrency. Prentice-Hall, Inc., Upper Saddle River (1989)MATHGoogle Scholar
  5. 5.
  6. 6.
    Bernstein, P.A., Goodman, N.: Concurrency Control in Distributed Database Systems. ACM Computing Surveys (CSUR) 13(2), 185–221 (1981)MathSciNetCrossRefGoogle Scholar
  7. 7.
  8. 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. 9.
    Siek, J., Taha, W.: Gradual Typing for Objects. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol. 4609, pp. 2–27. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  10. 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)CrossRefGoogle Scholar
  11. 11.
    Boudol, G., Castellani, I., Hennessy, M., Kiehn, A.: Observing Localities. Theoretical Computer Science 114(1), 31–61 (1993)MathSciNetMATHCrossRefGoogle Scholar
  12. 12.
    Castellani, I.: Observing Distribution in Processes: Static and Dynamic Localities. Technical Report RR-2276, INRIA (May 1994)Google Scholar
  13. 13.
    Corradini, F., De Nicola, R.: Locality Based Semantics for Process Algebras. Acta Informatica 34(4), 291–324 (1997)MathSciNetMATHCrossRefGoogle Scholar
  14. 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)CrossRefGoogle Scholar
  15. 15.
    Montanari, U., Yankelevich, D.: Location Equivalence in a Parametric Setting. Theoretical Computer Science 149(2), 299–332 (1995)MathSciNetMATHCrossRefGoogle Scholar
  16. 16.
    Murphy, D.: Observing Located Concurrency. In: Borzyszkowski, A.M., Sokolowski, S. (eds.) MFCS 1993. LNCS, vol. 711, pp. 566–576. Springer, Heidelberg (1993)CrossRefGoogle Scholar
  17. 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)CrossRefGoogle Scholar
  18. 18.
    Aceto, L.: A Static View of Localities. Formal Aspects of Computing 6, 201–222 (1994)MATHCrossRefGoogle Scholar
  19. 19.
    Boudol, G., Castellani, I., Hennessy, M., Kiehn, A.: A Theory of Processes with Localities. Formal Aspects of Computing 6, 165–200 (1994)MATHCrossRefGoogle Scholar
  20. 20.
    Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, I. Information and Computation 100(1), 1–40 (1992)MathSciNetMATHCrossRefGoogle Scholar
  21. 21.
  22. 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)CrossRefGoogle Scholar
  23. 23.
  24. 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)CrossRefGoogle Scholar
  25. 25.
  26. 26.
  27. 27.
  28. 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. 29.
  30. 30.
  31. 31.
    eXtensible Access Control Markup Language (XACML) Version 3.0Google Scholar
  32. 32.
    Baeten, J.C.: A Brief History of Process Algebra. Theoretical Computer Science 335(2), 131–146 (2005)MathSciNetMATHCrossRefGoogle Scholar
  33. 33.
    Hoare, C.A.R.: Communicating Sequential Processes. Communications of the ACM 21(8), 666–677 (1978)MathSciNetMATHCrossRefGoogle Scholar
  34. 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)CrossRefGoogle Scholar
  35. 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. 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)CrossRefGoogle Scholar
  37. 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)CrossRefGoogle Scholar
  38. 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)CrossRefGoogle Scholar
  39. 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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Hao Xu
    • 1
  • Arcot Rajasekar
    • 1
  • Reagan W. Moore
    • 1
  • Mike Wan
    • 2
  1. 1.DICE CenterUniversity of North Carolina at Chapel HillUSA
  2. 2.Retired from DICE CenterUniversity of California at San DiegoUSA

Personalised recommendations