Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Back, R.J., Sere, K.: Superposition Refinement of Reactive Systems. Formal Aspects of Computing 8(3), 324–346 (1996)
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)
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)
Cardelli, L.: Abstractions for Mobile Computation. In: Vitek, J. (ed.) Secure Internet Programming. LNCS, vol. 1603, pp. 51–94. Springer, Heidelberg (1999)
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)
Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, Reading (1988)
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)
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)
Gelernter, D.: Generative Communication in Linda. ACM Transactions on Programming Languages and Systems (TOPLAS), 7(1), 80–112 (1985)
Hoare, C.A.R.: Communicating Sequential Processes. Communications of the ACM 21(8), 666–677 (1978)
Julien, C., Roman, G.-C.: EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications. IEEE Transactions on Software Engineering (to appear, 2006)
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)
Lamport, L.: The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems (TOPLAS), 16(3), 872–923 (1994)
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)
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)
Milner, R. (ed.): A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)
Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes I and II. Information and Computation 100(1), 1–77 (1992)
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)
Oracle Technology Network. Oracle Application Server Wireless, 10g (2005), http://www.oracle.com/technology//products/iaswe/index.html
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)
Roman, G.-C., McCann, P.J.: A Notation and Logic for Mobile Computing. Formal Methods in System Design 20(1), 47–68 (2002)
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)
Smith, G.: The Object-Z Specification Language. Kluwer Academic Publishers, Dordrecht (2000)
Tanenbaum, A.S.: Computer Networks, 4th edn. Pearson Education, Inc., Prentice Hall PTR (2003)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Petre, L., Sere, K., Waldén, M. (2006). A Language for Modeling Network Availability. In: Liu, Z., He, J. (eds) Formal Methods and Software Engineering. ICFEM 2006. Lecture Notes in Computer Science, vol 4260. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11901433_35
Download citation
DOI: https://doi.org/10.1007/11901433_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-47460-9
Online ISBN: 978-3-540-47462-3
eBook Packages: Computer ScienceComputer Science (R0)