P
Paolo Traverso
Researcher at fondazione bruno kessler
Publications - 131
Citations - 12036
Paolo Traverso is an academic researcher from fondazione bruno kessler. The author has contributed to research in topics: Web service & Model checking. The author has an hindex of 39, co-authored 129 publications receiving 11732 citations. Previous affiliations of Paolo Traverso include Center for Information Technology & University of Trento.
Papers
More filters
Journal Article
ASTRO : Supporting composition and execution of web services
Michele Trainotti,Marco Pistore,Gaetano Calabrese,Gabriele Zacco,Gigi Lucchese,Fabio Barbon,Piergiorgio Bertoli,Paolo Traverso +7 more
TL;DR: In this article, the ASTRO toolset (http://www.astroproject.org), a set of tools that extend existing platforms for web service design and execution with automated composition and execution monitoring functionalities.
Proceedings Article
Contingent planning with goal preferences
TL;DR: This paper formalizes the notion of optimal conditional plan, and describes a correct and complete planning algorithm that is guaranteed to find optimal solutions, using BDD-based techniques.
Symbolic Techniques for Planning with Extended Goals in Non-Deterministic Domains
TL;DR: A planning algorithm for extended goals that makes use of BDD-based symbolic model checking techniques and shows that, in spite of the difficulty of the problem, MBP deals in practice with domains of large size and with goals of a certain complexity.
Proceedings Article
Planning with failure
TL;DR: A theory of planning is presented that provides a language that allows us to express failure, a declarative formal semantics for this language, and a logic for reasoning about (possibly failing) plans.
Book ChapterDOI
Implicit vs. explicit data-flow requirements in web service composition goals
TL;DR: Two different approaches to specify data-flow requirements in Web service composition problems, i.e., requirements on data that are exchanged among component services, are compared through an experimental evaluation.