loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.
Citation:
Tiziana Margaria, Bernhard Steffen, "LTL Guided Planning: Revisiting Automatic Tool Composition in ETI," sew, pp.214-226, 31st IEEE Software Engineering Workshop (SEW 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.