ModelicaML is a UML/Modelica profile to support model-driven development of combined software/hardware UML/Modelica models. In order to support the development and maintenance of large ModelicaML models this thesis work has developed advanced enhancements to the ModelicaML profile, to enable users to more conveniently edit textual parts, i.e., action code, of ModelicaML models. This approach covers many of the concepts present in advanced language editors, i.e., code completion, error markers, as well as indentation and code template user support for developing and maintaining complex models. In large and complex models it is hard to remember all the parameters and values given in textual parts of UML diagrams. It is also very difficult to remember the complete set of components of a ModelicaML model. The ModelicaML enhancements developed in this work now supports features to facilitate advanced usage by showing all the components in just one key press. Two levels of Error Marker support have been developed to help user to find errors anywhere in a model without knowing the details. Moreover, ModelicaML has been extended with features like Modelica syntax highlighting and code completion. Furthermore, this work included upgrading and porting ModelicaML to run on the new Papyrus [13] on the new Eclipse versions. For example, by using the new features introduced in ModelicaML in this work the users do not have to remember all the variables from used base classes and derived classes.

The ModelicaML graphicalModeling Language and Modelica/UML profile is a language for the description of continuous-time and discrete-time/event-based system dynamics. Modelica ML uses Papyrus as modelling tool implementation platform which is used for editing models. These models may be expressed in UML withoptional textual statements in Modelica as action language code. For the new version ModelicaML 2.0, the need for support in the new Papyrus M1 version was essential. In this master thesis project, new plug-in functionality was developed that has enhanced the existing functionality of the ModelicaML modelling environment within the Papyrus Eclipse plug-in. This includes handling Modelica modifiers as well as new views and component tree views which provides complete list of components for a selected class.

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.

In today’s fast paced changing technology world, it is essential to adapt the new technologies and standards in order to stay compliant with the market. Software development is one of those key areas that have been growing highly fast and thus the need for staying up to date needs to be acknowledged by everyone in the area. The technology focused in this project is called ModelicaML[1] which is an integrated system modeling environment based on standardized languages such as UML[2] and Modelica[3]. Modelica Modeling Language (ModelicaML) is a graphical modeling language used for the description of time-continuous and time-discrete/event-based system dynamics. Currently, a ModelicaML code generator – that generates Modelica code from UML models – is implemented using the old Acceleo framework[4]. Within this thesis, the ModelicaML code generator was re-factored and implemented by using the latest Acceleo version 3.X[5]. The differences between the old and new Acceleo framework was also given an evaluation in the study in order to provide a hint of its future use for further improvements of the code generator.