Mobility

Algebra and Logic for Resource-Based Systems Modelling

Download Now Free registration required

Executive Summary

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. This paper, presents some contributions to the process-theoretic and logical foundations of discrete-event modelling with resources and processes. The paper presents 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 has certain structure; for example, that it is a parallel composite of subsystems.

  • Format: PDF
  • Size: 513.4 KB