Patent ID: 7721335

Claim:
A computer-implemented method performed by a processor executing computer-executable instructions stored on a computer-readable media storage, the method of describing and analyzing mobile containers, comprising: receiving a configuration of at least one container, the container having at least one process, wherein the configuration represents a mobile computing environment and defines a policy; providing an ambient calculus-based representation of the at least one container and the at least one process; matching a syntactic structure of expressions in ambient calculus to a structure of the at least one container and the at least one process to process equivalence; deriving a number of logical inference rules for propositional logic, rules for modal operators, rules for locations, and rules for process compositions; testing the ambient calculus-based representation of the at least one container and the at least one process with an ambient calculus-based representation of the policy; instructing the at least one container how to behave based at least in part on situations, the situations include the policy instructing the at least one container and the at least one process to move in and to move out into a parent container, the policy executing on the at least one container, and a replicated instruction is executed on the at least one process; and outputting a test result that indicates whether the ambient calculus-based representation of the at least one container and the at least one process satisfies the ambient calculus-based representation of the policy.