Algebra and logic for resource-based systems modelling
Algebra and logic for resource-based systems modelling
复制标题
基于资源的系统建模的代数和逻辑
DOI：
--
复制
发表时间：
2009
影响因子：
0.5
通讯作者：
D. Pym
中科院分区：
文献类型：
--
作者：
M. Collinson;D. Pym
数学建模是科学和工程的基本工具之一。通常，模型必须在计算机上作为模拟。在本文中，我们为通过资源和过程的离散事实建模的过程理论和逻辑基础提供了一些贡献。我们提出了一个流程微积分，并具有明确表示流程和资源共同发展的资源。微积分紧密连接到逻辑，该逻辑可以用作模型属性的规范语言。逻辑足够强大，可以允许系统具有一定的结构：例如，它是子系统的平行复合材料。这项工作巩固了，扩展和改进，并在我们在该领域的早期工作的各个方面进行了改进。一个扩展的示例，由简单并行编程语言的语义组成，指示与并发逻辑分开的联系。
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 has a certain structure: for example, that it is a parallel composite of subsystems. This work consolidates, extends and improves upon aspects of earlier work of ours in this area. An extended example, consisting of a semantics for a simple parallel programming language, indicates a connection with separating logics for concurrency.