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, 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 that is simple yet sufficiently expressive to capture naturally a wide range of forms of location, both spatial and logical. We also provide a sketch of an extension of the Demos2k tool to incorporate this notion of location.
Original language | English |
---|---|
Pages (from-to) | 1207-1244 |
Number of pages | 38 |
Journal | Journal of Logic and Computation |
Volume | 19 |
Issue number | 6 |
Early online date | 22 Jul 2009 |
DOIs | |
Publication status | Published - Dec 2009 |
Keywords
- location
- resource
- process
- systems modelling
- substructural logic