皮克斯

PiXL:应用XML标准支持协议分析工具的集成本文介绍了利用XML技术和标准集成协议分析工具的经验。核心方案包括设计一种新的基于XML的语言PiXL(使用XML语言的协议交换),负责在不同的现有工具之间交换协议的整个规范(数据和控制)。XML的结构和灵活性已经被证明在实现新工具(如抽象模型检查器)时非常有用。此外,还将该方案的适用性应用于实现一种新的分析方法,其中PiXL和新的mda方法被用来构建用于主动网络协议可靠性和性能分析的集成环境。


zbMATH中的参考文献(参考文献3条,1标准件)

显示结果1到3,共3个。
按年份排序(引用)

  1. 多布里洛维奇,达利博尔;斯托亚诺夫,泽尔科;奥达季奇,鲍里斯拉夫;Markoski,Branko:使用网络节点描述语言来建模网络场景(2012)ioport公司
  2. 加拉多,M。M、 。;乔伯特,C。;美利奴,P。;存储区域网络án、 D.:用CADP验证并发C程序的模型抽取方法(2012)ioport公司
  3. 加拉多ía;市场í尼兹,耶ús;美利奴,佩德罗;ñez,巴勃罗;Pimentel,Ernesto:PiXL:应用XML标准支持协议分析工具的集成(2007)