Modeling language interpretation for validation

Author

Alarcón, Pedro P. ; Garbajosa, Juan ; Yagüe, Agustín ; Lisounkin, Alexei ; Schreck, Gerhard ; Esteban, Jose L.

Author_Institution

UPM, Madrid, Spain

fYear

2003

fDate

19-21 Sept. 2003

Firstpage

247

Lastpage

256

Abstract

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.

Keywords

object-oriented programming; program interpreters; program verification; simulation languages; specification languages; XML-based language; XNetMod language; control mechanism; decision-making mechanism; formal methods; interrelated components; model-based development; modeling language interpretation; network structure; program validation; simulation software components; simulation-based supervision; system behavior simulation; system model definition; system model verification; Algebra; Communication industry; Computer industry; Conferences; Decision making; Electrical equipment industry; Software engineering; Software maintenance; Software safety; System testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Technology and Engineering Practice, 2003. Eleventh Annual International Workshop on

Print_ISBN

0-7695-2218-1

Type

conf

DOI

10.1109/STEP.2003.20

Filename

1372155