| 摘要: |
| ＪＳＬＣ系统是一个规格说明语言ＪＳＬ的转换系统．它的实现反映了一种规格说明语言的转换方法．本文详细介绍了ＪＳＬＣ系统的组成结构、实现基础和技术要点． |
| 关键词: 规格说明语言，事件驱动，进程，数据流，状态向量 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| A TRANSLATiNG SYSTEM OF THE JSD-ORIENTED SPECIFICATION LANGUAGE |
|
Zhou Xiaotong,Zong Liping,bang Maoshun
|
| Abstract: |
| SLC is a translating system of the specification language JSL. The implementation of JSLC implies a model of specification language translation. In this paper, thesystem organization, the fundamentals of implementation, and the key points of techniques for JSLC, are described in detail. |
| Key words: Specification language, event driven, process, data flow, state vector. |
