Data intensive distributed computing in data aware self-organizing networks
January 2012
Pages 74 - 107
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.
References
[1]
Adamek, J., Herrlich, H., Strecker, G.: Abstract and Concrete Categories. John Wiley and Sons (1990)
[2]
Asperti, A., Longo, G.: Categories, Types and Structures. M. I. T. Press (1991)
[3]
Bergman, G. M.: An Invitation to General Algebra and Universal Constructions. Henry Helson, 15 the Crescent, Berkeley CA, US (1998)
[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)
[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)
[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)
[7]
Herz, M., Hartenstein, R., Miranda, M., Brockmeyer, E., Catthoor, F.: MemoryAddressing 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)
[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)
[10]
Jacobs, B., Rutten, J.: A Tutorial on (Co)Algebras and (Co)Induction. Bulletin of EATCS 62, 222-259 (1997)
[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)
[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)
[13]
Li, J.: On peer-to-peer (P2P) content delivery. Peer-to-Peer Networking and Applications 1(1), 45-63 (2008)
[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)
[15]
Parashar, M., Hariri, S.: Autonomic Computing: Concepts, Infrastructure and Applications, 1st edn., 568 pages. CRC Press (December 2006)
[16]
Prokopenko, M.: Design vs. Self-organization. In: Advances in Applied Selforganizing Systems, 1st edn. Advanced Information and Knowledge Processing, pp. 3-18. Springer, Heidelberg (2008)
[17]
Rutten, J. J. M. M.: Universal Coalgebra: A Theory of Systems. Theoretical Computer Science 249(1), 3-80 (2000)
[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)
[19]
Rutten, J. J. M. M.: Algebra, Bitstreams, and Circuits. Technical Report SENR0502, CWI, Amsterdam, The Netherlands (2005)
[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)
[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)
[23]
Vinh, P.C.: Formal Aspects of Self-* in Autonomic Networked Computing Systems. In: Autonomic Computing and Networking, 1st edn. Springer, USA (2009)
[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)
[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)
[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)
[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)
[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)
[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)
[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 andWorkshop on the Engineering of Computer Based Systems (ECBS), Greenbelt, MD, USA, April 4-5, pp. 247-254. IEEE Computer Society Press (2005)
[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)
[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)
[33]
Wang, Y.: Toward Theoretical Foundations of Autonomic Computing. The International Journal of Cognitive Informatics and Natural Intelligence (IJCiNi) 1(3), 1-16 (2007)
[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)
[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)
[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)
Recommendations
Message-ferrying delay-tolerant routing in linear wireless sensor networks
Due to linearity of a monitored structure, wireless sensor network (WSN) topology exhibits a linear form and the resulting network is named a linear sensor network (LSN). In order to communicate data from sensor nodes (SNs) to the sink, a multi-hop ...
Energy-efficient adaptive data compression in wireless sensor networks
In wireless sensor networks WSNs, a large number of tiny, inexpensive and computable sensor nodes are usually deployed randomly to monitor one or more physical phenomena. The sensor nodes collect and process the sensed data and send the data to the sink ...
Data Aggregation in Wireless Sensor Networks Using Firefly Algorithm
The challenging issue of data aggregation in wireless sensor networks (WSNs) is of high significance for reducing network overhead and traffic. The majority of transmitted data by sensor nodes is repetitious and doing processes on them in many cases ...
Comments
Information & Contributors
Information
Published In
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 01 January 2012
Author Tags
Qualifiers
- Chapter
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 25 Jan 2025