Modularization of Domain-Specific Languages for Extensible Component-Based Robotic Systems

The development of robotics systems requires a coherent design, implementation and integration of multiple domain-specific software artifacts that provide the application-specific capabilities. Model-driven software development (MDSD) provides an efficient methodology enabling the design, integration and verification of robotics applications already at the level of multiple domain-specific models. While the application of MDSD for the engineering of robotics systems is conceptually promising, the interoperability, composability and reusability of developed domain-specific languages and resulting models is challenging. In this paper, we discuss the requirements for language modularization and composition from a robotics perspective and introduce a language composition approach for component-based robotics systems. We utilize a state-of-the-art language workbench supporting reuse, extensibility and refinement of domain-specific languages and code generators. We present and discuss a case study to evaluate the proposed extension and composition approach.

[1]  Bernhard Rumpe,et al.  Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems , 2015, MORSE@STAF.

[2]  Herman Bruyninckx,et al.  A model-based approach to software deployment in robotics , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[3]  Aniruddha S. Gokhale,et al.  Improving Domain-Specific Language Reuse with Software Product Line Techniques , 2009, IEEE Software.

[4]  Bernhard Rumpe,et al.  Towards Compositional Domain Specific Languages , 2013, MPM@MoDELS.

[5]  Arie van Deursen,et al.  Domain-specific languages: an annotated bibliography , 2000, SIGP.

[6]  Robert C. Martin,et al.  OO Design Quality Metrics , 1997 .

[7]  Tewfik Ziadi,et al.  RobotML, a Domain-Specific Language to Design, Simulate and Deploy Robotic Applications , 2012, SIMPAR.

[8]  Eelco Visser,et al.  Declarative Access Control for WebDSL: Combining Language Integration and Separation of Concerns , 2008, 2008 Eighth International Conference on Web Engineering.

[9]  Markus Völter,et al.  Language and IDE Modularization and Composition with MPS , 2011, GTTSE.

[10]  Eelco Visser,et al.  DSL Engineering - Designing, Implementing and Using Domain-Specific Languages , 2013 .

[11]  Sebastian Wrede,et al.  A Survey on Domain-specific Modeling and Languages in Robotics , 2016 .

[12]  Christian Schlegel,et al.  Robotic Software Systems: From Code-Driven to Model-Driven Software Development , 2012 .

[13]  Ulrik Pagh Schultz,et al.  Generalized programming of modular robots through kinematic configurations , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[14]  Darwin G. Caldwell,et al.  A Domain Specific Language for kinematic models and fast implementations of robot dynamics algorithms , 2013, ArXiv.

[15]  Jochen J. Steil,et al.  Modeling of movement control architectures based on motion primitives using domain-specific languages , 2015, 2015 IEEE International Conference on Robotics and Automation (ICRA).

[16]  Gabor Karsai,et al.  Design Guidelines for Domain Specific Languages , 2014, ArXiv.

[17]  Herman Bruyninckx,et al.  The BRICS component model: a model-based development paradigm for complex robotics software systems , 2013, SAC '13.

[18]  Charles Simonyi,et al.  Intentional software , 2006, OOPSLA '06.

[19]  Zaur Molotnikov,et al.  Implementing modular domain specific languages and analyses , 2012, MoDeVVa '12.

[20]  A. K. Ramadorai,et al.  A generic kinematics software package , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[21]  Charles Lesire,et al.  Mauve: a Component-based Modeling Framework for Real-time Analysis of Robotic Applications. , 2012 .

[22]  Francisco José Ortiz Zaragoza,et al.  V3CMM: a 3-view component meta-model for model-driven robotic software development , 2010 .

[23]  Andreas Pott,et al.  BRICS - Best practice in robotics , 2010, ISR/ROBOTIK.

[24]  J. Buchli,et al.  Model based code generation for kinematics and dynamics computations in robot controllers , 2012 .