loading...
Modeling Language Interpretation for Validation
Amsterdam, The Netherlands September 19-September 21
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/STEP.2003.20Eleventh Annual International Worksho ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Pedro P. Alarcon, Juan Garbajosa, Agustin Yague, Alexei Lisounkin, Gerhard Schreck, Jose L. Esteban, "Modeling Language Interpretation for Validation," Software Technology and Engineering Practice, International Workshop on, pp. 247-256, Eleventh Annual International Workshop on Software Technology and Engineering Practice (STEP'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/STEP.2003.20,
author = {Pedro P. Alarcon and Juan Garbajosa and Agustin Yague and Alexei Lisounkin and Gerhard Schreck and Jose L. Esteban},
title = {Modeling Language Interpretation for Validation},
journal ={Software Technology and Engineering Practice, International Workshop on},
volume = {0},
year = {2003},
isbn = {0-7695-2218-1},
pages = {247-256},
doi = {http://doi.ieeecomputersociety.org/10.1109/STEP.2003.20},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Technology and Engineering Practice, International Workshop on
TI - Modeling Language Interpretation for Validation
SN - 0-7695-2218-1
SP247
EP256
A1 - Pedro P. Alarcon,
A1 - Juan Garbajosa,
A1 - Agustin Yague,
A1 - Alexei Lisounkin,
A1 - Gerhard Schreck,
A1 - Jose L. Esteban,
PY - 2003
KW - null
VL - 0
JA - Software Technology and Engineering Practice, International Workshop on
ER -
 
Alexei Lisounkin, Fraunhofer IPK
Gerhard Schreck, Fraunhofer IPK
This paper describes an approach to deploy the interpretation of a modeling language in order to get support for the verification of system models and to produce the necessary software to simulate the system behavior. The language to define system models, the XNetMod language, has been specified to the purpose of modeling systems with a network structure, that is made of interrelated components. It is an XML-based language. For verification purposes an algebra has been developed. The approach combines formal methods with model-based development. The simulation software components are generated from the system model definition. The simulation of the system can provide information related to issues such as simulation-based supervision, control and decision-making mechanisms, yielding a useful support to validation activities.
Citation:
Pedro P. Alarcon, Juan Garbajosa, Agustin Yague, Alexei Lisounkin, Gerhard Schreck, Jose L. Esteban, "Modeling Language Interpretation for Validation," step, pp.247-256, Eleventh Annual International Workshop on Software Technology and Engineering Practice (STEP'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.