HOLOS - A Simulation and Multi Mathematical Modelling Tool

Tofts, Chris

HP Development Company

关键词: simulation;    process algebra;    petri net;    abstraction;    rewriting;    compilation;   

RP-ID  :  HPL-2001-276

学科分类：计算机科学（综合）

美国|英语

来源: HP Labs

【 摘 要 】

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