Algebra and Logic for Resource-based Systems Modelling

Research output: Contribution to journalArticle

33 Citations (Scopus)

Abstract

Mathematical modelling is one of the fundamental tools of science and engineering. Very often, models are required to be executable, as a simulation, on a computer. In this paper, we present some contributions to the process-theoretic and logical foundations of discrete-event modelling with resources and processes. We present a process calculus with an explicit representation of resources in which processes and resources co-evolve. The calculus is closely connected to a logic that may be used as a specification language for properties of models. The logic is strong enough to allow requirements that a system have certain structure; for example, that it is a parallel composite of subsystems. This work consolidates, extends, and improves upon aspects of the earlier works. An extended example, consisting of a semantics for a simple parallel programming language, indicates a connection with separating logics for concurrency.
Original languageEnglish
Pages (from-to)959-1027
Number of pages69
JournalMathematical Structures in Computer Science
Volume19
Issue number5
Early online date4 Sep 2009
DOIs
Publication statusPublished - Oct 2009

Fingerprint

System Modeling
Algebra
Logic
Resources
Parallel programming
Specification languages
Computer programming languages
Process Calculi
Discrete Event
Semantics
Specification Languages
Parallel Programming
Concurrency
Mathematical Modeling
Programming Languages
Composite materials
Subsystem
Calculus
Composite
Engineering

Cite this

Algebra and Logic for Resource-based Systems Modelling. / Collinson, Matthew; Pym, David.

In: Mathematical Structures in Computer Science, Vol. 19, No. 5, 10.2009, p. 959-1027.

Research output: Contribution to journalArticle

@article{016bbaabbdc44942bd8c6dfedb1f002f,
title = "Algebra and Logic for Resource-based Systems Modelling",
abstract = "Mathematical modelling is one of the fundamental tools of science and engineering. Very often, models are required to be executable, as a simulation, on a computer. In this paper, we present some contributions to the process-theoretic and logical foundations of discrete-event modelling with resources and processes. We present a process calculus with an explicit representation of resources in which processes and resources co-evolve. The calculus is closely connected to a logic that may be used as a specification language for properties of models. The logic is strong enough to allow requirements that a system have certain structure; for example, that it is a parallel composite of subsystems. This work consolidates, extends, and improves upon aspects of the earlier works. An extended example, consisting of a semantics for a simple parallel programming language, indicates a connection with separating logics for concurrency.",
author = "Matthew Collinson and David Pym",
year = "2009",
month = "10",
doi = "10.1017/S0960129509990077",
language = "English",
volume = "19",
pages = "959--1027",
journal = "Mathematical Structures in Computer Science",
issn = "0960-1295",
publisher = "Cambridge University Press",
number = "5",

}

TY - JOUR

T1 - Algebra and Logic for Resource-based Systems Modelling

AU - Collinson, Matthew

AU - Pym, David

PY - 2009/10

Y1 - 2009/10

N2 - Mathematical modelling is one of the fundamental tools of science and engineering. Very often, models are required to be executable, as a simulation, on a computer. In this paper, we present some contributions to the process-theoretic and logical foundations of discrete-event modelling with resources and processes. We present a process calculus with an explicit representation of resources in which processes and resources co-evolve. The calculus is closely connected to a logic that may be used as a specification language for properties of models. The logic is strong enough to allow requirements that a system have certain structure; for example, that it is a parallel composite of subsystems. This work consolidates, extends, and improves upon aspects of the earlier works. An extended example, consisting of a semantics for a simple parallel programming language, indicates a connection with separating logics for concurrency.

AB - Mathematical modelling is one of the fundamental tools of science and engineering. Very often, models are required to be executable, as a simulation, on a computer. In this paper, we present some contributions to the process-theoretic and logical foundations of discrete-event modelling with resources and processes. We present a process calculus with an explicit representation of resources in which processes and resources co-evolve. The calculus is closely connected to a logic that may be used as a specification language for properties of models. The logic is strong enough to allow requirements that a system have certain structure; for example, that it is a parallel composite of subsystems. This work consolidates, extends, and improves upon aspects of the earlier works. An extended example, consisting of a semantics for a simple parallel programming language, indicates a connection with separating logics for concurrency.

U2 - 10.1017/S0960129509990077

DO - 10.1017/S0960129509990077

M3 - Article

VL - 19

SP - 959

EP - 1027

JO - Mathematical Structures in Computer Science

JF - Mathematical Structures in Computer Science

SN - 0960-1295

IS - 5

ER -