piDEMOS(ID:6333/pid001)

teaching subset of DEMOS 

actually greek letter pi - one assumes play on words for paidemos = teach (gr) as well as pi + DEMOS.

Simplified DEMOS

People:
Related languages
DEMOS => piDEMOS   Simplification of
References:
  • Birtwistle G and C Tofts "Operational Semantics for Process-Based Simulation Languages Part 1: piDemos" Transactions of the Society for Computer Simulation, 10(4), pp 299-333, 1993. view details Abstract: We give an operational semantics for the synchronisation mechanisms of Demos, a small process-oriented discrete event simulation language based upon Simula and Demos. The operational semantics gives a clear, concise and precise meaning to Demos programs and have been extended to full Demos. The paper includes applications of the semantics as an implementation blueprint and in verifying the consistency of event list operations.
  • Birtwistle, G. and C. Tofts, The Relationship Between an Operational and a Denotational Account of TrDemos, Eurosim 1994 view details
  • G. Birtwistle and C. Tofts, "Operational Semantics for Process-Based Simulation Languages Part 2: piDemos" Transactions of the Society for Computer Simulation, 11(4), pp 299-333, 1994. view details
  • G. Birtwistle and C. Tofts. "Getting Demos Models Right. Part I: Practice" Simulation Practice and Theory. view details Abstract: We present a method for translating the synchronisation behaviour of
    a process oriented discrete event simulation language into a process algebra. Such translations serve two purposes. The first exploits the formal structure of the target process algebraic representations to enable proofs of such properties of the source system as deadlock freedom, safety, fairness and liveness which can be very difficult to establish by simulation experiment. The second exploits the denotational semantics to better understand the language constructs
    as abstract entities and to facilitate reasoning about simulation models. Here we give the intuition and the basic translation mechanisms using a variety of the Demos simulation language and the CCS and SCCS process algebras. The translations have been automated as SML programs and produce CWB compatible input allowing the automated checking of formal system properties.
  • G. Birtwistle and C. Tofts. "Getting Demos Models Right. Part I: ... and theory" Simulation Practice and Theory. view details Abstract: In this paper, we formalise our translation schemata from core Demos and extend them to cover wait until and conditional commands. We also cite several theorems derivable from the translations and give applications.
  • Birtwistle, G. and C. Tofts. Relating Operational and Denotational Descriptions of Demos. Simulation Practice and Theory, 5(1):1--33, 1997 view details Abstract: In previous papers we have presented operational and denotational accounts of the semantics ßDemos, a small process-oriented simulation language based upon Simula and Demos. The operational semantics provide precise formal descriptions of synchronisations and event list mechanisms and can be used to guide implementations and reason about the execution of a specific program. The denotational semantics are at a much more abstract level. By abstracting away from distributions and queueing