loading...
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI
Columbia, MD, USA March 06-March 08
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEW.2007.10131st IEEE Software Engineering Worksh ...
 This Article 
 
PDF
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.