{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T23:15:45Z","timestamp":1784243745340,"version":"3.55.0"},"reference-count":114,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2021,2,23]],"date-time":"2021-02-23T00:00:00Z","timestamp":1614038400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,2,23]],"date-time":"2021-02-23T00:00:00Z","timestamp":1614038400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100004441","name":"SIDA","doi-asserted-by":"crossref","award":["BRIGHT"],"award-info":[{"award-number":["BRIGHT"]}],"id":[{"id":"10.13039\/100004441","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2021,8]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Mobile robots are becoming increasingly important in society. Fulfilling complex missions in different contexts and environments, robots are promising instruments to support our everyday live. As such, the task of defining the robot\u2019s mission is moving from professional developers and roboticists to the end-users. However, with the current state-of-the-art, defining missions is non-trivial and typically requires dedicated programming skills. Since end-users usually lack such skills, many commercial robots are nowadays equipped with environments and domain-specific languages tailored for end-users. As such, the software support for defining missions is becoming an increasingly relevant criterion when buying or choosing robots. Improving these environments and languages for specifying missions toward simplicity and flexibility is crucial. To this end, we need to improve our empirical understanding of the current state-of-the-art of such languages and their environments. In this paper, we contribute in this direction. We present a survey of 30 mission specification environments for mobile robots that come with a visual and end-user-oriented language. We explore the design space of these languages and their environments, identify their concepts, and organize them as features in a feature model. We believe that our results are valuable to practitioners and researchers designing the next generation of mission specification languages in the vibrant domain of mobile robots.<\/jats:p>","DOI":"10.1007\/s10270-020-00854-x","type":"journal-article","created":{"date-parts":[[2021,2,23]],"date-time":"2021-02-23T05:42:23Z","timestamp":1614058943000},"page":"1123-1158","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["A survey on the design space of end-user-oriented languages for specifying robotic missions"],"prefix":"10.1007","volume":"20","author":[{"given":"Swaib","family":"Dragule","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thorsten","family":"Berger","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claudio","family":"Menghi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,2,23]]},"reference":[{"key":"854_CR1","unstructured":"Ali, K.S., Balch, T.R., Cameron, J.M., Chen, Z., Endo, Y., Halliburton, W.C., Kaess, M., Kira, Z., Lee, J.B., MacKenzie, D.C., Martinson, E.B., Merrill, E.P., Ranganathan, A., Sgorbissa, A., Stoytchev, A., Ulam, P., Wagner, A.: User manual for MissionLab version 7.0. Technical report, Georgia Tech Mobile Robot Laboratory. https:\/\/www.cc.gatech.edu\/aimosaic\/robot-lab\/research\/MissionLab\/mlab_manual-7.0.pdf"},{"key":"854_CR2","unstructured":"Anki: Codelab for cozmo robot. http:\/\/www.anki.com\/en-us\/cozmo\/code-lab\/how-it-works (2020)"},{"key":"854_CR3","doi-asserted-by":"publisher","first-page":"64","DOI":"10.3389\/frobt.2016.00064","volume":"3","author":"M Arag\u00e3o","year":"2016","unstructured":"Arag\u00e3o, M., Moreno, P., Bernardino, A.: Middleware interoperability for robotics: a ROS-YARP framework. Front. Robot. AI 3, 64 (2016). https:\/\/doi.org\/10.3389\/frobt.2016.00064","journal-title":"Front. Robot. AI"},{"key":"854_CR4","unstructured":"Arcbotics: Arcbotics, learning with robots (2020). http:\/\/arcbotics.com\/lessons\/sparki\/"},{"key":"854_CR5","unstructured":"Ardublockly: Ardublockly. https:\/\/ardublockly.embeddedlog.com\/ (2020)"},{"key":"854_CR6","unstructured":"Arkin, R.: Missionlab: multiagent robotics meets visual programming. Working notes of Tutorial on Mobile Robot Programming Paradigms, ICRA 15 (2002)"},{"issue":"45","key":"854_CR7","doi-asserted-by":"publisher","first-page":"61","DOI":"10.19053\/01211129.v26.n45.2017.6054","volume":"26","author":"B Bacca-Cort\u00e9s","year":"2017","unstructured":"Bacca-Cort\u00e9s, B., Flori\u00e1n-Gaviria, B., Garc\u00eda, S., Rueda, S.: Development of a platform for teaching basic programming using mobile robots. Revista Facultad de Ingenier\u00eda 26(45), 61\u201370 (2017)","journal-title":"Revista Facultad de Ingenier\u00eda"},{"key":"854_CR8","doi-asserted-by":"crossref","unstructured":"Berger, T., Lettner, D., Rubin, J., Gr\u00fcnbacher, P., Silva, A., Becker, M., Chechik, M., Czarnecki, K.: What is a feature? a qualitative study of features in industrial software product lines. In: International Software Product Line Conference (SPLC) (2015)","DOI":"10.1145\/2791060.2791108"},{"key":"854_CR9","doi-asserted-by":"crossref","unstructured":"Berger, T., V\u00f6lter, M., Jensen, H.P., Dangprasert, T., Siegmund, J.: Efficiency of projectional editing: A controlled experiment. In: International Symposium on the Foundations of Software Engineering (FSE). ACM (2016)","DOI":"10.1145\/2950290.2950315"},{"key":"854_CR10","unstructured":"Biggs, G., Macdonald, B.: A survey of robot programming systems. In: Proceedings of the Australasian conference on robotics and automation, p.\u00a027 (2003)"},{"key":"854_CR11","doi-asserted-by":"crossref","unstructured":"Bozhinoski, D., Bucchiarone, A., Malavolta, I., Marconi, A., Pelliccione, P.: Leveraging collective run-time adaptation for UAV-based systems. In: Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE (2016)","DOI":"10.1109\/SEAA.2016.41"},{"key":"854_CR12","doi-asserted-by":"crossref","unstructured":"Bozhinoski, D., Di Ruscio, D., Malavolta, I., Pelliccione, P., Tivoli, M.: Flyaq: Enabling non-expert users to specify and generate missions of autonomous multicopters. In: International Conference on Automated Software Engineering (ASE). IEEE\/ACM (2015)","DOI":"10.1109\/ASE.2015.104"},{"key":"854_CR13","doi-asserted-by":"publisher","DOI":"10.2200\/S00441ED1V01Y201208SWE001","volume-title":"Model-Driven Software Engineering in Practice","author":"M Brambilla","year":"2012","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice. Morgan & Claypool Publishers, San Rafael (2012)"},{"key":"854_CR14","doi-asserted-by":"crossref","unstructured":"Bravo, F.A., Gonzalez, A.M., Gonzalez, E.: A review of intuitive robot programming environments for educational purposes. In: Conference on Automatic Control (CCAC). IEEE (2018)","DOI":"10.1109\/CCAC.2017.8276396"},{"issue":"1","key":"854_CR15","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1109\/MRA.2009.932127","volume":"16","author":"D Brugali","year":"2009","unstructured":"Brugali, D., Prassler, E.: Software engineering for robotics. IEEE Robot. Autom. Mag. 16(1), 9\u201315 (2009). https:\/\/doi.org\/10.1109\/MRA.2009.932127","journal-title":"IEEE Robot. Autom. Mag."},{"key":"854_CR16","unstructured":"Burnett, W.: Alternative programming languages for lego mindstorms. http:\/\/www.legoengineering.com\/alternative-programming-languages\/ (2020)"},{"key":"854_CR17","unstructured":"Burnett, W.: Blockly. https:\/\/developers.google.com\/blockly\/ (2020)"},{"key":"854_CR18","unstructured":"Button, R.W., Kamp, J., Curtin, T.B., Dryden, J.: A survey of missions for unmanned undersea vehicles. Technical report (2009)"},{"key":"854_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.scico.2016.06.002","volume":"133","author":"M Campusano","year":"2017","unstructured":"Campusano, M., Fabry, J.: Live robot programming: the language, its implementation, and robot api independence. Sci. Comput. Program. 133, 1\u201319 (2017)","journal-title":"Sci. Comput. Program."},{"issue":"6","key":"854_CR20","first-page":"21","volume":"69","author":"D Caron","year":"2010","unstructured":"Caron, D.: Competitive robotics brings out the best in students. Tech Dir. 69(6), 21\u201324 (2010)","journal-title":"Tech Dir."},{"key":"854_CR21","doi-asserted-by":"publisher","unstructured":"Colledanchise, M., \u00d6gren, P.: Behavior trees in robotics and AI: an introduction (2018). https:\/\/doi.org\/10.1201\/9780429489105","DOI":"10.1201\/9780429489105"},{"key":"854_CR22","doi-asserted-by":"publisher","DOI":"10.1201\/9780429489105","volume-title":"Behavior Trees in Robotics and Al: An Introduction","author":"M Colledanchise","year":"2018","unstructured":"Colledanchise, M., \u00d6gren, P.: Behavior Trees in Robotics and Al: An Introduction. CRC Press, Boca Raton (2018)"},{"key":"854_CR23","doi-asserted-by":"publisher","DOI":"10.1201\/b21841","volume-title":"Engineering Modeling Languages: Turning Domain Knowledge into Tools","author":"B Combemale","year":"2016","unstructured":"Combemale, B., France, R., J\u00e9z\u00e9quel, J.M., Rumpe, B., Steel, J., Vojtisek, D.: Engineering Modeling Languages: Turning Domain Knowledge into Tools. CRC Press, Boca Raton (2016)"},{"key":"854_CR24","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Syst. J. 45, 621\u2013645 (2006)","journal-title":"IBM Syst. J."},{"key":"854_CR25","unstructured":"Di Ruscio, D., Malavolta, I., Pelliccione, P.: A family of domain-specific languages for specifying civilian missions of multi-robot systems. In: CEUR Workshop Proceedings, vol. 1319, pp. 16\u201329 (2014)"},{"issue":"01","key":"854_CR26","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1142\/S2301385013500052","volume":"01","author":"P Doherty","year":"2013","unstructured":"Doherty, P., Heintz, F., Kvarnstr\u00f6m, J.: High-level mission specification and planning for collaborative unmanned aircraft systems using delegation. Unmanned Syst. 01(01), 75\u2013119 (2013)","journal-title":"Unmanned Syst."},{"key":"854_CR27","doi-asserted-by":"crossref","unstructured":"Dragule, S., Garcia, S., Berger, T., Pelliccione, P.: Languages for specifying missions of robotic applications. In: Software Engineering for Robotics. Springer (2020)","DOI":"10.1007\/978-3-030-66494-7_12"},{"key":"854_CR28","unstructured":"EasyC: Easyc v5 for cortex and vex iq. http:\/\/www.intelitek.com\/engineering\/easyc\/ (2020)"},{"key":"854_CR29","unstructured":"Enchatnting: http:\/\/enchanting.robotclub.ab.ca\/tiki-index.php (2020)"},{"key":"854_CR30","volume-title":"Software Language Engineering","author":"S Erdweg","year":"2013","unstructured":"Erdweg, S., van der Storm, T., V\u00f6lter, M., Boersma, M., Bosman, R., Cook, W.R., Gerritsen, A., Hulshout, A., Kelly, S., Loh, A., et al.: The State of the Art in Language Workbenches. In: Erwig, M., Paige, R.F., Van Wyk, E. (eds.) Software Language Engineering. Springer, Berlin (2013)"},{"key":"854_CR31","unstructured":"EV3, L.M.: Apps. https:\/\/www.lego.com\/en-us\/mindstorms\/downloads\/download-software (2020)"},{"issue":"1","key":"854_CR32","first-page":"25","volume":"4","author":"E Fern\u00e1ndez-Perdomo","year":"2010","unstructured":"Fern\u00e1ndez-Perdomo, E., Cabrera-G\u00f3mez, J., Dom\u00ednguez-Brito, A.C., Hern\u00e1ndez-Sosa, D.: Mission specification in underwater robotics. J. Phys. Agents 4(1), 25\u201334 (2010)","journal-title":"J. Phys. Agents"},{"key":"854_CR33","unstructured":"FLYAQ: Graphical specification and execution of missions. http:\/\/www.flyaq.it\/ (2020)"},{"key":"854_CR34","doi-asserted-by":"publisher","unstructured":"Fojtik, R.: The ozobot and education of programming. New Trends Issues Proceed. Humanit. Soc. Sci. 4(5) (2017). https:\/\/doi.org\/10.18844\/prosoc.v4i5.2666","DOI":"10.18844\/prosoc.v4i5.2666"},{"key":"854_CR35","doi-asserted-by":"crossref","unstructured":"Garc\u00eda, S., Pelliccione, P., Menghi, C., Berger, T., Bures, T.: High-level mission specification for multiple robots. In: International conference on software language engineering. ACM (2019)","DOI":"10.1145\/3357766.3359535"},{"key":"854_CR36","doi-asserted-by":"crossref","unstructured":"Garcia, S., Pelliccione, P., Menghi, C., Berger, T., Bures, T.: Promise: high-level mission specification for multiple robots. In: International Conference on Software Engineering (ICSE), Demonstrations Track (2020)","DOI":"10.1145\/3377812.3382143"},{"key":"854_CR37","doi-asserted-by":"crossref","unstructured":"Garcia, S., Strueber, D., Brugali, D., Berger, T., Pelliccione, P.: Robotics software engineering: a perspective from the service robotics domain. In: International Symposium on the Foundations of Software Engineering (FSE). ACM (2020)","DOI":"10.1145\/3368089.3409743"},{"key":"854_CR38","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/978-3-319-64352-6_33","volume-title":"Online Engineering & Internet of Things","author":"J Garc\u00eda-Zub\u00eda","year":"2018","unstructured":"Garc\u00eda-Zub\u00eda, J., Angulo, I., Mart\u00ednez-Pieper, G., Ordu\u00f1a, P., Rodr\u00edguez-Gil, L., Hernandez-Jayo, U.: Learning to program in k12 using a remote controlled robot: roboblock. In: Auer, M., Zutin, D. (eds.) Online Engineering & Internet of Things, pp. 344\u2013358. Springer, Berlin (2018). https:\/\/doi.org\/10.1007\/978-3-319-64352-6_33"},{"key":"854_CR39","doi-asserted-by":"crossref","unstructured":"Ghzouli, R., Berger, T., Johnsen, E.B., Dragule, S., Wasowski, A.: Behavior trees in action: a study of robotics applications. In: International Conference on Software Language Engineering (SLE). ACM (2020)","DOI":"10.1145\/3410254"},{"issue":"12","key":"854_CR40","doi-asserted-by":"publisher","first-page":"1102","DOI":"10.1016\/j.robot.2011.07.009","volume":"59","author":"JF Gorostiza","year":"2011","unstructured":"Gorostiza, J.F., Salichs, M.A.: End-user programming of a social robot by dialog. Robot. Auton. Syst. 59(12), 1102\u20131114 (2011). https:\/\/doi.org\/10.1016\/j.robot.2011.07.009","journal-title":"Robot. Auton. Syst."},{"key":"854_CR41","unstructured":"Guide, A., Guide, B., Foundation, F.: Program tello drone to do back ips with scratch! https:\/\/www.aerial-guide.com\/article\/program-tello-drone-to-do-backflips-with-scratch (2020)"},{"key":"854_CR42","doi-asserted-by":"crossref","unstructured":"Hentout, A., Maoudj, A., Bouzouia, B.: A survey of development frameworks for robotics. In: International Conference on Modelling, Identification and Control (ICMIC). IEEE (2016)","DOI":"10.1109\/ICMIC.2016.7804217"},{"key":"854_CR43","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1016\/j.apergo.2016.05.011","volume":"58","author":"A Hocraffer","year":"2017","unstructured":"Hocraffer, A., Nam, C.S.: A meta-analysis of human-system interfaces in unmanned aerial vehicle (UAV) swarm management. Appl. Ergon. 58, 66\u201380 (2017)","journal-title":"Appl. Ergon."},{"key":"854_CR44","doi-asserted-by":"crossref","unstructured":"Holwerda, R., Hermans, F.: A usability analysis of blocks-based programming editors using cognitive dimensions. In: Symposium on Visual Languages and Human-Centric Computing (VL\/HCC), pp. 217\u2013225. IEEE (2018)","DOI":"10.1109\/VLHCC.2018.8506483"},{"key":"854_CR45","unstructured":"IAIS, F.: Open roberta lab. https:\/\/lab.open-roberta.org\/ (2020)"},{"key":"854_CR46","doi-asserted-by":"crossref","unstructured":"Ioannou, M., Bratitsis, T.: Teaching the notion of speed in kindergarten using the sphero sprk robot. In: International Conference on Advanced Learning Technologies. IEEE (2017)","DOI":"10.1109\/ICALT.2017.70"},{"key":"854_CR47","first-page":"37","volume":"18","author":"EM Jarvinen","year":"2007","unstructured":"Jarvinen, E.M., Karsikas, A., Hintikka, J.: Children as innovators in action\u2013a study of microcontrollers in finnish comprehensive schools. J. Technol. Educ. 18, 37\u201352 (2007)","journal-title":"J. Technol. Educ."},{"key":"854_CR48","doi-asserted-by":"crossref","unstructured":"Jost, B., Ketterl, M., Budde, R., Leimbach, T.: Graphical programming environments for educational robots: Open roberta\u2014yet another one? In: International Symposium on Multimedia. IEEE (2014)","DOI":"10.1109\/ISM.2014.24"},{"issue":"12","key":"854_CR49","first-page":"12","volume":"3","author":"LA Junior","year":"2013","unstructured":"Junior, L.A., Neto, O.T., Hernandez, M.F., Martins, P.S., Roger, L.L., Guerra, F.A.: A low-cost and simple arduino-based educational robotics kit. J. Sel. Areas Robot. Control (JSRC) 3(12), 12 (2013)","journal-title":"J. Sel. Areas Robot. Control (JSRC)"},{"key":"854_CR50","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.S.: Feature-oriented domain analysis (FODA) feasibility study. Software Engineering Institute, Universitas Carnegie Mellon, Pittsburgh, Pennsylvania (1990)","DOI":"10.21236\/ADA235785"},{"key":"854_CR51","unstructured":"Kau\u010di\u010d, B., Asi\u010d, T.: Improving introductory programming with scratch? In: Proceedings of the International Convention MIPRO. IEEE (2011)"},{"key":"854_CR52","doi-asserted-by":"publisher","DOI":"10.7146\/lom.v8i14.22183","author":"M Ketterl","year":"2016","unstructured":"Ketterl, M., Jost, B., Leimbach, T., Budde, R.: Open roberta\u2014a web based approach to visually program real educational robots. Int. J. Learn. Media (2016). https:\/\/doi.org\/10.7146\/lom.v8i14.22183","journal-title":"Int. J. Learn. Media"},{"issue":"1","key":"854_CR53","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1109\/THMS.2015.2480801","volume":"46","author":"A Kolling","year":"2016","unstructured":"Kolling, A., Walker, P., Chakraborty, N., Sycara, K., Lewis, M.: Human interaction with robot swarms: a survey. IEEE Trans. Hum. Mach. Syst. 46(1), 9\u201326 (2016)","journal-title":"IEEE Trans. Hum. Mach. Syst."},{"issue":"3","key":"854_CR54","first-page":"73","volume":"4","author":"\u00d6 Korkmaz","year":"2016","unstructured":"Korkmaz, \u00d6.: The effect of scratch and lego mindstorms ev3 based programming activities on academic achievement, problem solving skills and logical mathematical thinking skills of students. Malays. Online J. Educ. Sci. 4(3), 73\u201388 (2016)","journal-title":"Malays. Online J. Educ. Sci."},{"key":"854_CR55","unstructured":"Krishnan, A.: Turtlebot3blockly documentation. https:\/\/readthedocs.org\/projects\/turtlebot-3-blockly-wiki\/downloads\/pdf\/latest\/ (2020)"},{"key":"854_CR56","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-90800-7","volume-title":"Software languages: syntax, semantics, and metaprogramming","author":"R L\u00e4mmel","year":"2018","unstructured":"L\u00e4mmel, R.: Software languages: syntax, semantics, and metaprogramming. Springer, Berlin (2018)"},{"key":"854_CR57","unstructured":"Lane, A., Meyer, B., Mullins, J.: Robotics with Enchanting and LEGO NXT-A Project Based Introduction to Programming, version 1.1 edn. 2012 Monash University under a Creative Commons (2012)"},{"key":"854_CR58","doi-asserted-by":"crossref","unstructured":"Linsbauer, L., Berger, T., Gr\u00fcnbacher, P.: A classification of variation control systems. In: International Conference on Generative Programming: Concepts & Experience (GPCE). ACM (2017)","DOI":"10.1145\/3136040.3136054"},{"key":"854_CR59","doi-asserted-by":"crossref","unstructured":"Linsbauer, L., Schwaegerl, F., Berger, T., Gruenbacher, P.: Concepts of variation control systems. J. Syst. Soft. (2020). Preprint","DOI":"10.1016\/j.jss.2020.110796"},{"key":"854_CR60","unstructured":"Lotz, A.: Managing non-functional communication aspects in the entire life-cycle of a component-based robotic software system. Dissertation, Technische Universit\u00e4t M\u00fcnchen, M\u00fcnchen (2018)"},{"key":"854_CR61","unstructured":"Lourens, T.: Tivipe-tino\u2019s visual programming environment. In: International Computer Software and Applications Conference (COMPSAC). IEEE (2004)"},{"key":"854_CR62","unstructured":"Lourens, T.: Programming robots using tivipe\u2013a step by step approach using aldebaran\u2019s nao robots. Technical report, TiViPE, Netherlands (2011)"},{"key":"854_CR63","doi-asserted-by":"crossref","unstructured":"Lourens, T., Barakova, E.: User-friendly robot environment for creation of social scenarios. In: International Work-Conference on the Interplay Between Natural and Artificial Computation, (IWINAC). Springer (2011)","DOI":"10.1007\/978-3-642-21344-1_23"},{"issue":"8s","key":"854_CR64","first-page":"203","volume":"11","author":"GF Lozenko","year":"2014","unstructured":"Lozenko, G.F., Dzhenzher, V.O., Denisova, L.V.: Training future teachers in computer skills in extra-curricular activity with schoolchildren. Life Sci. J. 11(8s), 203 (2014)","journal-title":"Life Sci. J."},{"issue":"5","key":"854_CR65","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3342355","volume":"52","author":"M Luckcuck","year":"2019","unstructured":"Luckcuck, M., Farrell, M., Dennis, L., Dixon, C., Fisher, M.: Formal specification and verification of autonomous robotic systems: a survey. Comput. Surv. 52(5), 1\u201341 (2019). https:\/\/doi.org\/10.1145\/3342355","journal-title":"Comput. Surv."},{"issue":"1","key":"854_CR66","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1023\/A:1008807102993","volume":"4","author":"DC MacKenzie","year":"1997","unstructured":"MacKenzie, D.C., Arkin, R.C., Cameron, J.M.: Multiagent mission specification and execution. Auton. Robots 4(1), 29\u201352 (1997). https:\/\/doi.org\/10.1023\/A:1008807102993","journal-title":"Auton. Robots"},{"issue":"2","key":"854_CR67","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1109\/TMECH.2010.2042722","volume":"16","author":"S Magnenat","year":"2011","unstructured":"Magnenat, S., R\u00e9tornaz, P., Bonani, M., Longchamp, V., Mondada, F.: Aseba: a modular architecture for event-based control of complex robots. Trans. Mechatron. 16(2), 321\u2013329 (2011). https:\/\/doi.org\/10.1109\/TMECH.2010.2042722","journal-title":"Trans. Mechatron."},{"key":"854_CR68","unstructured":"Makeblock: Makeblock. https:\/\/www.makeblock.com\/software (2020)"},{"key":"854_CR69","doi-asserted-by":"crossref","unstructured":"Medeiros, A.A.: A survey of control architectures for autonomous mobile robots. J. Braz. Comput. Soc. 4(3) (1998)","DOI":"10.1590\/S0104-65001998000100004"},{"key":"854_CR70","doi-asserted-by":"crossref","unstructured":"Menghi, C., Tsigkanos, C., Berger, T., Pelliccione, P.: PsALM: Specification of dependable robotic missions. In: International Conference on Software Engineering (ICSE), Demonstrations Track. IEEE\/ACM (2019)","DOI":"10.1109\/ICSE-Companion.2019.00048"},{"key":"854_CR71","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2945329","author":"C Menghi","year":"2019","unstructured":"Menghi, C., Tsigkanos, C., Pelliccione, P., Ghezzi, C., Berger, T.: Specification patterns for robotic missions. Trans. Softw. Eng. (2019). https:\/\/doi.org\/10.1109\/TSE.2019.2945329","journal-title":"Trans. Softw. Eng."},{"key":"854_CR72","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1142\/9789812389701_0005","volume-title":"Handbook of Software Engineering and Knowledge Engineering: Volume II: Emerging Technologies","author":"T Menzies","year":"2002","unstructured":"Menzies, T.: Evaluation issues for visual programming languages. In: Chang, S.K. (ed.) Handbook of Software Engineering and Knowledge Engineering: Volume II: Emerging Technologies, pp. 93\u2013101. World Scientific, Singapore (2002)"},{"key":"854_CR73","unstructured":"Mesh, R.: Robot mesh studio. http:\/\/docs.robotmesh.com\/ide-project-page (2020)"},{"key":"854_CR74","unstructured":"Metabot: Metabot blockly. http:\/\/blocks.metabot.fr (2020)"},{"key":"854_CR75","unstructured":"Microbric: Edison software. http:\/\/meetedison.com\/robot-programming-software\/ (2020)"},{"key":"854_CR76","unstructured":"Microsoft: mindstorms. http:\/\/makecode.mindstorms.com (2020)"},{"key":"854_CR77","doi-asserted-by":"crossref","unstructured":"Miskam, M.A., Shamsuddin, S., Yussof, H., Omar, A.R., Muda, M.Z.: Programming platform for nao robot in cognitive interaction applications. In: International Symposium on Robotics and Manufacturing Automation (ROMA). IEEE (2014)","DOI":"10.1109\/ROMA.2014.7295877"},{"key":"854_CR78","doi-asserted-by":"crossref","unstructured":"Mohamed, N., Al-Jaroodi, J., Jawhar, I.: Middleware for robotics: a survey. In: International Conference on Robotics, Automation and Mechatronics, RAM, pp. 736\u2013742. IEEE (2008)","DOI":"10.1109\/RAMECH.2008.4681485"},{"issue":"6","key":"854_CR79","doi-asserted-by":"publisher","first-page":"756","DOI":"10.1109\/TSE.2009.67","volume":"35","author":"D Moody","year":"2009","unstructured":"Moody, D.: The physics of notations: toward a scientific basis for constructing visual notations in software engineering. Trans. Softw. Eng. 35(6), 756\u2013779 (2009). https:\/\/doi.org\/10.1109\/TSE.2009.67","journal-title":"Trans. Softw. Eng."},{"key":"854_CR80","doi-asserted-by":"crossref","unstructured":"Mordvinov, D., Litvinov, Y., Bryksin, T.: Trik studio: technical introduction. In: Conference of Open Innovations Association (FRUCT). IEEE (2017)","DOI":"10.23919\/FRUCT.2017.8071326"},{"key":"854_CR81","unstructured":"Multiplo: Minibloq. http:\/\/blog.minibloq.org\/ (2020)"},{"key":"854_CR82","doi-asserted-by":"crossref","unstructured":"Nesic, D., Krueger, J., Stanciulescu, S., Berger, T.: Principles of feature modeling. In: International Symposium on the Foundations of Software Engineering (FSE). ACM (2019)","DOI":"10.1145\/3338906.3338974"},{"issue":"1","key":"854_CR83","first-page":"75","volume":"7","author":"A Nordmann","year":"2016","unstructured":"Nordmann, A., Hochgeschwender, N., Wigand, D., Wrede, S.: A survey on domain-specific modeling and languages in robotics. J. Softw. Eng. Robot. 7(1), 75\u201399 (2016)","journal-title":"J. Softw. Eng. Robot."},{"key":"854_CR84","doi-asserted-by":"crossref","unstructured":"Nordmann, A., Hochgeschwender, N., Wrede, S.: A survey on domain-specific languages in robotics. In: Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR). Springer, Berlin (2014)","DOI":"10.1007\/978-3-319-11900-7_17"},{"key":"854_CR85","unstructured":"Ozobot: Ozoblockly. http:\/\/ozoblockly.com\/editor?lang=en&robot=bit&mode=2 (2020)"},{"key":"854_CR86","unstructured":"Parallax: Getting started with blocklyprop. https:\/\/learn.parallax.com\/tutorials\/language\/blocklyprop\/getting-started-blocklyprop (2019)"},{"key":"854_CR87","doi-asserted-by":"crossref","unstructured":"Passault, G., Rouxel, Q., Petit, F., Ly, O.: Metabot: A low-cost legged robotics platform for education. In: International Conference on Autonomous Robot Systems and Competitions (ICARSC). IEEE (2016)","DOI":"10.1109\/ICARSC.2016.52"},{"key":"854_CR88","doi-asserted-by":"publisher","unstructured":"Pasternak, E., Fenichel, R., Marshall, A.N.: Tips for creating a block language with blockly. In: Blocks and Beyond Workshop, B and B. IEEE (2017). https:\/\/doi.org\/10.1109\/BLOCKS.2017.8120404","DOI":"10.1109\/BLOCKS.2017.8120404"},{"key":"854_CR89","unstructured":"PICAXE: Picaxe. http:\/\/www.picaxe.com\/software (2020)"},{"key":"854_CR90","doi-asserted-by":"crossref","unstructured":"Pot, E., Monceaux, J., Gelin, R., Maisonnier, B.: Choregraphe: a graphical tool for humanoid robot programming. In: International Symposium on Robot and Human Interactive Communication. IEEE (2009)","DOI":"10.1109\/ROMAN.2009.5326209"},{"key":"854_CR91","doi-asserted-by":"crossref","unstructured":"Ray, C., Mondada, F., Siegwart, R.: What do people expect from robots? In: International Conference on Intelligent Robots and Systems. IEEE (2008)","DOI":"10.1109\/IROS.2008.4650714"},{"key":"854_CR92","doi-asserted-by":"publisher","first-page":"729","DOI":"10.1007\/s10514-015-9491-7","volume":"40","author":"C Robin","year":"2016","unstructured":"Robin, C., Lacroix, S.: Multi-robot target detection and tracking: taxonomy and survey. Auton. Robots 40, 729\u2013760 (2016)","journal-title":"Auton. Robots"},{"key":"854_CR93","unstructured":"Robmosys: Task-level composition for robotic behavior. https:\/\/robmosys.eu\/wiki\/composition:task:start (2019)"},{"key":"854_CR94","unstructured":"Robotc: Robotc\u2019s graphical feature. http:\/\/www.robotc.net\/graphical\/ (2020)"},{"key":"854_CR95","unstructured":"Robotical: Marty application. http:\/\/martytherobot.com\/users\/using-marty\/program\/scratch\/getting-started-with-scratch\/ (2020)"},{"key":"854_CR96","unstructured":"Robotics, S.: Documentation. http:\/\/doc.aldebaran.com\/1-14\/software\/choregraphe\/interface.html (2020)"},{"key":"854_CR97","unstructured":"Robotics, V.: Vex robotics. http:\/\/www.vexrobotics.com (2020)"},{"key":"854_CR98","doi-asserted-by":"crossref","unstructured":"Ruscio, D.D., Malavolta, I., Pelliccione, P., Tivoli, M.: Automatic generation of detailed flight plans from high-level mission descriptions. In: International Conference on Model Driven Engineering Languages and Systems. ACM (2016)","DOI":"10.1145\/2976767.2976794"},{"key":"854_CR99","doi-asserted-by":"crossref","unstructured":"Salcedo, S.L., Idrobo, A.M.O.: New tools and methodologies for programming languages learning using the scribbler robot and alice. IEEE (2011)","DOI":"10.1109\/FIE.2011.6142923"},{"key":"854_CR100","doi-asserted-by":"crossref","unstructured":"Schauss, S., L\u00e4mmel, R., H\u00e4rtel, J., Heinz, M., Klein, K., H\u00e4rtel, L., Berger, T.: A chrestomathy of dsl implementations. In: International Conference on Software Language Engineering (SLE). ACM (2017)","DOI":"10.1145\/3136014.3136038"},{"key":"854_CR101","unstructured":"Scratch: http:\/\/scratch.mit.edu\/projects\/editor\/?tutorial=ev3 (2020)"},{"key":"854_CR102","unstructured":"Shin, J., Siegwart, R., Magnenat, S.: Visual programming language for thymio ii robot. In: Conference on Interaction Design and Children (IDC\u201914). ETH Z\u00fcrich (2014)"},{"key":"854_CR103","unstructured":"Sphero: Sphero app. http:\/\/www.sphero.com\/education\/ (2020)"},{"key":"854_CR104","unstructured":"Sun, Y., Gray, J., Bulheller, K., von Baillou, N.: A model-driven approach to support engineering changes in industrial robotics software. In: International Conference on Model Driven Engineering Languages and Systems. Springer"},{"key":"854_CR105","unstructured":"Thymio: The aseba language. http:\/\/www.thymio.org\/en:start (2020)"},{"key":"854_CR106","unstructured":"Trikset: Trik studio. http:\/\/www.trikset.com\/products\/trik-studio (2020)"},{"key":"854_CR107","unstructured":"TurtleBot3Blockly: Turtlebot3 blockly. http:\/\/turtlebot-3-blockly-wiki.readthedocs.io\/en\/latest\/launchBlockly.html (2020)"},{"key":"854_CR108","doi-asserted-by":"crossref","unstructured":"Ulam, P., Endo, Y., Wagner, A., Arkin, R.: Integrated mission specification and task allocation for robot teams - design and implementation. In: International Conference on Robotics and Automation, pp. 4428\u20134435. IEEE (2007)","DOI":"10.1109\/ROBOT.2007.364161"},{"key":"854_CR109","first-page":"1","volume":"43","author":"E Vacchi","year":"2015","unstructured":"Vacchi, E., Cazzola, W.: Neverlang: a framework for feature-oriented language development. Comput. Lang. Syst. Struct. 43, 1\u201340 (2015)","journal-title":"Comput. Lang. Syst. Struct."},{"key":"854_CR110","doi-asserted-by":"crossref","unstructured":"Vacchi, E., Cazzola, W., Pillay, S., Combemale, B.: Variability support in domain-specific language development. In: International Conference on Software Language Engineering (SLE). Springer (2013)","DOI":"10.1007\/978-3-319-02654-1_5"},{"issue":"4","key":"854_CR111","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/s10798-015-9324-1","volume":"26","author":"C Vandevelde","year":"2016","unstructured":"Vandevelde, C., Wyffels, F., Ciocci, M.C., Vanderborght, B., Saldien, J.: Design and evaluation of a diy construction system for educational robot kits. Int. J. Technol. Des. Educ. 26(4), 521\u2013540 (2016). https:\/\/doi.org\/10.1007\/s10798-015-9324-1","journal-title":"Int. J. Technol. Des. Educ."},{"key":"854_CR112","doi-asserted-by":"crossref","unstructured":"V\u00f6lter, M., Siegmund, J., Berger, T., Kolb, B.: Towards user-friendly projectional editors. In: International Conference on Software Language Engineering (SLE). Springer (2014)","DOI":"10.1007\/978-3-319-11245-9_3"},{"key":"854_CR113","doi-asserted-by":"crossref","unstructured":"Weintrop, D., Afzal, A., Salac, J., Francis, P., Li, B., Shepherd, D.C., Franklin, D.: Evaluating coblox: A comparative study of robotics programming environments for adult novices. In: Conference on Human Factors in Computing Systems (CHI). ACM (2018)","DOI":"10.1145\/3170427.3186599"},{"key":"854_CR114","unstructured":"Wiedu: Tello eduapp. http:\/\/www.wiedu.com\/telloedu\/index_en.html (2020)"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00854-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-020-00854-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00854-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,31]],"date-time":"2021-08-31T18:00:22Z","timestamp":1630432822000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-020-00854-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,23]]},"references-count":114,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,8]]}},"alternative-id":["854"],"URL":"https:\/\/doi.org\/10.1007\/s10270-020-00854-x","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,2,23]]},"assertion":[{"value":"23 November 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 September 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 October 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 February 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}