PiXL: applying XML standards to support the integration of analysis tools for protocols This paper presents our experiences on using XML technologies and standards for the integration of analysis tools for protocols. The core proposal consists in the design of a new XML-based language named PiXL (Protocol Interchange using XML Languages), responsible for interchanging the whole specification of the protocol (data and control) among different existing tools. The structure and flexibility of XML has proven to be very useful when implementing new tools such as abstract model checkers. In addition, the suitability of the proposal has been applied to achieve a new kind of analysis, where PiXL and new mda methodologies have been proposed to build integrated environments for reliability and performance analysis of active network protocols.
Keywords for this software
References in zbMATH (referenced in 3 articles , 1 standard article )
Showing results 1 to 3 of 3.
- Dobrilovic, Dalibor; Stojanov, Zeljko; Odadzic, Borislav; Markoski, Branko: Using network node description language for modeling networking scenarios (2012)
- Gallardo, M.M.; Joubert, C.; Merino, P.; Sanán, D.: A model-extraction approach to verifying concurrent C programs with CADP (2012)
- del Mar Gallardo, María; Martínez, Jesús; Merino, Pedro; Nuñez, Pablo; Pimentel, Ernesto: PiXL: applying XML standards to support the integration of analysis tools for protocols (2007)