Validation of ModelicaML models
Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
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.
Validation, ModelicaML models, EMF Validation Framework, EMF
IdentifiersURN: urn:nbn:se:liu:diva-86364ISRN: LIU-IDA/LITH-EX-A—12/061OAI: oai:DiVA.org:liu-86364DiVA: diva2:576837
Subject / course
Computer and information science at the Institute of Technology
2012-11-22, Donald Knuth, Linkoping University, Linkoping, 14:00 (English)
Schamai, WladimirRogovchenko, Olena, Doctor
Fritzson, Peter, Professor