| |
Click here for full text:
A Logical and Computational Theory of Located Resource
Collinson, Matthew; Monahan, Brian; Pym, David
HP Laboratories
HPL-2008-74
Keyword(s): Bunched logic, process algebra, resource semantics, location, systems modelling
Abstract: Experience of practical systems modelling suggests that the key conceptual components of a model of a system are processes, resources, locations, and environment. In recent work, we have given a process- theoretic account of this view in which resources as well as processes are first-class citizens. This process calculus, SCRP, provides a general account of the interaction between resources and processes and, for example, captures the structural aspects of the semantics of the Demos2k modelling tool. Demos2k represents environment stochastically using a wide range of probability distributions and queue-like data structures. Associated with SCRP is a (bunched) modal logic, MBI, which combines the usual additive connectives of Hennessy-Milner logic with their multiplicative counterparts. In this paper, we complete our conceptual framework by adding to SCRP and MBI an account of a notion of location, again as a first-class citizen, that is simple yet sufficiently expressive to capture naturally a wide range of forms of location, both spatial and logical. By way of an example, we also provide a sketch of an extension of the Demos2k tool to incorporate this notion of location.
31 Pages
Additional Publication Information: Submitted to Journal of Logic and Computation
External Posting Date: June 21, 2008 [Fulltext]. Approved for External Publication
Internal Posting Date: June 21, 2008 [Fulltext]
Back to Index
|
Printable version
