LTL Guided Planning: Revisiting Automatic Tool Composition in ETI

Authors:
Tiziana Margaria;Bernhard Steffen
Affiliations:
-;-
Venue:
SEW '07 Proceedings of the 31st IEEE Software Engineering Workshop
Year:
2007

Citing 0
Cited 4

A tag-based approach for the design and composition of information processing applications

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Mashup-based information retrieval for domain experts

Proceedings of the 18th ACM conference on Information and knowledge management
Synthesizing Semantic Web Service Compositions with jMosel and Golog

ISWC '09 Proceedings of the 8th International Semantic Web Conference
Seven variations of an alignment workflow: an illustration of agile process design and management in bio-jETI

ISBRA'08 Proceedings of the 4th international conference on Bioinformatics research and applications

Quantified Score

Hi-index	0.00

Visualization

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.