Keywords: Modelica; IDE; OCL; verification
Proceedings of the 8th International Modelica Conference; March 20th-22nd; Technical Univeristy; Dresden; Germany
[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