The integrated model-driven environments and the new MetaModelica language presented in this thesis provide efficient and effective methods for designing and developing complex product models. Methods and tools for debugging, management, serialization, and composition of models are additional contributions.
The research contributions of the thesis are:
The design, implementation, and evaluation of a new general executable mathematical modeling and semantics meta-modeling language called MetaModelica. The MetaModelica language extends the existing Modelica language with support for meta-modeling, meta-programming, and exception handling facilities.
The design, implementation and evaluation of advanced portable debugging methods and frameworks for runtime debugging of MetaModelica and semantic specifications.
The design, implementation and evaluation of several integrated model-driven environments supporting creation, development, refactoring, debugging, management, composition, serialization, and graphical representation of models in EOO languages. Additionally, an integrated model-driven product design and development environment based on EOO languages is also contributed.
Alternative representation of Modelica EOO models based on XML and UML/SysML are investigated and evaluated. Transformation and invasive composition of EOO models has also been investigated.
In this section we give a short overview of each of the parts in the thesis. At the end of this section we also present visually, in Figure 1 -1, an overview of the structure of this thesis.
The thesis consists of six main parts:
Part I presents the thesis motivation, its introduction, the background and related work.
Part II focuses on the design and implementation of an general-purpose unified EOO language called MetaModelica
Part III introduces our work with regards to run-time debugging of meta-programs, equation based languages and semantic specifications.
Part IV presents the design and implementation of several integrated development environments for EOO languages.
Part V presents contributions to serialization, invasive composition and transformation of EOO models.
Part VI concludes the thesis and gives future work directions.
Figure 1 1. Thesis structure.
This thesis is partially based on the following publications:
Adrian Pop, Kristian Stavåker, Peter Fritzson: Exception Handling for Modelica, 6th International Modelica Conference, March 03-04, 2008, Bielefeld, Germany
Peter Fritzson, Adrian Pop, Kristoffer Norling, Mikael Blom: Comment- and Indentation Preserving Refactoring and Unparsing for Modelica, 6th International Modelica Conference, March 03-04, 2008, Bielefeld, Germany
Kristian Stavåker, Adrian Pop, Peter Fritzson: Compiling and Using Pattern Matching in Modelica, 6th International Modelica Conference, March 03-04, 2008, Bielefeld, Germany
Jörn Guy Süß, Peter Fritzson, Adrian Pop, Luke Wildman: Towards Integrated Model-Driven Testing of SCADA Systems Using the Eclipse Modeling Framework and Modelica, 19th Australian Software Engineering Conference (ASWEC 2008), March 26-28, 2008, Perth, Western Australia
Adrian Pop, David Akhvlediani, Peter Fritzson: Integrated UML and Modelica System Modeling with ModelicaML in Eclipse, The 11th IASTED International Conference on Software Engineering and Applications (SEA 2007), November 19-21, 2007, Cambridge, MA, USA
Adrian Pop, Peter Fritzson: Towards Run-time Debugging of Equation-based Object-oriented Languages, The 48th Conference on Simulation and Modeling (SIMS 2007), October 30-31, 2007, Goteborg, Sweden
Adrian Pop, Vasile Băluţă, Peter Fritzson: Eclipse Support for Design and Requirements Engineering Based on ModelicaML, The 48th Conference on Simulation and Modeling (SIMS 2007), October 30-31, 2007, Goteborg, Sweden
Adrian Pop, David Akhvlediani, Peter Fritzson: Towards Unified System Modeling with the ModelicaML UML Profile, EOOLT'2007 - 1st International Workshop on Equation-Based Object-Oriented Languages and Tools, part of ECOOP'2007 - 21st European Conference on Object-Oriented Programming, July 29-August 3, 2007, Berlin, Germany
Peter Fritzson, Peter Aronsson, Adrian Pop, Håkan Lundvall, Kaj Nyström, Levon Saldamli, David Broman, Anders Sandholm: OpenModelica - A Free Open-Source Environment for System Modeling, Simulation, and Teaching, IEEE International Symposium on Computer-Aided Control Systems Design, October 4-6, 2006, Munich, Germany
Elmir Jagudin, Andreas Remar, Adrian Pop, Peter Fritzson: OpenModelica MDT Eclipse plugin for Modelica Development, Code Browsing, and Simulation, the 47th Conference on Simulation and Modeling (SIMS2006), September, 28-29, 2006, Helsinki, Finland
Adrian Pop, Peter Fritzson: MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language, Joint Modular Languages Conference 2006 (JMLC2006), September, 13-15th, 2006, Jesus College, Oxford, England. Also in Lecture Notes in Computer Science, volume 4228, p: 211-229.
Adrian Pop, Peter Fritzson, Andreas Remar, Elmir Jagudin, David Akhvlediani: OpenModelica Development Environment with Eclipse Integration for Browsing, Modeling, and Debugging, 5th International Modelica Conference (Modelica2006), September, 4-5th, 2006, Vienna, Austria.
Olof Johansson, Adrian Pop, Peter Fritzson: Engineering Design Tool Standards and Interfacing Possibilities to Modelica Simulation Tools, 5th International Modelica Conference (Modelica2006), September, 4-5th, 2006, Vienna, Austria.
Adrian Pop, Peter Frizson: An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications, Structural Operational Semantics 2006 (SoS'2006), a Satellite Workshop of The 17th International Conference on Concurrency Theory (CONCUR'2006), August 26, 2006, Bonn, Germany.
Adrian Pop: Contributions to Meta-Modeling Tools and Methods, Licentiate Thesis No. 1162, Linköping University, June 3, 2005
Adrian Pop, Peter Fritzson: Debuging Natural Semantics Specifications, Sixt International Symposium on Automated and Analysis-Driven Debugging (AADEBUG2005), September 19-21, 2005, Monterey, California. Published in the ACM SIGSOFT/SIGPLAN.
Adrian Pop, Peter Fritzson: A Portable Debugger for Algorithmic Modelica Code, the 4th International Modelica Conference (Modelica2005), March 7-9, 2005, Hamburg, Germany. Published in the local proceedings and online.
Olof Johansson, Adrian Pop, Peter Fritzson: ModelicaDB - A Tool for Searching, Analysing, Crossreferencing and Checking of Modelica Libraries, the 4th International Modelica Conference (Modelica2005), March 7-9, 2005, Hamburg, Germany. Published in the local proceedings and online.
Peter Fritzson, Adrian Pop, Peter Aronsson: Towards Comprehensive Meta-Modeling and Meta-Programming Capabilities in Modelica, the 4th International Modelica Conference (Modelica2005), March 7-9, 2005, Hamburg, Germany. Published in the local proceedings and online.
Ilie Savga, Adrian Pop, Peter Fritzson: Deriving a Component Model from a Language Specification: An Example Using Natural Semantics, Internal Report, December, 2005.
Adrian Pop, Peter Fritzson: The Modelica Standard Library as an Ontology for Modeling and Simulation of Physical Systems, Internal Report, August, 2004.
Adrian Pop, Ilie Savga, Uwe Aßmann, Peter Fritzson: Composition of XML dialects: A ModelicaXML case study, Software Composition Workshop (SC2004) , affiliated with European Joint Conferences on Theory and Practice of Software (ETAPS'04) , March 27 - April 4, 2004, Barcelona, Spain. The paper can be found in Electronic Notes in Theoretical Computer Science Volume 114, 17 January 2005, Pages 137-152, Proceedings of the Software Composition Workshop (SC 2004)
Olof Johansson, Adrian Pop, Peter Fritzson: A functionality coverage analysis of industrially used ontology languages, Model Driven Architecture: Foundations and Applications (MDAFA2004), June 10-11, 2004, Linköping, Sweden
Adrian Pop, Olof Johansson, Peter Fritzson: An integrated framework for model-driven design and development using Modelica, SIMS 2004, the 45th Conference on Simulation and Modeling, September 23-24, 2004, Copenhagen, Denmark. Complete proceedings can be found at: ScanSims.org
Adrian Pop, Peter Fritzson: ModelicaXML: A Modelica XML Representation with Applications, Modelica 2003, The 3rd International Modelica Conference, November 3-4, Linköping, Sweden