Towards a model driven Modelica IDE

Roland Samlaus; Claudio Hillman; Birgit Demuth; Martin Krebs

Title:

Author:

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

DOI:

10.3384/ecp11063528

Download:

Full text (pdf)

Year:

2011

Conference:

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

Issue:

063

Article no.:

060

Pages:

528-536

No. of pages:

Publication type:

Abstract and Fulltext

Published:

2011-06-30

ISBN:

978-91-7393-096-3

Series:

Linköping Electronic Conference Proceedings

ISSN (print):

1650-3686

ISSN (online):

1650-3740

Publisher:

Linköping University Electronic Press; Linköpings universitet

Export in BibTex, RIS or text

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

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

Author:

Roland Samlaus, Claudio Hillman, Birgit Demuth, Martin Krebs

Title:

Towards a model driven Modelica IDE

DOI:

http://dx.doi.org/10.3384/ecp11063528

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

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

Author:

Roland Samlaus, Claudio Hillman, Birgit Demuth, Martin Krebs

Title:

Towards a model driven Modelica IDE

DOI:

https://doi.org10.3384/ecp11063528

Note: the following are taken directly from CrossRef

Citations:

Jan Reimann, Mirko Seifer & Uwe Aßmann (2013). On the reuse and recommendation of model refactoring specifications. Software & Systems Modeling, 12(3): 579. DOI: 10.1007/s10270-012-0243-2

Responsible for this page: Peter Berkesand
Last updated: 2019-10-02