玛丽亚·德尔马·加拉多;杰苏斯·马丁内斯;佩德罗·梅里诺;巴勃罗·努涅兹;埃内斯托·皮门特尔 PiXL：应用XML标准支持协议分析工具的集成。 （英语） Zbl 1109.68013号 科学。计算。程序。 65，第1号，57-69（2007）. 总结：本文介绍了我们在使用XML技术和标准集成协议分析工具方面的经验。核心提案包括一种新的基于XML的语言PiXL（使用XML语言的协议交换）的设计，该语言负责在不同的现有工具之间交换协议的整个规范（数据和控制）。事实证明，在实现抽象模型检查器等新工具时，XML的结构和灵活性非常有用。此外，该提案的适用性已被应用于实现一种新的分析，其中提出了PiXL和新的mda方法，以构建用于主动网络协议可靠性和性能分析的集成环境。 MSC公司： 68个M12 网络协议 68单位35 信息系统的计算方法（超文本导航、接口、决策支持等） 68第05页 数据结构 关键词：XML格式;协议;分析;形式化方法;模型检查;性能;MDA公司 软件：PiXL系列 PDF格式BibTeX公司 XML格式引用 \textit{M.del Mar Gallardo}等人，科学。计算。程序。65，编号1，57--69（2007；Zbl 1109.68013） 全文： 内政部