A Language for Modeling Network Availability

  • Luigia Petre
  • Kaisa Sere
  • Marina Waldén
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4260)


Computer networks have become ubiquitous in our society and thus, the various types of resources hosted by them are becoming increasingly important. In this paper we study the resource availability in networks by defining a dedicated middleware language. This language is a conservative extension of the action system formalism, a general state-based approach to modeling and analyzing distributed systems. Our language formally treats aspects such as resource accessibility, replicated and homonym resources, their mobility, as well as node failure and maintenance in networks. The middleware approach motivates the separation of the views and formalisms used by the various roles such as the network user, the application developer, and the network manager.


Network Manager Node Failure Application Developer Library System Tuple Space 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Back, R.J., Kurki-Suonio, R.: Decentralization of process nets with centralized control. In: Proceedings of the 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, pp. 131–142 (1983)Google Scholar
  2. 2.
    Back, R.J., Sere, K.: Superposition Refinement of Reactive Systems. Formal Aspects of Computing 8(3), 324–346 (1996)MATHCrossRefGoogle Scholar
  3. 3.
    Bonsangue, M., Kok, J.N., Sere, K.: An Approach to Object-Orientation in Action Systems. In: Jeuring, J. (ed.) MPC 1998. LNCS, vol. 1422, pp. 68–95. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  4. 4.
    Barbosa, M.A., Barbosa, L.S.: An Orchestrator for Dynamic Interconnection of Software Components. In: Proceedings of the 2nd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006). Elsevier, Amsterdam (to appear, 2006)Google Scholar
  5. 5.
    Cardelli, L.: Abstractions for Mobile Computation. In: Vitek, J. (ed.) Secure Internet Programming. LNCS, vol. 1603, pp. 51–94. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  6. 6.
    Cardelli, L., Gordon, A.D.: Anytime, Anywhere: Modal Logics for Mobile Ambients. In: Proceedings of the 27th ACM Symposium on Principles of Programming Languages, pp. 365–377 (2000)Google Scholar
  7. 7.
    Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, Reading (1988)MATHGoogle Scholar
  8. 8.
    Demers, A., Petersen, K., Spreitzer, M., Terry, D., Theimer, M., Welch, B.: The Bayou Architecture: Support for Data Sharing among Mobile Users. In: Proceedings of the IEEE Workshop on Mobile Computing Systems and Applications, pp. 2–7 (1994)Google Scholar
  9. 9.
    Fritsch, D., Klinec, D., Volz, S.: NEXUS - Positioning and Data Management Concepts for Location Aware Applications. In: Proceedings of the 2nd International Symposium on Telegeoprocessing, pp. 171–184 (2000)Google Scholar
  10. 10.
    Gelernter, D.: Generative Communication in Linda. ACM Transactions on Programming Languages and Systems (TOPLAS), 7(1), 80–112 (1985)Google Scholar
  11. 11.
    Hoare, C.A.R.: Communicating Sequential Processes. Communications of the ACM 21(8), 666–677 (1978)MATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Julien, C., Roman, G.-C.: EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications. IEEE Transactions on Software Engineering (to appear, 2006)Google Scholar
  13. 13.
    Knapp, A., Merz, S., Wirsing, M., Zappe, J.: Specification and Refinement of Mobile Systems in MTLA and Mobile UML. Theoretical Computer Science 351(2), 184–202 (2006)MATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    Lamport, L.: The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems (TOPLAS), 16(3), 872–923 (1994)Google Scholar
  15. 15.
    Mascolo, C., Capra, L., Emmerich, W.: Mobile Computing Middleware. In: Gregori, E., Anastasi, G., Basagni, S. (eds.) NETWORKING 2002. LNCS, vol. 2497, pp. 20–58. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  16. 16.
    Mascolo, C., Capra, L., Zachariadis, S., Emmerich, W.: XMIDDLE: A Data-Sharing Middleware for for Mobile Computing. Wireless Personal Communications Journal 21(1), 77–103 (2002)CrossRefGoogle Scholar
  17. 17.
    Milner, R. (ed.): A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)Google Scholar
  18. 18.
    Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes I and II. Information and Computation 100(1), 1–77 (1992)MATHCrossRefMathSciNetGoogle Scholar
  19. 19.
    Murphy, A.L., Picco, G.P., Roman, G.-C.: LIME: A Middleware for Physical and Logical Mobility. In: Proceedings of the 21st International Conference on Distributed Computing Systems, pp. 524–533 (2001)Google Scholar
  20. 20.
    Oracle Technology Network. Oracle Application Server Wireless, 10g (2005),
  21. 21.
    Petre, L., Sere, K., Waldén, M.: A Topological Approach to Distributed Computing. In: Proceedings of WDS 1999 – Workshop on Distributed Systems. Electronic Notes in Theoretical Computer Science, vol. 28, pp. 97–118. Elsevier Science, Amsterdam (1999)Google Scholar
  22. 22.
    Roman, G.-C., McCann, P.J.: A Notation and Logic for Mobile Computing. Formal Methods in System Design 20(1), 47–68 (2002)MATHCrossRefGoogle Scholar
  23. 23.
    Roman, M., Hess, C., Cerqueira, R., Ranganat, A., Campbell, R., Nahrstedt, K.: A middleware infrastructure for active spaces. IEEE Pervasive Computing 1(4), 74–83 (2002)CrossRefGoogle Scholar
  24. 24.
    Smith, G.: The Object-Z Specification Language. Kluwer Academic Publishers, Dordrecht (2000)MATHGoogle Scholar
  25. 25.
    Tanenbaum, A.S.: Computer Networks, 4th edn. Pearson Education, Inc., Prentice Hall PTR (2003)Google Scholar
  26. 26.
    Yan, L., Sere, K.: A Formalism for Context-Aware Mobile Computing. In: Proceedings of ISPDC/HeteroPar 2004, pp. 14–21. IEEE Computer Society Press, Los Alamitos (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Luigia Petre
    • 1
  • Kaisa Sere
    • 1
  • Marina Waldén
    • 1
  1. 1.IT DepartmentÅbo Akademi UniversityTurkuFinland

Personalised recommendations