loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: María del Mar Gallardo 1 ; Jesús Martínez 1 ; Pedro Merino 1 ; Pablo Nuñez 2 and Ernesto Pimentel 1

Affiliations: 1 University of Málaga, Spain ; 2 NibiSoft S.L., Spain

Abstract: This paper presents our experiences on using X M L [1] technologies and standards for the integration of analysis tools for protocols. The core proposal consists in the design of a new X M L-based language named PiXL (Protocol Interchange using X M L Languages), responsible for interchanging the whole specification of the protocol (data and control) among different existing tools. The structure and flexibility of X M L 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 M DA [2] methodologies have been proposed to build integrated environments for reliability and performance analysis of Active Network protocols.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.146.152.119

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
del Mar Gallardo, M.; Martínez, J.; Merino, P.; Nuñez, P. and Pimentel, E. (2006). PiXL: Applying XM L Standards to Support the Integration of Analysis Tools for Protocols. In Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2006) - MSVVEIS; ISBN 978-972-8865-49-8, SciTePress, pages 57-66. DOI: 10.5220/0002479300570066

@conference{msvveis06,
author={María {del Mar Gallardo}. and Jesús Martínez. and Pedro Merino. and Pablo Nuñez. and Ernesto Pimentel.},
title={PiXL: Applying XM L Standards to Support the Integration of Analysis Tools for Protocols},
booktitle={Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2006) - MSVVEIS},
year={2006},
pages={57-66},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002479300570066},
isbn={978-972-8865-49-8},
}

TY - CONF

JO - Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2006) - MSVVEIS
TI - PiXL: Applying XM L Standards to Support the Integration of Analysis Tools for Protocols
SN - 978-972-8865-49-8
AU - del Mar Gallardo, M.
AU - Martínez, J.
AU - Merino, P.
AU - Nuñez, P.
AU - Pimentel, E.
PY - 2006
SP - 57
EP - 66
DO - 10.5220/0002479300570066
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic