X射线

XASM—一种可扩展的、基于组件的抽象状态机语言。抽象状态机(ASM)[15]方法已经被证明适用于现实系统的大规模规范[17,8,20,33]。由于ASM方法定义了一个执行规范的概念,它为语言提供了一个完美的基础,它既可以作为规范语言,也可以作为高级编程语言使用。然而,为了升级到现实的编程语言,这种语言除了其他特性外,还必须在核心ASM结构中添加模块化概念,以提供构建大规模ASM形式化和灵活定义可重用规范单元的可能性。本文介绍了可扩展ASM语言XASM。XASM基于ASMs中定义的外部函数的概念实现了基于组件的模块化概念。本文还简要介绍了XASM的支持环境,包括XASM编译器将XASM程序转换为C源代码,以及图形调试和动画工具。