31st IEEE Software Engineering Workshop (SEW 2007)
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI
Columbia, MD, USA
March 06-March 08
ISBN: 0-7695-2862-7
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.