A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios
Software today is often developed for deployment on different architectures, ranging from sequential machines via multicore and distributed architectures to the cloud. In order to apply formal methods, models of such systems must be able to capture different deployment scenarios. For this purpose, it is desirable to express aspects of low-level deployment at the abstraction level of the modeling language. This paper considers formal executable models of concurrent objects executing with user-defined cost models. Their execution is restricted by deployment components which reflect the execution capacity of groups of objects between observable points in time. We model strategies for object relocation between components. A running example demonstrates how activity on deployment components causes congestion and how object relocation can alleviate this congestion. We analyze the average behavior of models which vary in the execution capacity of deployment components and in object relocation strategies by means of Monte Carlo simulations.
Unable to display preview. Download preview PDF.
- 1.Agha, G.A.: ACTORS: A Model of Concurrent Computations in Distributed Systems. The MIT Press, Cambridge (1986)Google Scholar
- 2.Ahrendt, W., Dylla, M.: A system for compositional verification of asynchronous objects. Science of Computer Programming, http://dx.doi.org/10.1016/j.scico.2010.08.003 (available online August 2010)
- 5.Armstrong, J.: Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf (2007)Google Scholar
- 9.Caromel, D., Henrio, L.: A Theory of Distributed Object. Springer (2005)Google Scholar
- 13.Epifani, I., Ghezzi, C., Mirandola, R., Tamburrelli, G.: Model evolution by run-time parameter adaptation. In: Proc. 31st Intl. Conf. on Software Engineering (ICSE 2009), pp. 111–121. IEEE (2009)Google Scholar
- 16.Happe, J., Koziolek, H., Reussner, R.: Parametric performance contracts for software components with concurrent behaviour. In: Proc. Third Intl. Workshop on Formal Aspects of Component Software (FACS 2006). Electronic Notes in Theoretical Computer Science, vol. 182, pp. 91–106 (2007)Google Scholar
- 17.Hennessy, M.: A Distributed Pi-Calculus. Cambridge University Press (2007)Google Scholar
- 21.Johnsen, E.B., Owe, O.: An asynchronous communication model for distributed concurrent objects. Software and Systems Modeling 6(1), 35–58 (2007)Google Scholar
- 29.Plotkin, G.D.: A structural approach to operational semantics. Journal of Logic and Algebraic Programming 60-61, 17–139 (2004)Google Scholar
- 32.Welc, A., Jagannathan, S., Hosking, A.: Safe futures for Java. In: Proc. Object Oriented Programming, Systems, Languages, and Applications (OOPSLA 2005), pp. 439–453. ACM Press, New York (2005)Google Scholar