liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Validation of ModelicaML models
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology. (pelab)
2012 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

In the world of modeling, Model Validation plays a crucial role. A model editor is not said to becomplete without Validation. ModelicaML is a Modeling Language extended from a subset of UMLand SysML, developed under OpenModelica Project. It is defined to provide time-discrete andtime-continuous models. Papyrus Model Editor is extended to support for ModelicaML usingModelicaML Eclipse plug-in. This plug-in comes with Modelica Code Generator.Previously, ModelicaML plug-in had a prototype of validation which provided only Batch-modevalidation. The validation is used to be done by the Modelica compiler after the code generation phase.Each time the user tried to validate the model; first Modelica code is generated and then validated. Thistype of validation misses certain validation rules to validate due to the conversion from theModelicaML model to Modelica code.The goal of this thesis is to implement Model Validation done at model editor level with both Batch andLive mode validation. This can be done by developing an Eclipse plug-in which does the ModelValidation. This plug-in uses the EMF Validation framework for implementing the constraints andvalidation on ModelicaML models.

Place, publisher, year, edition, pages
2012. , 55 p.
Keyword [sv]
Validation, ModelicaML models, EMF Validation Framework, EMF
National Category
Computer Systems
URN: urn:nbn:se:liu:diva-86364ISRN: LIU-IDA/LITH-EX-A—12/061OAI: diva2:576837
Subject / course
Computer and information science at the Institute of Technology
2012-11-22, Donald Knuth, Linkoping University, Linkoping, 14:00 (English)
Available from: 2012-12-14 Created: 2012-12-13 Last updated: 2012-12-14Bibliographically approved

Open Access in DiVA

Validation_of_ModelicaML_models(1141 kB)350 downloads
File information
File name FULLTEXT01.pdfFile size 1141 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Gatla, Goutham
By organisation
Software and SystemsThe Institute of Technology
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 350 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

Total: 104 hits
ReferencesLink to record
Permanent link

Direct link