Conference article

Towards a model driven Modelica IDE

Roland Samlaus
Fraunhofer Institute for Wind Energy and Energy System Technology, Germany

Claudio Hillman
Fraunhofer Institute for Wind Energy and Energy System Technology, Germany

Birgit Demuth
Technische Universität Dresden, Institut für Software- und Multimediatechnik, Germany

Martin Krebs
Technische Universität Dresden, Institut für Software- und Multimediatechnik, Germany

Download articlehttp://dx.doi.org/10.3384/ecp11063528

Published in: Proceedings of the 8th International Modelica Conference; March 20th-22nd; Technical Univeristy; Dresden; Germany

Linköping Electronic Conference Proceedings 63:60, p. 528-536

Show more +

Published: 2011-06-30

ISBN: 978-91-7393-096-3

ISSN: 1650-3686 (print), 1650-3740 (online)

Abstract

Model Driven Software Development evolved into a common way of creating software products. Describing software in a more abstract way simplifies and speeds up the development process and generated code turns out to fulfill high quality standards. As a subcategory of model driven development Domain-Specific Languages concede to express problems in a domain specific way. By defining a languages grammar; an editor that provides basic support for developers can be generated automatically. This paper describes how these concepts are utilized for the creation of a Modelica Integrated Development Environment (IDE). Helpful functionality is implemented in a model driven way to maximize assistance during the development process. Thus the developer receives a tool that allows to survey large scale projects and provides functionality that is well known in other popular programming languages. Furthermore an approach for semantical verification of Modelica documents during the development process is presented. This allows to detect and correct errors early.

Keywords

Modelica; IDE; OCL; verification

References

[1] J. Bastian; O. Enge-Rosenblatt; P. Schneider: MOSILAB - a Modelica solver for multiphysics problems with structural variability. Conference on Multiphysics Simulation - Advanced Methods for Industrial Engineering; January; 2010; Bonn; Germany

[2] The Object Management Group (OMG): OCL 2.2 Specification. 2010; http://www.omg.org/spec/OCL/2.2

[3] T.J. Parr; R.W. Quong: ANTLR: A Predicated-LL(k) Parser Generator. Software | Practice and Experience 25(7) (1995) 789-810. doi: 10.1002/spe.4380250705.

[4] F. Budinsky; S.A. Brodsky; E. Merks: Eclipse Modeling Framework. Pearson Education; 2003

[5] M. Seifert; R. Samlaus: Static Source Code Analysis using OCL. In: Proceedings of the Workshop OCL Tools: From Implementation to Evaluation and Comparison; OCL 2008; Satellite event of the 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2008); September 28 - October 3; 2008; Toulouse; France

[6] J. Reimann; M. Seifert; U. Assmann: Role-Based Generic Model Refactoring. In: Lecture Notes in Computer Science (LNCS 6395) - Model Driven Engineering Languages and Systems; Springer; 2010; 78-92

[7] M. Fowler: Refactoring: Improving the Design of Existing Code; Addison-Wesley; Boston; MA; 1999

[8] D. Steinberg; F. Budinsky; M. Paternostro; E. Merks: EMF: Eclipse Modeling Framework; Addison-Wesley; 2009

[9] Language Specification; Modelica - A Unified Object-Oriented Language for Physical Systems Modeling Version 3.1; May; 2009; https://www.modelica.org

[10] T. Parr: The Definitive ANTLR Reference: Building Domain-Specific Languages; Pragmatic Bookshelf; May; 2007

[11] M. Tiller: Parsing and Semantic Analysis of Modelica Code for Non-Simulation Applications; In: Proceedings of the 3rd International Modelica Conference; November 3-4 2003; Linköping; Sweden

[12] P. Harman; M. Tiller: Building Modelica Tools using the Modelica SDK; In: Proceedings 7th Modelica Conference; September 20-22 2009; Como; Italy

[13] M. Krebs: Verifikation von Modelica-Programmen mit OCL; Diploma thesis; TU Dresden 2010

Citations in Crossref