有关802.11 MAC层的协议栈的问题

大家好，我现在在做802.11的mac层的协议栈。我现在是参考的ANSI/IEEE Std 802.11-1999文献附录c中的sdl框图在telelogic tau sdl suite 4.4软件中进行一系列工作。我把附录中的sdl框图输进去进行分析后报了很多语法和语义上的错误。我参考了很多讲了sdl语法的书籍，但是附录C里面的很多写法书上都没有讲到。如果有做过这方面的工作的大侠能否指导一下或者推荐一下和sdl语法相关的文档和书籍？谢谢各位了！

就看telelogic的手册

你是说软件里面自带的DPF文档吗？

打错了，是PDF

有一个问题是有关于sdl中用generator来定义新的数据类型和通过inherits来继承产生新的数据类型，请问这两种定义方式有什么不同吗？