LTL Guided Planning: Revisiting Automatic Tool Composition in ETI

We revisit the automatic tool composition feature of the Electronic Tool Integration platform under the perspective of planning. It turns out that in todays terminology, ETIs temporal logic-based synthesis of tool sequences is a form of planning-based automated orchestration. In contrast to AI-based planning approaches, our synthesis approach is not restricted to compute one solution, but it may compute all (shortest/minimal) solutions, with the intent to provide maximum insight into the potential design space.

• Type: Conference
• Year: 2007
• Where: SEW
• Authors: Tiziana Margaria, Bernhard Steffen
• Keywords: Automatic Tool Composition, SEW 2007, Software Engineering, Temporal Logic-based Synthesis, Tool Integration Platform