Jump to content United States-English
HP.com Home Products and Services Support and Drivers Solutions How to Buy
» Contact HP

hp.com home

Technical Reports

printable version

HP Labs

» Research
» News and events
» Technical reports
» About HP Labs
» Careers @ HP Labs
» People
» Worldwide sites
» Downloads
Content starts here

  Click here for full text: PDF

Operational Semantics of DEMOS 2000

Tofts, Chris; Birtwistle, Graham


Keyword(s): semantics; discrete event simulation; functional programming; correctness

Abstract: We take a process oriented simulation language, DEMOS 2000, and define its operational semantics. This achieves two goals: firstly, we can unambiguously define the behaviour of any DEMOS program; secondly, we can use the semantics to check the behaviour of any implementation of the language. An operational semantics has been given for the simple synchronisation fragment of mu DEMOS before (Birtwistle & Tofts, 1993, 1994), but that fragment lacked many features of a complete discrete event simulation language. DEMOS 2000 is a slight redesign of DEMOS that frees it from the underlying Simula. In this semantics we give an account of the complete language which includes features such as: parametric classes; value, resource, entity handling synchronisations; multi-way competing synchronisations; priority; conditional synchronisations; random number sampling; data dependent entities; data dependent work. Notes: Graham Birtwistle, School of Computer Studies, Leeds University, Woodhouse Lane, Leeds, UK.

46 Pages

Back to Index

»Technical Reports

» 2009
» 2008
» 2007
» 2006
» 2005
» 2004
» 2003
» 2002
» 2001
» 2000
» 1990 - 1999

Heritage Technical Reports

» Compaq & DEC Technical Reports
» Tandem Technical Reports
Privacy statement Using this site means you accept its terms Feedback to HP Labs
© 2009 Hewlett-Packard Development Company, L.P.