SESDL——个SDL语言的支撑环境

SESDL-A Supporting Environment For SDL

SDL是CCITT推荐的用于描述实时系统软件的功能和行为规范的标准语言。它可以用于软件生命周期模型中的许多阶段。本文提出一个以数据库为核心的SDL语言的支撑环境,称之为SESDL。并且详细讨论了SESDL的功能特点和结构原理。文中对各种主要工具的功能也进行了较为详细的分析。其中有些工具已经实现。

SDL recommendated by CCITT is an international standard language which is used in the function and behaviour specifications of real-time system software in several phases of software life-cycle. In this paper, a SDL supporting environment based data base, called SESDL, is proposed and its characteristics and structure are presented in detail, Many tools in SESDL are also described and analysed in detail. Some of them have been realized.