Skip to main content
SpringerLink
Log in

Data Intensive Distributed Computing in Data Aware Self-organizing Networks

  • Chapter
Book cover Transactions on Computational Science XV

Part of the book series: Lecture Notes in Computer Science ((TCOMPUTATSCIE,volume 7050))

Abstract

Data management in data aware self-organizing networks (DASNs) such as wireless sensor networks (WSNs), mobile ad hoc networks (MANETs) and so on, whose fundamental paradigm is data aware computing, is currently on the spot as one of the priority research areas and research activities are booming recently. At a borderline of changing DASN configuration, data evolve over time. Thus investigating data awareness emerges as a need, on the one hand, for managing data in DASNs, but on the other hand, for modeling, specifying, programming, and verifying DASNs. Moreover, a well-established foundation of data aware computing in such self-organizing networks becomes a requirement. Hence in this paper, we first construct algebraic models for DASNs. Second, algebraic model of data streams is developed and quantitative behaviors for data streams in DASNs are computed. Third, using algebraic models for DASNs we form monoids of data aware self-organizations and shape streams of data aware self-organizations. Finally, a category of data aware self-organizations monoids is established and streams of data aware self-organizations monoids are considered.

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

Access this chapter

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 54.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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Adamek, J., Herrlich, H., Strecker, G.: Abstract and Concrete Categories. John Wiley and Sons (1990)

    Google Scholar 

  2. Asperti, A., Longo, G.: Categories, Types and Structures. M.I.T. Press (1991)

    Google Scholar 

  3. Bergman, G.M.: An Invitation to General Algebra and Universal Constructions. Henry Helson, 15 the Crescent, Berkeley CA, US (1998)

    Google Scholar 

  4. Bowen, J.P., Hinchey, M.G.: Formal Methods. In: Tucker Jr., A.B. (ed.) Computer Science Handbook, ch. 106, 2nd edn. Section XI, Software Engineering, pp. 106-1–106-25. Chapman & Hall / CRC, ACM, USA (2004)

    Google Scholar 

  5. Butera, W.: Text Display and Graphics Control on a Paintable Computer. In: Serugendo, G.D.M., Flatin, J.P.M., Jelasity, M. (eds.) Proceedings of 1st International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), Boston, Massachusetts, USA, July 9-11, pp. 45–54. IEEE Computer Society Press (2007)

    Google Scholar 

  6. Calisti, M., Meer, S.V.D., Strassner, J.(eds.): Advanced Autonomic Networking and Communication. Whitestein Series in Software Agent Technologies and Autonomic Computing, 190 pages. Springer, Heidelberg (2008)

    Google Scholar 

  7. Herz, M., Hartenstein, R., Miranda, M., Brockmeyer, E., Catthoor, F.: Memory Addressing Organization for Stream-based Reconfigurable Computing. In: Proceedings of 9th International Conference on Electronics, Circuits and Systems (ICECS), Dubrovnik, Croatia, September 15-18, vol. 2, pp. 813–817. IEEE (2002)

    Google Scholar 

  8. Heylighen, F.: The science of self-organization and adaptivity. In: Kiel, L.D. (ed.) The Encyclopedia of Life Support Systems, Knowledge Management, Organizational Intelligence and Learning, and Complexity. EOLSS Publishers, Oxford (2002), Retrieved from, http://www.eolss.net

  9. Hinchey, M.G., Bowen, J.P.: Industrial-Strength Formal Methods in Practice. In: Formal Approaches to Computing and Information Technology (FACIT). Springer, London (1999)

    Google Scholar 

  10. Jacobs, B., Rutten, J.: A Tutorial on (Co)Algebras and (Co)Induction. Bulletin of EATCS 62, 222–259 (1997)

    MATH  Google Scholar 

  11. Jin, X., Liu, J.: From Individual Based Modeling to Autonomy Oriented Computation. In: Nickles, M., Rovatsos, M., Weiss, G. (eds.) AUTONOMY 2003. LNCS (LNAI), vol. 2969, pp. 151–169. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  12. Ko, S., Gupta, I., Jo, Y.: Novel Mathematics-Inspired Algorithms for Self-Adaptive Peer-to-Peer Computing. In: Serugendo, G.D.M., Flatin, J.P.M., Jelasity, M. (eds.) Proceedings of 1st International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), Boston, Massachusetts, USA, July 9-11, pp. 3–12. IEEE Computer Society Press (2007)

    Google Scholar 

  13. Li, J.: On peer-to-peer (P2P) content delivery. Peer-to-Peer Networking and Applications 1(1), 45–63 (2008)

    Article  Google Scholar 

  14. Pacheco, O.: Autonomy in an Organizational Context. In: Nickles, M., Rovatsos, M., Weiss, G. (eds.) AUTONOMY 2003. LNCS (LNAI), vol. 2969, pp. 195–208. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  15. Parashar, M., Hariri, S.: Autonomic Computing: Concepts, Infrastructure and Applications, 1st edn., 568 pages. CRC Press (December 2006)

    Google Scholar 

  16. Prokopenko, M.: Design vs. Self-organization. In: Advances in Applied Self-organizing Systems, 1st edn. Advanced Information and Knowledge Processing, pp. 3–18. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  17. Rutten, J.J.M.M.: Universal Coalgebra: A Theory of Systems. Theoretical Computer Science 249(1), 3–80 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  18. Rutten, J.J.M.M.: Elements of Stream Calculus (An Extensive Exercise in Coinduction). Electronic Notes in Theoretical Computer Science, vol. 45. Elsevier Science Publishers Ltd. (2001)

    Google Scholar 

  19. Rutten, J.J.M.M.: Algebra, Bitstreams, and Circuits. Technical Report SEN-R0502, CWI, Amsterdam, The Netherlands (2005)

    Google Scholar 

  20. SASO. Manifesto on Self-organizing Systems. Retrieved from (2008), http://polaris.ing.unimo.it/saso2008/

  21. Vinh, P.C.: Formal Aspects of Dynamic Reconfigurability in Reconfigurable Computing Systems. PhD thesis, London South Bank University, 103 Borough Road, London SE1 0AA, UK, May 4 (2006)

    Google Scholar 

  22. Vinh, P.C.: Homomorphism between AOMRC and Hoare Model of Deterministic Reconfiguration Processes in Reconfigurable Computing Systems. Scientific Annals of Computer Science XVII, 113–145 (2007)

    MathSciNet  MATH  Google Scholar 

  23. Vinh, P.C.: Formal Aspects of Self-* in Autonomic Networked Computing Systems. In: Autonomic Computing and Networking, 1st edn. Springer, USA (2009)

    Google Scholar 

  24. Vinh, P.C.: Categorical Approaches to Models and Behaviors of Autonomic Agent Systems. The International Journal of Cognitive Informatics and Natural Intelligence (IJCiNi) 3(1), 17–33 (2009)

    Article  Google Scholar 

  25. Vinh, P.C.: Formalizing Parallel Programming in Large Scale Distributed Networks: From Tasks Parallel and Data Parallel to Applied Categorical Structures. In: Parallel Programming and Applications in Grid, P2P and Network-based Systems, 1st edn. Advances in Parallel Computing. IOS Press (2009)

    Google Scholar 

  26. Vinh, P.C., Bowen, J.P.: Formalising Configuration Relocation Behaviours for Reconfigurable Computing. In: Proceedings of SFP Workshop, FDL 2002: Forum on Specification & Design Languages, Marseille, France, September 24-27, CD-ROM (2002)

    Google Scholar 

  27. Vinh, P.C., Bowen, J.P.: An Algorithmic Approach by Heuristics to Dynamical Reconfiguration of Logic Resources on Reconfigurable FPGAs. In: Proceedings of 12th International Symposium on Field Programmable Gate Arrays, Monterey, CA, USA, February 22-24, page 254. ACM/SIGDA (2004)

    Google Scholar 

  28. Vinh, P.C., Bowen, J.P.: A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing. In: Hinchey, M.G. (ed.) Proceedings of 29th Annual IEEE/NASA Software Engineering Workshop (SEW), Greenbelt, MD, USA, April 6-7, pp. 245–252. IEEE Computer Society Press (2005)

    Google Scholar 

  29. Vinh, P.C., Bowen, J.P.: Continuity Aspects of Embedded Reconfigurable Computing. Innovations in Systems and Software Engineering: A NASA Journal 1(1), 41–53 (2005)

    Article  Google Scholar 

  30. Vinh, P.C., Bowen, J.P.: POM Based Semantics of RTL and a Validation Method for the Synthesis Results in Dynamically Reconfigurable Computing Systems. In: Rozenblit, J., O’Neill, T., Peng, J. (eds.) Proceedings of 12th Annual International Conference and Workshop on the Engineering of Computer Based Systems (ECBS), Greenbelt, MD, USA, April 4-5, pp. 247–254. IEEE Computer Society Press (2005)

    Google Scholar 

  31. Vinh, P.C., Bowen, J.P.: A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing. In: Proceedings of 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE), Shanghai, China, June 6-8, pp. 369–378. IEEE Computer Society Press (2007)

    Google Scholar 

  32. Vinh, P.C., Bowen, J.P.: Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis. In: Gavrilova, M.L., Tan, C.J.K. (eds.) Transactions on Computational Science I. LNCS, vol. 4750, pp. 1–36. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  33. Wang, Y.: Toward Theoretical Foundations of Autonomic Computing. The International Journal of Cognitive Informatics and Natural Intelligence (IJCiNi) 1(3), 1–16 (2007)

    Article  Google Scholar 

  34. Witkowski, M., Stathis, K.: A Dialectic Architecture for Computational Autonomy. In: Nickles, M., Rovatsos, M., Weiss, G. (eds.) AUTONOMY 2003. LNCS (LNAI), vol. 2969, pp. 261–273. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  35. Wolf, T.D., Holvoet, T.: A Taxonomy for Self-* Properties in Decentralized Autonomic Computing. In: Autonomic Computing: Concepts, Infrastructure and Applications, 1st edn., pp. 101–120. CRC Press (2006)

    Google Scholar 

  36. Yang, B., Liu, J.: An Autonomy Oriented Computing (AOC) Approach to Distributed Network Community Mining. In: Serugendo, G.D.M., Flatin, J.P.M., Jelasity, M. (eds.) Proceedings of 1st International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), Boston, Massachusetts, USA, July 9-11, pp. 151–160. IEEE Computer Society Press (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of IT, NTT University, 298A – 300A Nguyen Tat Thanh Street, Ward 13, District 4, HCM City, Vietnam

    Cong-Vinh Phan

Authors
  1. Cong-Vinh Phan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Calgary, 2500 University Drive N.W., T2N 1N4, Calgary, AB, Canada

    Marina L. Gavrilova

  2. Exascala Ltd., Unit 9, 97 Rickman Drive, B15 2AL, Birmingham, UK

    C. J. Kenneth Tan

  3. NTT University, 298A-300A Nguyen Tat Thanh Street, Ho Chi Minh City, Vietnam

    Cong-Vinh Phan

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Phan, CV. (2012). Data Intensive Distributed Computing in Data Aware Self-organizing Networks. In: Gavrilova, M.L., Tan, C.J.K., Phan, CV. (eds) Transactions on Computational Science XV. Lecture Notes in Computer Science, vol 7050. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28525-7_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-28525-7_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-28524-0

  • Online ISBN: 978-3-642-28525-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation