Return to search

Validation of ModelicaML models

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.

Identiferoai:union.ndltd.org:UPSALLA1/oai:DiVA.org:liu-86364
Date January 2012
CreatorsGatla, Goutham
PublisherLinköpings universitet, Programvara och system, Linköpings universitet, Tekniska högskolan
Source SetsDiVA Archive at Upsalla University
LanguageEnglish
Detected LanguageEnglish
TypeStudent thesis, info:eu-repo/semantics/bachelorThesis, text
Formatapplication/pdf
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.0016 seconds