Keywords: Modelica model validation; static source code analysis; constraint languages
Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; April 19; University of Nottingham; Nottingham; UK
[1] Frank Budinsky; Stephen A. Brodsky; and Ed Merks. Eclipse Modeling Framework. Pearson Education; 2003.
[2] Peter Bunus and Peter Fritzson. Automated static analysis of equation-based components. Simulation; 80(7-8):321– 345; 2004.
[3] Erich Gamma; Richard Helm; Ralph Johnson; and John Vlissides. Design Patterns – Elements of Reusable Object- Oriented Software. Addison-Wesley Longman; Amsterdam; 1 edition; 1995. 37. Reprint (2009).
[4] Christoph Höger. Modim - a modelica frontend with static analysis. In MATHMOD 2012 - 7th Vienna International Conference on Mathematical Modelling; 2012.
[5] Jan Köhnlein and Sven Efftinge. Xtext 2.1 documentation; October 31; 2011.
[6] Malte Lochau and Henning Günther. A static aspect language for modelica models. In Peter Fritzson; François E. Cellier; and David Broman; editors; EOOLT; volume 29 of Linköping Electronic Conference Proceedings; pages 47–57. Linköping University Electronic Press; 2008.
[7] Modelica Association. Modelica: A unified objectoriented language for physical systems modeling; language specification version 3.3; 2012.
[8] OMG. Meta Object Facility (MOF) Core Specification Version 2.0; 2006.
[9] Roland Samlaus; Claudio Hillmann; Birgit Demuth; and Martin Krebs. Towards a model driven modelica IDE. In 8th International Modelica Conference; 2011.
[10] Mirko Seifert and Roland Samlaus. Static Source Code Analysis using OCL. In Jordi Cabot and Pieter Van Gorp; editors; OCL’08; 2008.
[11] M. Strobel; R. Vorpahl; C. Hillmann; X. Gu; A. Zuga; and U. Wihlfahrt. The OnWind modelica library for offshore wind turbines – implementation and first results. In Proceedings of the Modelica Conference; 2011.
[12] Claas Wilke. Java code generation for dresden ocl2 for eclipse. Großer beleg (minor thesis); Technische Universität Dresden; Dresden; Germany; February 2009.