软件体系结构是软件工程学科中一个较新的研究领域，目前对软件体系结构的形式化描述及求精方法的研究仍处于探索阶段。

Software architecture is an immature field in the discipline of software engineering. Researchers are still exploring the formalized description and refinement of software architecture.

youdao

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

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

目前主流的软件体系结构描述方法有两类，分别是形式化描述和可视化描述。

Now the main methods of software architecture description are formal description and visual description.

youdao