Change search
ReferencesLink to record
Permanent link

Direct link
Semantic validation of physical models using role models
Fraunhofer Institute Wind Energy and Energy Syst Technology, Germany.
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology.ORCID iD: 0000-0002-3435-4996
2015 (English)In: Simulation (San Diego, Calif.), ISSN 0037-5497, E-ISSN 1741-3133, Vol. 91, no 4, 383-399 p.Article in journal (Refereed) Published
Abstract [en]

The complexity of models for the simulation of physical systems is steadily increasing. This makes the effective validation of models for different design aspects crucial. One of the many important aspects is the structural correctness and the behavior due to design parameters which are of particular concern for the modeling of wind turbines. This article presents a design and implementation of a role-based validation framework. The framework allows for the creation of validation rules for different design aspects. This is done by role models that are used to define restrictions for an aspect by roles and rules. Multiple role models can be combined to cover all design features during model development. Restrictions on how models can interact with each other can be defined, which broadens language-specific restriction capabilities. The resulting rules can then be tested on arbitrary models based on the Eclipse Modeling Framework, for which mapping between elements of the role model and elements of the validated modeling language must be provided. In the domain of wind turbines, this approach is evaluated by application to two kinds of modeling languages (Modelica and UML2). Role models and rules have shown to be easily described with the frameworks role model language and role model definitions are successfully re-used by the definition of mappings for both kinds of modeling languages.

Place, publisher, year, edition, pages
SAGE Publications (UK and US) , 2015. Vol. 91, no 4, 383-399 p.
Keyword [en]
Modelica; OneModelica; role models; validation; semantic constraints
National Category
Computer and Information Science
URN: urn:nbn:se:liu:diva-118063DOI: 10.1177/0037549715580174ISI: 000353448600006OAI: diva2:812875

Funding Agencies|Federal Ministry for the Environment, Nature Conservation and Nuclear Safety of the Parliament of the Federal Republic of Germany; ELLIIT project; Swedish Strategic Research Foundation in the EDOp projects; Vinnova in the RTSIM project; Vinnova in the ITEA2 MODRIO project

Available from: 2015-05-20 Created: 2015-05-20 Last updated: 2015-05-27

Open Access in DiVA

fulltext(1475 kB)14 downloads
File information
File name FULLTEXT01.pdfFile size 1475 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Fritzson, Peter
By organisation
Software and SystemsThe Institute of Technology
In the same journal
Simulation (San Diego, Calif.)
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 14 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 82 hits
ReferencesLink to record
Permanent link

Direct link