机构名称：
¥ 6.0
安全 EDIFACT 转换器的参考实现主要用于提供安全 EDIFACT 测试套件的正式验证，另外还具有识别安全 EDIFACT 指南中的歧义和错误以及为未来实际实现提供严格基础的优势。随着将 VDM-SL 正式规范转换为 C++ 代码的工具 [7] 的出现，我们决定使用正式规范语言 VDM-SL 开发参考实现，并从中生成可执行的 C++ 实现。这使得正式规范在许多地方都具有高级编程语言的外观。此外，必须避免使用 VDM-SL 的一些更优雅的功能，例如序列修改，因为众所周知 C++ 生成器无法转换它们。本节的其余部分介绍了规范开发所涉及的各个方面。
摘要 - NPL 出版物
主要关键词
相关文件推荐
