软件体系结构是软件工程学科中一个较新的研究领域，目前对软件体系结构的形式化描述及求精方法的研究仍处于探索阶段。
Software architecture is an immature field in the discipline of software engineering. Researchers are still exploring the formalized description and refinement of software architecture.
基于队列网络模型，由化学抽象机中形式化描述的软件体系结构规约，导出了一种性能评价模型。
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.
以数学方法给出了工作流过程定义模型的形式化描述，并提出一种工作流自动化的实现模型，包括系统体系结构和数据库的设计。
The paper gives mathematical definitions of process defining model and an implementing model of workflow automation, including the system architecture and database design.
以数学方法给出了工作流过程定义模型的形式化描述，并提出一种工作流自动化的实现模型，包括系统体系结构和数据库的设计。
The paper gives mathematical definitions of process defining model and an implementing model of workflow automation, including the system architecture and database design.
应用推荐