%T Mobile Processes and Call Channels with Variant Interfaces (a Duality)
%A Eric Bonnici, Peter H. Welch
%E Peter H. Welch, Adam T. Sampson, Jan Bækgaard Pedersen, Jon Kerridge, Jan F. Broenink, Frederick R. M. Barnes
%B Communicating Process Architectures 2011
%X The current model of mobile processes in occam\-π
implements a <em>single</em> interface for host
processes to use. However, different hosts holding different
kinds of resource will naturally require different
interfaces to interact with their visitors. So, current
occam\-π mobiles have to offer a single union of all
the interfaces needed and hosts must provide dummy arguments
for those irrelevant to its particular calls. This opens
the possibilty of programming errors in both hosts and
mobile should those dummies mistakenly be used. This talk
considers a revised model for mobile processes that allows
<em>many</em> interfaces. The talk also proposes
a concept of <em>variant call
channels</em>, that expands on a mechanism proposed
for the occam3 language, and shows a simple duality between
the revised mobile processes and mobile variant call
channels. An implementation of mobile variant call channels,
via source\-code transformation to standard occam\-π
mobile channel bundles, has been devised – which
gives an implementation route for the revised mobile process
model and an operational semantics. If time, the ideas will
be illustrated with a case study based on the Santa Claus
problem, where the elves and reindeer are mobile processes.
If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.
Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.
Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org