Abstract
We present a new calculus for mobile systems, the main feature of which is the separation between dynamic and topological aspects of distributed computations. Our calculus realises the following basic assumptions: (1) every computation executes in a uniquely determined location (2) processes modify the distributed structure by means of predefined operations, and (3) the underlying programming language can be changed easily. This paper introduces our calculus, and shows, that this separation of concerns leads to a perfect match between the logical, syntactical and algebraic theory. On the methodological side, we demonstrate by means of two examples, that the strict distinction between topological and computational aspects allows for an easy integration of features, which are missing in other calculi.
This work has been partially sponsored by the project AGILE, IST-2001-39029.
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
Arbab, F.: Abstract behaviour types: A foundation model for components and their composition. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 33–70. Springer, Heidelberg (2003)
Caires, L., Cardelli, L.: A spatial logic for concurrency (part i). In: Kobayashi, N., Pierce, B.C. (eds.) TACS 2001. LNCS, vol. 2215, pp. 1–37. Springer, Heidelberg (2001)
Caires, L., Cardelli, L.: A spatial logic for concurrency (part i). In: Brim, L., Jančar, P., Křetínský, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol. 2421, p. 209. Springer, Heidelberg (2002)
Cardelli, L., Gordon, A.: Anytime, anywhere: Modal logics for mobile ambients. In: Proc. POPL 2000, pp. 365–377. ACM, New York (2000)
Cardelli, L., Gordon, A.: Mobile ambients. Theor. Comp. Sci. 240(1), 177–213 (2000)
Gabbay, D., Pitts, A.: A new approach to abstract syntax involving binders. In: 14th IEEE Symposium on Logic in Computer Science (LICS 1999), pp. 214–224. IEEE Computer Society, Los Alamitos (1999)
Hennessy, M., Milner, R.: Algebraic Laws for Non-determinism and Concurrency. Journal of the ACM 32, 137–161 (1985)
Milner, R.: Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, Cambridge (1999)
Montanari, U., Sassone, V.: Dynamic congruence vs. progressing bisimulation for CCS. Fundamenta Informaticae 16(2), 171–199 (1992)
De Nicola, R., Ferrari, G., Pugliese, R.: Klaim: a kernel language for agents interaction and mobility. IEEE Trans. Software Engineering 24(5), 315–330 (1998)
Nierstrasz, O., Achermann, F.: A calculus for modelling software components. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 339–360. Springer, Heidelberg (2003)
Parrow, J., Victor, B.: The fusion calculus: Expressiveness and symmetry in mobile processes. In: Thirteenth Annual Symposium on Logic in Computer Science (LICS 1998), pp. 176–185. IEEE, IEEE Computer Society, Los Alamitos (1998)
Sangiorgi, D.: From π-calculus to Higher-Order π-calculus — and back. In: Gaudel, M.-C., Jouannaud, J.-P. (eds.) CAAP 1993, FASE 1993, and TAPSOFT 1993. LNCS, vol. 668, pp. 151–166. Springer, Heidelberg (1993)
Sangiorgi, D.: Extensionality and intensionality of the ambient logics. In: Proc. POPL 2001, pp. 4–13. ACM, New York (2001)
Sangiorgi, D.: Separability, expressiveness, and decidability in the ambient logic. In: 17th IEEE Symposium on Logic in Computer Science (LICS 2002). IEEE Computer Society, Los Alamitos (2002)
Sangiorgi, D., Walker, D.: The π-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)
Vitek, J., Castagna, G.: Seal: A framework for secure mobile computation. Internet Programming (1999)
Wojciechowski, P., Sewell, P.: Nomadic pict: Language and infrastructure design for mobile agents. IEEE Concurrency 8(2), 42–52 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pattinson, D., Wirsing, M. (2003). Making Components Move: A Separation of Concerns Approach. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, WP. (eds) Formal Methods for Components and Objects. FMCO 2002. Lecture Notes in Computer Science, vol 2852. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39656-7_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-39656-7_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20303-2
Online ISBN: 978-3-540-39656-7
eBook Packages: Springer Book Archive