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

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