{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T13:45:22Z","timestamp":1777902322915,"version":"3.51.4"},"reference-count":23,"publisher":"SAGE Publications","issue":"4","license":[{"start":{"date-parts":[[2015,4,1]],"date-time":"2015-04-01T00:00:00Z","timestamp":1427846400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["SIMULATION"],"published-print":{"date-parts":[[2015,4]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1177\/0037549715580174","type":"journal-article","created":{"date-parts":[[2015,4,9]],"date-time":"2015-04-09T22:24:32Z","timestamp":1428618272000},"page":"383-399","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":0,"title":["Semantic validation of physical models using role models"],"prefix":"10.1177","volume":"91","author":[{"given":"Roland","family":"Samlaus","sequence":"first","affiliation":[{"name":"Fraunhofer Institute for Wind Energy and Energy System Technology, Bremerhaven, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Fritzson","sequence":"additional","affiliation":[{"name":"Department of Computer and Information Science, Link\u00f6ping University, Link\u00f6ping, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2015,4,9]]},"reference":[{"key":"bibr1-0037549715580174","volume-title":"Working with objects - the OOram software engineering method","author":"Reenskaug T","year":"1996"},{"key":"bibr2-0037549715580174","volume-title":"Principles of object-oriented modeling and simulation with Modelica","author":"Fritzson PA","year":"2004"},{"key":"bibr3-0037549715580174","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-1561-6"},{"key":"bibr4-0037549715580174","volume-title":"Modelica 2000 Workshop","author":"Otter M"},{"key":"bibr5-0037549715580174","unstructured":"Schamai W. Modelica modeling language (ModelicaML): A UML profile for Modelica. Technical report, Link\u00f6ping University, Department of Computer Science and Information Technology, 2009. http:\/\/urn.kb.se\/resolve?urn=urn:nbn:se:liu:diva-20553."},{"key":"bibr6-0037549715580174","volume-title":"Trustworthy Components, Dagstuhl Seminar","author":"Assmann U"},{"key":"bibr7-0037549715580174","volume-title":"Proceedings of the 8th Modelica Conference","author":"Strobel M"},{"key":"bibr8-0037549715580174","volume-title":"8th International Modelica Conference","author":"Samlaus R"},{"key":"bibr9-0037549715580174","unstructured":"K\u00f6hnlein J, Efftinge S. Xtext 2.1 documentation, 31 October 2011."},{"key":"bibr10-0037549715580174","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-48673-9_8"},{"key":"bibr11-0037549715580174","unstructured":"Eclipse Modeling Framework Project. EMF Model Query. https:\/\/projects.eclipse.org\/projects\/modeling.emf.query (accessed 20 January 2015)."},{"key":"bibr12-0037549715580174","unstructured":"Kolovos D, Rose L, Garcia-Dominguez A, The Epsilon Book, 2013."},{"key":"bibr13-0037549715580174","volume-title":"Static Validation of Modelica Models for Language Compliance and Structural Integrity","author":"Samlaus R","year":"2013"},{"key":"bibr14-0037549715580174","unstructured":"Germanischer Lloyd Wind Energie. Guideline for the certification of wind turbines, 2010."},{"key":"bibr15-0037549715580174","unstructured":"International Electrotechnical Commission. Wind turbines \u2013 part 3: Design requirements for offshore wind turbines, 2009."},{"key":"bibr16-0037549715580174","first-page":"117","volume-title":"Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA\u201998)","author":"Riehle D"},{"key":"bibr17-0037549715580174","first-page":"78","volume-title":"Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems: Part II (MODELS\u201910)","author":"Reimann J"},{"key":"bibr18-0037549715580174","unstructured":"McIlroy MD. Mass-produced software components. In Buxton JM, Naur P, Randell B (eds.) Software Engineering Concepts and Techniques (1968 NATO Conference of Software Engineering). NATO Science Committee, pp. 88\u201398. Available at: http:\/\/www.cs.dartmouth.edu\/~doug\/components.txt."},{"key":"bibr19-0037549715580174","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"Szyperski C","year":"2002","edition":"2"},{"key":"bibr20-0037549715580174","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05082-8"},{"key":"bibr21-0037549715580174","first-page":"221","volume-title":"Netcentric System of Systems Engineering with DEVS Unified Process","author":"Cetinkaya D","year":"2013"},{"key":"bibr22-0037549715580174","first-page":"1140","volume-title":"Winter Simulation Conference","author":"Mittal S"},{"key":"bibr23-0037549715580174","doi-asserted-by":"crossref","unstructured":"Jonkman J. Dynamics Modeling and Loads Analysis of an Offshore Floating Wind Turbine. PhD Thesis, University of Colorado, 2007. Available at: http:\/\/www.nrel.gov\/docs\/fy08osti\/41958.pdf.","DOI":"10.2172\/921803"}],"container-title":["SIMULATION"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549715580174","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.1177\/0037549715580174","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549715580174","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T11:26:05Z","timestamp":1777634765000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/0037549715580174"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,4]]}},"alternative-id":["10.1177\/0037549715580174"],"URL":"https:\/\/doi.org\/10.1177\/0037549715580174","relation":{},"ISSN":["0037-5497","1741-3133"],"issn-type":[{"value":"0037-5497","type":"print"},{"value":"1741-3133","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,4]]}}}