Algebra and Logic for Resource-Based Systems Modelling

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.