PiXL系列 swMATH ID: 1975 软件作者： 玛丽亚·德尔马·加拉多（del Mar Gallardo）；马丁内斯，杰苏斯；佩德罗·梅里诺；努涅斯，巴勃罗；埃内斯托·皮门特尔 描述： PiXL：应用XML标准支持协议分析工具的集成本文介绍了我们使用XML技术和标准集成协议分析工具的经验。核心提案包括一种新的基于XML的语言PiXL（使用XML语言的协议交换）的设计，该语言负责在不同的现有工具之间交换协议的整个规范（数据和控制）。事实证明，在实现抽象模型检查器等新工具时，XML的结构和灵活性非常有用。此外，该提案的适用性已被应用于实现一种新的分析，其中提出了PiXL和新的mda方法，以构建用于主动网络协议可靠性和性能分析的集成环境。 主页： 网址：http://www.lcc.uma.es/~pedro/publications/pixl_gallardo.pdf 关键词： XML格式;协议;分析;形式化方法;模型检查;性能;MDA公司 相关软件： 凯撒;CAESAR_解决;班德拉;钙磷;NuSMV公司;自旋蛋白;SLAM公司;爆炸 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 PiXL：应用XML标准支持协议分析工具的集成。 Zbl 1109.68013号玛丽亚·德尔马·加拉多;杰苏斯·马丁内斯;佩德罗·梅里诺;巴勃罗·努涅兹;埃内斯托·皮门特尔 2007 5位作者引用 1 玛丽亚·德尔马·加拉多 1 杰苏斯·马丁内斯 1 佩德罗·梅里诺 1 巴勃罗·努涅兹 1 埃内斯托·皮门特尔 连载1篇 1 计算机程序设计科学 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文