Title :
A PMIF Semantic Validation Tool
Author :
Garcia, D. ; Llado, C.M. ; Smith, C.U. ; Puigjaner, R.
Author_Institution :
Dep. de Cien. Mat. i Inf., Universitat de les Illes Balears, Palma de Mallorca
Abstract :
A performance model interchange format (PMIF) be transferred among queueing network model (QNM) based modeling tools. Such a tool would only need to have PMIF import/export mechanisms. The XML specification of the PMIF allows implementers to use widely available tools to parse the XML file, check the syntax, and simplify the translation to/from the XML format. Those tools, however, do not know the semantics of a QNM so they cannot check the XML to ensure that it contains a valid QNM. This paper presents a semantic validation tool that can be used by anyone (user or tool developer) who wants to work with PMIF
Keywords :
XML; formal specification; queueing theory; simulation languages; software performance evaluation; PMIF semantic validation tool; XML specification; modeling tools; performance model interchange format; queueing network model;
Conference_Titel :
Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on
Conference_Location :
Riverside, CA
Print_ISBN :
0-7695-2665-9
DOI :
10.1109/QEST.2006.1
