论文部分内容阅读
介绍了软件体系结构的形式化描述方法-化学抽象机(ChemicalAbstractMachine,CHAM),总结了队列网络模型(QueueingNetworkModel,QNM)及其产生过程的特点。基于队列网络模型,由化学抽象机中形式化描述的软件体系结构规约,导出了一种性能评价模型。其目的是提供一个测量集,在高抽象层次上比较两个或更多候选软件体系结构的性能。最后,以多相编译器为例,具体阐述了这种性能评价。