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

HOLOS - A Simulation and Multi Mathematical Modelling Tool

Tofts, Chris


Keyword(s): simulation; process algebra; petri net; abstraction; rewriting; compilation

Abstract: The widespread adoption of analytic modelling techniques for computer systems analysis is hampered by many obstacles including `steep learning curve' on mathematics; lack of`reality' of models; and a widespread lack of belief in abstractions as preserving useful content. We present the HOLOS system an attempt to address these problems, the first by providing compilers from a common executable language DEMOS2k into various mathematical forms, the later two by providing translations and abstractions within the DEMOS2k language. The system is supported by an open extensible interface and is freely available under open source liscencing.

15 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.