HOLOS - A Simulation and Multi Mathematical Modelling Tool

[摘要] 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

[发布机构] HP Development Company

[学科分类] 计算机科学（综合）

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