Use this URL to cite or link to this record in EThOS:
Title: Formalising the description of process based simulation models
Author: Pooley, R. J.
Awarding Body: University of Edinburgh
Current Institution: University of Edinburgh
Date of Award: 1995
Availability of Full Text:
Access from EThOS:
Full text unavailable from EThOS. Please try the link below.
Access from Institution:
Discrete event simulation has grown up as a practical technique for estimating the quantitative behaviour of systems, where direct measurement is undesirable or impractical. It is also used to understand the detailed behaviour of such systems. Its theory is largely that of experimental science. Theories of simulation largely centre on statistical approaches to validating the measures generated by models, rather than on the verification of their detailed behaviour. This dissertation presents an approach to understanding the correctness of the behaviour of discrete event simulation models, using Milner's Calculus of Communicating Systems (CCS). It is shown that a framework based on the process view of models can be constructed for hierarchical modelling, where both performance and functional properties are of interest. As a formal basis for this framework, a hierarchical graphical modelling language (Extended Activity Diagrams) is developed. A semantics is developed for this language, in terms of CCS. This language is shown to map onto the major constructs of the DEMOS discrete event simulation language, extended to allow hierarchical modelling and to resolve certain ambiguities. The result is a new version of DEMOS known as modified DEMOS. A graphically driven tool based on such a framework is presented. It allows modellers to use a combination of simulation and functional techniques to answer both performance questions (what is the throughput under a certain load) and functional questions (will the system deadlock under certain assumptions). In particular this tool can support process oriented simulations of models, using modified DEMOS, and functional analysis, based on both the basic version and the timed extension of Milner's Calculus of Communicating Systems and using the Concurrency Workbench. A number of examples of interesting applications of this approach to typical models are presented.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available