LTL Guided Planning: Revisiting Automatic Tool Composition in ETI
Tiziana Margaria, Bernhard Steffen · Annual Software Engineering Workshop · 2007
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 Al-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.