saj的翻译

Aiming at solving the above-mentioned problem, a new component-oriented programming language SAJ is brought into being. One of the features of SAJ is that it supports the core concepts of software architecture in programming language.

针对这个问题，设计和实现了一门新的面向构件语言SAJ，SAJ的特色在于在程序设计语言中支持了软件体系结构的核心概念。

Main contributions of this paper include: First, to save the memory, new algorithms for building F& B Index of XML tree model and DAG model, SAJ and SAM, have been proposed.

本文的工作及主要贡献包括如下几个方面：首先，从节省内存空间的角度出发，针对XML树模型和有向无环图模型，分别提出了新的F&B索引创建算法SAJ和SAM。

Moreover, in the type system of SAJ, the typing rules to ensure such properties as the validity of components connecting and that of the interaction and collaboration among components are given.

在类型系统中，给出了验证构件连接的正确性、构件之间交互协作的正确性等性质的类型推导规则。