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
ASCII Text
x 
 
Tiziana Margaria, Bernhard Steffen, "LTL Guided Planning: Revisiting Automatic Tool Composition in ETI," Software Engineering Workshop, Annual IEEE/NASA Goddard, pp. 214-226, 31st IEEE Software Engineering Workshop (SEW 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/SEW.2007.101,
author = {Tiziana Margaria and Bernhard Steffen},
title = {LTL Guided Planning: Revisiting Automatic Tool Composition in ETI},
journal ={Software Engineering Workshop, Annual IEEE/NASA Goddard},
volume = {0},
year = {2007},
issn = {1550-6215},
pages = {214-226},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEW.2007.101},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering Workshop, Annual IEEE/NASA Goddard
TI - LTL Guided Planning: Revisiting Automatic Tool Composition in ETI
SN - 1550-6215
SP214
EP226
A1 - Tiziana Margaria,
A1 - Bernhard Steffen,
PY - 2007
VL - 0
JA - Software Engineering Workshop, Annual IEEE/NASA Goddard
ER -
 
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.