点击购买，资源将自动在新窗口打开.
获取独家产品信息，尽享促销优惠！立即订阅，不容错过
* 限···时··优惠
摘要：实现分布式仿真中涉及的软件和硬件系统之间的高水平互操作性需要正式的接口描述。此类接口描述需要捕获涉及各种技术的广泛设计和实施决策。此外，实现系统互操作性所涉及的任务（例如数据序列化或协议处理）需要形式化以消除歧义或误解。此外，形式化为机器可读的语言可以实现此类任务的自动化。即使 XML 可以解决这些问题，它不仅缺乏描述系统接口的专用语言的词汇丰富性和表现力，也无法提供足够的机制来验证它们。
主要关键词
