Click here for full text:
HOLOS - A Simulation and Multi Mathematical Modelling Tool
Tofts, Chris
HPL-2001-276
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
| 
printable version
