PiXL: Applying xml standards to support the integration of analysis tools for protocols

Authors:
María del Mar Gallardo;Jesús Martínez;Pedro Merino;Pablo Nuñez;Ernesto Pimentel
Affiliations:
Dpto. de Lenguajes y Ciencias de la Computación, University of Málaga, 29071 Málaga, Spain;Dpto. de Lenguajes y Ciencias de la Computación, University of Málaga, 29071 Málaga, Spain;Dpto. de Lenguajes y Ciencias de la Computación, University of Málaga, 29071 Málaga, Spain;Dpto. de Lenguajes y Ciencias de la Computación, University of Málaga, 29071 Málaga, Spain;Dpto. de Lenguajes y Ciencias de la Computación, University of Málaga, 29071 Málaga, Spain
Venue:
Science of Computer Programming
Year:
2007

Citing 11
Cited 3

Using XML to implement abstraction for Model Checking

Proceedings of the 2002 ACM symposium on Applied computing
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography)

Proceedings of the 9th International SPIN Workshop on Model Checking of Software
On Combining Functional Verification and Performance Evaluation Using CADP

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
IF: A Validation Environment for Timed Asynchronous Systems

CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Foundations of the Bandera abstraction tools

The essence of computation
αSPIN: A tool for abstract model checking

International Journal on Software Tools for Technology Transfer (STTT)
Model checking active networks with SPIN

Computer Communications
Integration of Reliability and Performance Analyses for Active Network Services

Electronic Notes in Theoretical Computer Science (ENTCS)
Directions in active networks

IEEE Communications Magazine
An extension of the ns simulator for active network research

Computer Communications

On The Evolution Of Reliability Methods For Critical Software

Journal of Integrated Design & Process Science - Applications of formal methods
Using Network Node Description Language for modeling networking scenarios

Advances in Engineering Software
A model-extraction approach to verifying concurrent C programs with CADP

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.