CHARACTERISING THE STRUCTURE OF SIMULATION MODELS IN CCS

Simple item page
dc.contributor.authorBirtwistle, G.eng
dc.contributor.authorPooley, R.eng
dc.contributor.authorTofts, C.eng
dc.date.accessioned2008-02-27T16:30:30Z
dc.date.available2008-02-27T16:30:30Z
dc.date.computerscience1999-05-27eng
dc.date.issued1993-10-01eng
dc.description.abstractWe 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.eng
dc.description.notesWe are currently acquiring citations for the work deposited into this collection. We recognize the distribution rights of this item may have been assigned to another entity, other than the author(s) of the work.If you can provide the citation for this work or you think you own the distribution rights to this work please contact the Institutional Repository Administrator at digitize@ucalgary.caeng
dc.identifier.department1993-525-30eng
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/30377
dc.identifier.urihttp://hdl.handle.net/1880/45732
dc.language.isoEngeng
dc.publisher.corporateUniversity of Calgaryeng
dc.publisher.facultyScienceeng
dc.subjectComputer Scienceeng
dc.titleCHARACTERISING THE STRUCTURE OF SIMULATION MODELS IN CCSeng
dc.typeunknown
thesis.degree.disciplineComputer Scienceeng
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
1993-525-30.pdf
Size:
2.35 MB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.86 KB
Format:
Plain Text
Description:
Download
Collections
Science Research & Publications