抽象状态机(ASM)相关论文
提出了用基本ASM(Abstract State Machine)定义SDL(Specisification and Descripiton Language)动态语义的方法框架.由于SDL的复杂......
讨论了SDL-2000的建议Z.100的附件F中用分布式实时抽象状态机(ASM: Abstract State Machine)形式地定义SDL(Specisification and D......
在分析当前SDL(Specification and Description Language)静态语义定义方法的基础 上,从另一角度给出了用抽象状态机(AS M:Abstrac......
