Title :
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI
Author :
Margaria, T. ; Steffen, Bernhard
Author_Institution :
Univ. of Potsdam, Potsdam
fDate :
March 6 2007-Feb. 8 2007
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 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.
Keywords :
formal verification; planning; software tools; temporal logic; automatic tool composition; electronic tool integration platform; formal verification; planning-based automated orchestration; temporal logic-based synthesis; Animation; Automatic programming; Hypertext systems; Ontologies; Prototypes; Search engines; Software engineering; Specification languages; Taxonomy; Terminology;
Conference_Titel :
Software Engineering Workshop, 2007. SEW 2007. 31st IEEE
Conference_Location :
Columbia, MD
Print_ISBN :
978-0-7695-2862-5
DOI :
10.1109/SEW.2007.63
