基于队列网络模型，由化学抽象机中形式化描述的软件体系结构规约，导出了一种性能评价模型。

Then the paper derives a performance evaluation model, based on a Queueing Network Model, from a software architecture specification formally described in Chemical Abstract Machine.

youdao

FSP是一类描述并发程序形式化规约的进程代数记法。

FSP is a kind of process algebra notation that can be used to describe formal specifications of concurrent programs.

youdao