liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Integrated Model-Driven Development Environments for Equation-Based Object-Oriented Languages
Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
2008 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

Integrated development environments are essential for efficient realization of complex industrial products, typically consisting of both software and hardware components. Powerful equation-based object-oriented (EOO) languages such as Modelica are successfully used for modeling and virtual prototyping increasingly complex physical systems and components, whereas software modeling approaches like UML, especially in the form of domain specific language subsets, are increasingly used for software systems modeling.

A research hypothesis investigated to some extent in this thesis is if EOO languages can be successfully generalized also to support software modeling, thus addressing whole product modeling, and if integrated environments for such a generalized EOO language tool support can be created and effectively used on real-sized applications.

However, creating advanced development environments is still a resource-consuming error-prone process that is largely manual. One rather successful approach is to have a general framework kernel, and use meta-modeling and meta-programming techniques to provide tool support for specific languages. Thus, the main goal of this research is the development of a meta-modeling approach and its associated meta-programming methods for the synthesis of model-driven product development environments that includes support for modeling and simulation. Such environments include components like model editors, compilers, debuggers and simulators. This thesis presents several contributions towards this vision in the context of EOO languages, primarily the Modelica language.

Existing state-of-the art tools supporting EOO languages typically do not satisfy all user requirements with regards to analysis, management, querying, transformation, and configuration of models. Moreover, tools such as model-compilers tend to become large and monolithic. If instead it would be possible to model desired tool extensions with meta-modeling and meta-programming, within the application models themselves, the kernel tool could be made smaller, and better extensibility, modularity and flexibility could be achieved.

We argue that such user requirements could be satisfied if the equation-based object-oriented languages are extended with meta-modeling and meta-programming. This thesis presents a new language that unifies EOO languages with term pattern matching and transformation typically found in functional and logic programming languages. The development, implementation, and performance of the unified language are also presented.

The increased ease of use, the high abstraction, and the expressivity of the unified language are very attractive properties. However, these properties come with the drawback that programming and modeling errors are often hard to find. To overcome these issues, several methods and integrated frameworks for run-time debugging of the unified language have been designed, analyzed, implemented, and evaluated on non-trivial industrial applications.

To fully support development using the unified language, an integrated model-driven development environment based on the Eclipse platform is proposed, designed, implemented, and used extensively. The development environment integrates advanced textual modeling, code browsing, debugging, etc. Graphical modeling is also supported by the development environment based on a proposed ModelicaML Modelica/UML/SysML profile. Finally, serialization, composition, and transformation operations on models are investigated.

Place, publisher, year, edition, pages
Institutionen för datavetenskap , 2008. , 263 p.
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 1183
Keyword [en]
Integrated Environments, Modeling, Simulation, Equation-based Object-oriented Languages, Debugging, UML-SysML
National Category
Computer Science
URN: urn:nbn:se:liu:diva-11416ISBN: 978-91-7393-895-2OAI: diva2:17829
Public defence
2008-06-05, Visionen, B, Linköping University, Linköping, 13:15 (English)
Available from: 2008-05-08 Created: 2008-05-08 Last updated: 2014-10-08

Open Access in DiVA

cover(25 kB)34 downloads
File information
File name COVER01.pdfFile size 25 kBChecksum MD5
Type coverMimetype application/pdf
fulltext(7590 kB)1907 downloads
File information
File name FULLTEXT01.pdfFile size 7590 kBChecksum MD5
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Pop, Adrian
By organisation
PELAB - Programming Environment LaboratoryThe Institute of Technology
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 1907 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 3042 hits
ReferencesLink to record
Permanent link

Direct link