Semantics for structured systems modelling and simulation

David J Pym, Matthew J Collinson, Brian Monahan

Research output: Chapter in Book/Report/Conference proceedingChapter

24 Citations (Scopus)

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 languageEnglish
Title of host publicationProceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Subtitle of host publicationSESSION: Simulation methods
Place of PublicationBrussels, Belgium
PublisherICST
DOIs
Publication statusPublished - 2010
Event3rd International ICST Conference on Simulation Tools and Techniques (Simutools 2010) - Torremolinos, Malaga, Spain
Duration: 15 Mar 201019 Mar 2010

Conference

Conference3rd International ICST Conference on Simulation Tools and Techniques (Simutools 2010)
CountrySpain
CityTorremolinos, Malaga
Period15/03/1019/03/10

Fingerprint Dive into the research topics of 'Semantics for structured systems modelling and simulation'. Together they form a unique fingerprint.

  • Cite this

    Pym, D. J., Collinson, M. J., & Monahan, B. (2010). Semantics for structured systems modelling and simulation. In Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques: SESSION: Simulation methods ICST. https://doi.org/10.4108/ICST.SIMUTOOLS2010.8631