@inproceedings{d4dc47b7c1db47bcb20245575e862eef,
title = "LTL guided planning: Revisiting automatic tool composition in ETI",
abstract = "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.",
author = "Tiziana Margaria and Bernhard Steffen",
year = "2007",
doi = "10.1109/SEW.2007.63",
language = "English",
isbn = "0769528627",
series = "Proceedings - International Conference on Software Engineering",
pages = "214--223",
booktitle = "31st Annual IEEE Software Engineering Workshop, SEW-31 2007 - Proceedings",
note = "31st Annual IEEE Software Engineering Workshop, SEW-31 2007 ; Conference date: 06-03-2007 Through 08-03-2007",
}