Title | ||
---|---|---|
PiXL: Applying xml standards to support the integration of analysis tools for protocols |
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. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1016/j.scico.2006.08.006 | Science of Computer Programming |
Keywords | DocType | Volume |
mda,protocols,new tool,model checking,xml standard,xml,new mda methodology,active network protocol,formal methods,new kind,performance analysis,xml technology,analysis tool,analysis,xml languages,new xml-based language,performance,core proposal | Conference | 65 |
Issue | ISSN | Citations |
1 | Science of Computer Programming | 6 |
PageRank | References | Authors |
0.43 | 14 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
María del Mar Gallardo | 1 | 141 | 13.16 |
Jesús Martínez | 2 | 51 | 5.72 |
Pedro Merino | 3 | 78 | 12.09 |
Pablo Nuñez | 4 | 6 | 0.43 |
Ernesto Pimentel | 5 | 515 | 42.20 |