ABSTRACT
Traditional distributed systems are intended to hide the system's distribution. Awareness of location within the system or the application is not necessary. In contrast, mobile distributed systems' applications often require awareness of location and even motion. In order to allow abstract generic programming that is unaware of the actual executing system, its distribution has to be hidden to the programmer. So, the need for a programming abstraction that allows considering distribution transparency within the executing system and motion awareness within the application becomes apparent. This would allow developing classes of applications used in different contexts and executed by numerous varying systems. Such a top-down view disburdens the programmer from the complex and error-prone application partitioning and assignment to the sub-systems. Hence, scalability and robustness are improved significantly. We claim that spatiotemporal constraints are a proper way to provide such a top-down approach. We introduce our approach for such constraints and give an application example.
- J. F. Allen. Maintaining knowledge about temporal intervals. Commun. ACM, 26(11):832--843, 1983. Google ScholarDigital Library
- J. F. Allen and G. Ferguson. Actions and events in interval temporal logic. Journal of Logic and Computation, 4:531--579, 1994.Google ScholarCross Ref
- R. Collet. The Limits of Network Transparency in a Distributed Programming Language. PhD thesis, Université catholique de Louvain, Dec. 2007.Google Scholar
- T. Frühwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, Special Issue on Constraint Logic Programming, 37(1--3):95--138, October 1998.Google Scholar
- A. Gerevini and B. Nebel. Qualitative spatio-temporal reasoning with rcc-8 and allen's interval calculus: Computational complexity. In Proceedings of the 15th European Conference on Artificial Intelligence (ECAI'02), 2002.Google ScholarDigital Library
- J. D. McLurkin. Stupid Robot Tricks: A Behavior-Based Distributed Algorithm Library for Programming Swarms of Robots. PhD thesis, Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2004.Google Scholar
- R. Pike, D. Presotto, K. Thompson, and H. Trickey. Plan 9 from bell labs. Computing Systems, 8(3):221--254, 1995.Google Scholar
- D. A. Randell, Z. Cui, and A. Cohn. A Spatial Logic Based on Regions and Connection. In B. Nebel, C. Rich, and W. Swartout, editors, KR'92. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference, pages 165--176. Morgan Kaufmann, San Mateo, California, 1992.Google Scholar
- P. V. Roy. On the separation of concerns in distributed programming: Application to distribution structure and fault tolerance in Mozart. World Scientific, Tohoku University, Sendai, Japan, July 1999.Google Scholar
- C. Seitz, B. Bauer, and M. Berger. Multi agent systems using constraint handling rules for problem solving. 2002.Google Scholar
- A. P. Sistla, O. Wolfson, S. Chamberlain, and S. Dao. Modeling and querying moving objects. In ICDE '97: Proceedings of the Thirteenth International Conference on Data Engineering, pages 422--432, Washington, DC, USA, 1997. IEEE Computer Society. Google ScholarDigital Library
- J. Sneyers, P. Van Weert, T. Schrijvers, and L. De Koninck. As time goes by: Constraint Handling Rules -- A survey of CHR research between 1998 and 2007. Submitted to Journal of Theory and Practice of Logic Programming, 2008.Google Scholar
- N. Van, D. Weghe, A. G. Cohn, G. De, T. É, and P. D. Maeyer. A qualitative trajectory calculus as a basis for representing moving objects in geographical information systems. Control and Cybernetics, 35(1):97--119, 2006.Google Scholar
- A. Wegener, E. M. Schiller, H. Hellbrück, S. P. Fekete, and S. Fischer. Hovering data clouds: A decentralized and self-organizing information system. In H. De Meer and J. P. G. Sterbenz, editors, Proceedings of the 1st International Workshop on Self-Organizing Systems (IWSOS 2006), volume 4124 of Lecture Notes in Computer Science, pages 243--247, Berlin/Heidelberg, Germany, Sept. 2006. Springer. Google ScholarDigital Library
- M. Werner, D. Müller, M. Däumler, J. Richling, and G. Mühl. Operating system support for distributed applications in real space-time. In R. Chbeir, Y. Badr, A. Abraham, D. Laurent, and F. Ferri, editors, Workshop on Autonomous and Autonomic Software-based Systems (ASBS) at the IEEE International Conference on Soft Computing as Transdisciplinary Science and Technology, pages 469--478, 2008. Google ScholarDigital Library
- M. Werner, J. Richling, D. Müller, and G. Mühl. Towards a holistic approach for distributed real space-time systems. In International Workshop on Dependable Network Computing and Mobile Systems at the 27th International Symposium on Reliable Distributed Systems, pages 63--67, 2008.Google Scholar
Index Terms
- A programming abstraction for motion-aware applications running on distributed systems of mobile components
Recommendations
Distributed Active Objects -- A Systemic Approach to Distributed Mobile Applications
EASE '11: Proceedings of the 2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous SystemsDesigning cyber-physical systems (CPS) requires consideration of interactions between several computing and non-computing elements and, thus, consideration of concurrency of actions. While concurrency alone is a complexity-introducing and error-prone ...
Visual programming of fault-tolerant distributed applications
VL '95: Proceedings of the 11th International IEEE Symposium on Visual LanguagesThe design of fault-tolerant distributed applications is a complex task. In addition to application functionalities, the programmer must consider issues related to both replication and distribution for every application component concerned with fault-...
Comments