Abstract
Simulation modelling is an important tool for exploring and reasoning about the dynamics and properties of complex systems, and many supporting languages are available. Commonly occurring features of these languages are constructs that capture concepts such as process, resource, and location. We describe a mathematical framework that supports a modelling idiom based on these core concepts, and which also adopts stochastic methods for representing the environments within which systems exist. We explain how this framework can be used to give a formal semantics to a simulation modelling language, Core Gnosis, that includes basic constructs for process, resource, and location. We include a brief discussion of a system of logic for reasoning about our models that is compositional with respect to the structure of models. We believe that our mathematical analysis of systems in terms of process, resource, location, and stochastic environment, together with a language that captures these concepts quite directly, leads to an efficient and robust modelling framework within which natural mathematical reasoning about systems is captured in the associated tools.
Original language | English |
---|---|
Title of host publication | Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques |
Subtitle of host publication | SESSION: Simulation methods |
Place of Publication | Brussels, Belgium |
Publisher | ICST |
DOIs | |
Publication status | Published - 2010 |
Event | 3rd International ICST Conference on Simulation Tools and Techniques (Simutools 2010) - Torremolinos, Malaga, Spain Duration: 15 Mar 2010 → 19 Mar 2010 |
Conference
Conference | 3rd International ICST Conference on Simulation Tools and Techniques (Simutools 2010) |
---|---|
Country/Territory | Spain |
City | Torremolinos, Malaga |
Period | 15/03/10 → 19/03/10 |