Browsing by Author "Tofts, C."
Now showing 1 - 2 of 2
Results Per Page
Sort Options
- ItemOpen AccessCHARACTERISING THE STRUCTURE OF SIMULATION MODELS IN CCS(1993-10-01) Birtwistle, G.; Pooley, R.; Tofts, C.We describe how to apply the tools and techniques of process algebra to explore and verify the structure of simulation models. Process algebras are concise and precise object-oriented notations in which to express model structure and component interactions. We demonstrate how to specify the structure and basic synchronisations of simulation models using Milner's CCS (Calculus of Communicating Systems) notation, and how to test for the consequences of a specification using the modal $mu$-calculus (Stirling). In this way we open up the possibility of verifying from its static model description that a simulation model has certain basic desirable properties (is deadlock and livelock free and has appropriate safety, liveness and fairness characteristics (Manna and Pnueli)). Thus adopting these techniques from process algebra both makes models more reliable and saves a considerable amount of debugging time.
- ItemOpen AccessEXACT SOLUTIONS TO FINITE STATE SIMULATION MODELS(1993-12-01) Tofts, C.Many Monte Carlo simulation problems are essentially finite state. We demonstrate how such problems may be represented within a probabilistic process algebra. We demonstrate how it is possible to convert such processes into linear probabilistic equations, and solve such equations exactly with available computer algebra systems.