saj

The realization method of the mapping from detail design model to SAJ code is given in this dissertation . 4 .

给出了从详细设计模型到底层SAJ代码映射的实现方法。

Guru Saj : It got caught on my watch .

被我的手表刮掉了。

Besides , the type safety of SAJ is proved , which makes the SAJ-based software development safer and more practical . 3 .

证明了SAJ语言的类型安全性，类型安全性使得基于SAJ的软件开发更加安全和实用。

Two-Phase Mapping consists of mapping from software architecture design model to detail design model ( SACM-based component model ) and mapping from detail design model to implementation ( SAJ code ) .

两阶段映射包括从体系结构设计模型到详细设计模型（基于SACM的构件模型）的映射和从详细设计模型到底层实现（SAJ代码）的映射。

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 .

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

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。

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的特色在于在程序设计语言中支持了软件体系结构的核心概念。