Abstract
Process description languages, such as the picalculus [SW01], offer the possibility of formally describing system behaviour at varying levels of abstraction, and applying logical techniques to verify this behaviour.
But system behaviour often depends on environmental considerations. What a system can do depends on the current context in which it finds itself. It is this context which determines what information is available to the system, and therefore affects its future evolution. In a dual manner the current context determines the knowledge of the system which is available to its environment, and thus affects the use which can be made of the system. Moreover this interplay between a system and its environment is dynamic, changing as either or both evolve.
In this talk I will offer a survey of recent work on behavioural theories of systems in which their environments play a crucial role. We will see three instances in which environmental knowledge involves key features of distributed systems.
-
Access control: Capabilities on resources and access rights to sites are determined by a static type system, [HRY05]; only partial knowledge of these types are available to the environment.
-
Network failure: Systems run on a dynamically changing network of inter-connected nodes, where both the nodes and the connections are subject to failure, [FH08]; this network is shared between the system and its environment.
-
Resource cost: Use of resources entail a cost, which must be borne by the processes responsible, [HG08]; the environment determines the overall funds available to processes for access to resources.
The focus will be on a particular process description language called Dpi [Hen07], oriented towards distributed systems.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Francalanza, A., Hennessy, M.: A theory of system behaviour in the presence of node and link failures. Information and Computation 206, 711–759 (2008)
Hennessy, M.: A distributed picalculus. Cambridge University Press, Cambridge (2007)
Hennessy, M., Gaur, M.: Counting the cost in the picalculus (extended abstract). Electr. Notes Theor. Comput. Sci. (to appear) (2008); preliminary version presented at First Interaction and Concurrency Experience (ICE 2008), Reykjavik (July 2008)
Hennessy, M., Rathke, J., Yoshida, N.: Safedpi: A language for controlling mobile code. Acta Informatica 42, 227–290 (2005)
Sangiorgi, D., Walker, D.: The π-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hennessy, M. (2009). Distributed Systems and Their Environments. In: Chen, J., Cooper, S.B. (eds) Theory and Applications of Models of Computation. TAMC 2009. Lecture Notes in Computer Science, vol 5532. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02017-9_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-02017-9_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02016-2
Online ISBN: 978-3-642-02017-9
eBook Packages: Computer ScienceComputer Science (R0)