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

被引：6

作者：

del Mar Gallardo, Maria ^{[1
]}

Martinez, Jesus ^{[1
]}

Merino, Pedro ^{[1
]}

Nunez, Pablo ^{[1
]}

Pimentel, Ernesto ^{[1
]}

机构：

[1] Univ Malaga, Dpto Lenguajes & Ciencias Computac, E-29071 Malaga, Spain

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2007年 / 65卷 / 01期

关键词：

XML; protocols; analysis; formal methods; model checking; performance; MDA;

D O I：

10.1016/j.scico.2006.08.006

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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. (c) 2006 Elsevier B.V. All rights reserved.

引用

页码：57 / 69

页数：13

共 26 条

[1]

[Anonymous], MDA GUID VERS 1 0 1

[2]

[Anonymous], XML SCHEM

[3]

[Anonymous], INT J SOFTWARE TOOLS

[4]

BOZGA M, 2000, LNCS, V1855, P543

[5] Directions in active networks [J].

Calvert, KL ;

Bhattacharjee, S ;

Zegura, E ;

Sterbenz, J .

IEEE COMMUNICATIONS MAGAZINE, 1998, 36 (10) :72-78

[6]

Clarke E, 2001, Model checking

[7]

Cousot Patrick, 1977, POPL, DOI [DOI 10.1145/512950.512973, 10.1145/512950.512973]

[8]

DAMS D, 2002, LECT NOTES COMPUTER, V2318

[9] Integration of Reliability and Performance Analyses for Active Network Services [J].

del Mar Gallardo, Maria ;

Martinez, Jesus ;

Merino, Pedro ;

Rodriguez, Guillermo .

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 133 :217-236

[10] Model checking active networks with SPIN [J].

Gallardo, MD ;

Martínez, J ;

Merino, P .

COMPUTER COMMUNICATIONS, 2005, 28 (06) :609-622

← 1 2 3 →