规范和描述语言相关论文
针对原理设计阶段机电一体化系统的逻辑结构模型、逻辑/物理行为模型和原理方案表达,提出了基于参考模型的机电一体化系统初步逻辑......
提出了一种将UML模型转换成SDL模型的方法。UML是一种优秀的建模语言，使用UML可以为协议建立模型带来很多方便。但是，UML缺乏形式化......
