论文部分内容阅读
在分析当前SDL(Specification and Description Language)静态语义定义方法的基础 上,从另一角度给出了用抽象状态机(AS M:Abstract State Machine)定义SDL静态语义定义的方法.与现有方法相比,该方法不直接使用语法树,而是利 用静态和动态函数定义静态语义,解决了现行方法中"="引起的二义性问题,并且很容易通过改动现有方法来实现.