Machinetalk

For an open source project it is important to provide interfaces that are easy to use and at the same time maintainable to ensure long term contributions. Therefore Machinetalk has been introduced as middleware for distributed systems in the Machinekit machine control project. However the middleware is missing complete protocol documentation and language bindings for many relevant target platforms. To overcome these problems a model-based approach for developing the Machinetalk language bindings is introduced. The presented models are formally verified and utilized to generate code and documentation for the communication protocols and software components. The introduced approach proves to be effective and offers a significant decrease in development time of new language bindings as well as drastically reduces the effort for long-term maintenance. Although this thesis focuses on the Machinetalk middleware the approach can potentially be applied to other middleware projects.