A logical and computational theory of located resource

M Collinson, B Monahan, D 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 (D2K) modelling tool. D2K represents environment stochastically using a wide range of probability distributions and queue-like data structures. Associated with SCRP is I (bunched) modal logic. MBI, which combines the usual additive connectives of Hennessy-Milner logic with their multiplicative counterparts. In this article, 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 description of an extension of the D2K 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
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
Framework
Form
Class

Keywords

  • process
  • systems modelling
  • resource
  • Location
  • substructural logic

Cite this

A logical and computational theory of located resource. / Collinson, M; Monahan, B; Pym, D.

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

Research output: Contribution to journalArticle

Collinson, M ; Monahan, B ; Pym, D. / A logical and computational theory of located resource. In: Journal of Logic and Computation. 2009 ; Vol. 19, No. 6. pp. 1207-1244.
@article{21623ec22bc44e4ca37d07db6653e3e1,
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 (D2K) modelling tool. D2K represents environment stochastically using a wide range of probability distributions and queue-like data structures. Associated with SCRP is I (bunched) modal logic. MBI, which combines the usual additive connectives of Hennessy-Milner logic with their multiplicative counterparts. In this article, 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 description of an extension of the D2K tool to incorporate this notion of location.",
keywords = "process, systems modelling, resource, Location, substructural logic",
author = "M Collinson and B Monahan and D 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, M

AU - Monahan, B

AU - Pym, D

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 (D2K) modelling tool. D2K represents environment stochastically using a wide range of probability distributions and queue-like data structures. Associated with SCRP is I (bunched) modal logic. MBI, which combines the usual additive connectives of Hennessy-Milner logic with their multiplicative counterparts. In this article, 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 description of an extension of the D2K 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 (D2K) modelling tool. D2K represents environment stochastically using a wide range of probability distributions and queue-like data structures. Associated with SCRP is I (bunched) modal logic. MBI, which combines the usual additive connectives of Hennessy-Milner logic with their multiplicative counterparts. In this article, 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 description of an extension of the D2K tool to incorporate this notion of location.

KW - process

KW - systems modelling

KW - resource

KW - Location

KW - substructural logic

UR - http://www.scopus.com/inward/record.url?scp=72649084291&partnerID=8YFLogxK

UR - http://dx.doi.org/10.1093/logcom/exp021

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 -