DocumentCode
2619053
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
fYear
2006
fDate
11-14 Sept. 2006
Firstpage
121
Lastpage
122
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on
Conference_Location
Riverside, CA
Print_ISBN
0-7695-2665-9
Type
conf
DOI
10.1109/QEST.2006.1
Filename
1703998
Link To Document