Write a Blog >>
Onward! 2018
Wed 7 - Thu 8 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
Wed 7 Nov 2018 14:00 - 14:30 at The Loft - DSLs and Language Design Principles Chair(s): Stefan Marr

We present an expressive, concise, and extendable domain specific language for planning of assembly systems, such as industrial human robot cooperation. Increased flexibility requirements in manufacturing processes call for more automation at the description and planning stages of manufacturing. Procedural models are good candidates to meet this demand as programs offer a high degree of flexibility and are easily composed.

Furthermore, we aim to make our programs close to declarative specification and integrate automatic reasoning tools to help the users. The constraints come both from specific programs and pre-existing knowledge base from the target domain. The case of human robot collaboration is interesting as there is a number of constraints and regulations around this domain. Unfortunately, automated reasoners are often too unpredictable and cannot be used directly by non-experts.

In this paper, we present our domain specific language ``Tool Ontology and Optimization Language'' (TOOL) and describe how we integrated automated reasoners and planners in a way that makes them accessible to users which have little programming knowledge, but expertise in manufacturing domain and no previous experience with or knowledge about the underlying reasoners. We present encouraging results by applying TOOL to a case study from the automotive and aerospace industry.

Wed 7 Nov

13:30 - 15:00: Onward! Papers - DSLs and Language Design Principles at The Loft
Chair(s): Stefan MarrUniversity of Kent
onward-2018-papers13:30 - 14:00
Antranig Basman, Clayton LewisUniversity of Colorado Boulder, Colin Clark
onward-2018-papers14:00 - 14:30