Semantics for structured systems modelling and simulation
Semantics for structured systems modelling and simulation
复制标题
结构化系统建模和仿真的语义
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
D. Pym
中科院分区：
文献类型：
--
作者：
M. Collinson;B. Monahan;D. Pym
仿真建模是探索和推理复杂系统的重要工具。许多支持语言可用。这些语言的常见特征是捕获诸如过程、资源和位置等概念的构造。我们描述了一个数学框架，支持这些核心概念的基础上的建模成语，并采用随机方法表示系统存在的环境。我们解释了如何使用这个框架来提供一个语义的仿真建模语言，核心Gnosis，其中包括基本结构的过程中，资源和位置。我们包括一个简短的讨论的逻辑推理模型，是组成方面的结构。我们的数学分析系统的过程中，资源，位置和随机环境，再加上一种语言，捕捉这些概念相当直接，产生一个有效的和强大的建模框架内，自然的数学推理系统被捕获。
Simulation modelling is an important tool for exploring and reasoning about complex systems. Many supporting languages are available. Commonly occurring features of these languages are constructs capturing concepts such as process, resource, and location. We describe a mathematical framework that supports a modelling idiom based on these core concepts, and which adopts stochastic methods for representing the environments within which systems exist. We explain how this framework can be used to give a semantics to a simulation modelling language, Core Gnosis, that includes basic constructs for process, resource, and location. We include a brief discussion of a logic for reasoning about models that is compositional with respect to their structure. Our mathematical analysis of systems in terms of process, resource, location, and stochastic environment, together with a language that captures these concepts quite directly, yields an efficient and robust modelling framework within which natural mathematical reasoning about systems is captured.
DOI：
--
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Collinson, Matthew;Monahan, Brian;Pym, David J.
通讯作者：
Pym, David J.