抽象状态机(ASM)相关论文
提出了用基本ASM(Abstract State Machine)定义SDL(Specisification and Descripiton Language)动态语义的方法框架.由于SDL的复杂......
为了更好地支持和实现网构软件的自动化,提出在网构软件模型中使用抽象状态机（ASM）.在Internet的计算环境下,采用peer-to-peer（P2P）拓......
讨论了SDL-2000的建议Z.100的附件F中用分布式实时抽象状态机(ASM: Abstract State Machine)形式地定义SDL(Specisification and D......
在分析当前SDL(Specification and Description Language)静态语义定义方法的基础 上,从另一角度给出了用抽象状态机(AS M:Abstrac......
