Enhanced Operational Semantics to Handle Allocation of Mobile Processes
نویسنده
چکیده
This paper present a semantic model of an higher-order process calculus that can be interactively updated by the user to handle locality information. We hide locations at the calculus level in an aspect-oriented programming style. This separation of concerns helps programmers designing pure functional components while delaying the management of lower level and orthogonal details such as allocation of processes. Complete control on the allocation strategy is however ensured by an interface between the programmer and the abstract machine of the language.
منابع مشابه
Relationally Staged Computations in Calculi of Mobile Processes
We apply the recently developed techniques of higher order abstract syntax and functorial operational semantics to give a compositional and fully abstract semantics for the π-calculus equipped with open bisimulation. The key novelty in our work is the realisation that the sophistication of open bisimulation requires us to move from the usual semantic domain of presheaves over subcategories of S...
متن کاملNested Commits for Mobile Calculi: Extending Join
In global computing applications the availability of a mechanism for some form of committed choice can be useful, and sometimes necessary. It can conveniently handle, e.g., distributed agreements and negotiations with nested choice points. We propose a linguistic extension of the Join calculus for programming nested commits, called Committed Join (cJoin). It provides primitives for explicit abo...
متن کاملA review of methods for resource allocation and operational framework in cloud computing
The issue of management and allocation of resources in cloud computing environments, according to the breadth of scale and modern technology implementation, is a complicated issue. Issues such as: the heterogeneity of resources, resource dependencies to each other, the dynamics of the environment, virtualization, workload diversity as well as a wide range of management objectives of cloud servi...
متن کاملHandling Locally Names of Mobile Agents
We address the problem of handling names in distributed systems made of mobile processes. We equip processes with local environments. Our SOS operational semantics handles these environments so that captures of names are never possible. Essentially, our semantics includes the speciication of a distributed name manager that conservatively extends standard operational semantics. Also it simpliies...
متن کاملPresheaf Models for the π-Calculus
Recent work has shown that presheaf categories provide a general model of concurrency, with an inbuilt notion of bisimulation based on open maps. Here it is shown how this approach can also handle systems where the language of actions may change dynamically as a process evolves. The example is the π-calculus, a calculus for ‘mobile processes’ whose communication topology varies as channels are ...
متن کامل