可以将数据图的数据格式(模型)看作DMS与客户机之间的抽象。
The data format (model) of the data graph can be considered a contract between the DMS and the client.
基于队列网络模型，由化学抽象机中形式化描述的软件体系结构规约，导出了一种性能评价模型。
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.
本文叙述了并行程序设计语言occam的编译结构、抽象微码模型机、代码生成以及它的设计原则。
The paper describes the compiler structure, abstract microcode machine, code generation of OCCAM and its designing principles.
应用推荐