A Logical and Computational Theory of Located Resource

Matthew Collinson, Brian Monahan, David Pym

Research output: Contribution to journalArticle

21 Citations (Scopus)

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 languageEnglish
Pages (from-to)1207-1244
Number of pages38
JournalJournal of Logic and Computation
Volume19
Issue number6
Early online date22 Jul 2009
DOIs
Publication statusPublished - Dec 2009

Fingerprint

Resources
Process Calculi
Modal Logic
System Modeling
Range of data
Probability distributions
Queue
Data structures
Multiplicative
Data Structures
Probability Distribution
Semantics
Logic
Computational
Modeling
Model
Experience
Class
Form
Framework

Keywords

  • location
  • resource
  • process
  • systems modelling
  • substructural logic

Cite this

A Logical and Computational Theory of Located Resource. / Collinson, Matthew; Monahan, Brian; Pym, David.

In: Journal of Logic and Computation, Vol. 19, No. 6, 12.2009, p. 1207-1244.

Research output: Contribution to journalArticle

Collinson, Matthew ; Monahan, Brian ; Pym, David. / A Logical and Computational Theory of Located Resource. In: Journal of Logic and Computation. 2009 ; Vol. 19, No. 6. pp. 1207-1244.
@article{4bbbdd086cb446c3b7e88027be726c52,
title = "A Logical and Computational Theory of Located Resource",
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.",
keywords = "location, resource, process, systems modelling, substructural logic",
author = "Matthew Collinson and Brian Monahan and David Pym",
year = "2009",
month = "12",
doi = "10.1093/logcom/exp021",
language = "English",
volume = "19",
pages = "1207--1244",
journal = "Journal of Logic and Computation",
issn = "0955-792X",
publisher = "Oxford University Press",
number = "6",

}

TY - JOUR

T1 - A Logical and Computational Theory of Located Resource

AU - Collinson, Matthew

AU - Monahan, Brian

AU - Pym, David

PY - 2009/12

Y1 - 2009/12

N2 - 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.

AB - 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.

KW - location

KW - resource

KW - process

KW - systems modelling

KW - substructural logic

U2 - 10.1093/logcom/exp021

DO - 10.1093/logcom/exp021

M3 - Article

VL - 19

SP - 1207

EP - 1244

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

SN - 0955-792X

IS - 6

ER -