Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
A Relational Notation for State Transition Systems
IEEE Transactions on Software Engineering
Handbook of theoretical computer science (vol. B)
Efficient implementation of a BDD package
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Symbolic model checking: 1020 states and beyond
Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
Finite transition systems: semantics of communicating systems
Finite transition systems: semantics of communicating systems
High performance BDD package by exploiting memory hierarchy
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Using temporal logics to express search control knowledge for planning
Artificial Intelligence
Formalizing sensing actions—a transition function based approach
Artificial Intelligence
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Symbolic Model Checking
On the Synthesis of an Asynchronous Reactive Module
ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
Synthesis from Knowledge-Based Specifications (Extended Abstract)
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
DAML-S: Web Service Description for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
An Automata-Theoretic Approach to Fair Realizability and Synthesis
Proceedings of the 7th International Conference on Computer Aided Verification
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Planning with a language for extended goals
Eighteenth national conference on Artificial intelligence
Automatic Synthesis of Controllers from Formal Specifications
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Weak, strong, and strong cyclic planning via symbolic model checking
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Web Service Composition in UML
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Constraint Driven Web Service Composition in METEOR-S
SCC '04 Proceedings of the 2004 IEEE International Conference on Services Computing
Automatic composition of transition-based semantic web services with messaging
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Automated Synthesis of Composite BPEL4WS Web Services
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Web Services Composition: A Story of Models, Automata, and Logics
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Specifying Data-Flow Requirements for the Automated Composition of Web Services
SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
YAWL: yet another workflow language
Information Systems
Optimizations for LTL Synthesis
FMCAD '06 Proceedings of the Formal Methods in Computer Aided Design
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
ICDCS '07 Proceedings of the 27th International Conference on Distributed Computing Systems
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
At Your Service: Service-Oriented Computing from an EU Perspective
At Your Service: Service-Oriented Computing from an EU Perspective
An Analysis of Diversity in Electronic Commerce Research
International Journal of Electronic Commerce
Control Flow Requirements for Automated Service Composition
ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
Regression with respect to sensing actions and partial states
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Automatic synthesis of a global behavior from multiple distributed behaviors
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Fusing procedural and declarative planning goals for nondeterministic domains
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
The FF planning system: fast plan generation through heuristic search
Journal of Artificial Intelligence Research
Automatic synthesis of new behaviors from a library of available behaviors
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Universal plans for reactive robots in unpredictable environments
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Planning in nondeterministic domains under partial observability via symbolic model checking
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Planning as model checking for extended goals in non-deterministic domains
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Automated composition of web services by planning at the knowledge level
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Artemis: Deploying semantically enriched Web services in the healthcare domain
Information Systems
HTN planning for Web Service composition using SHOP2
Web Semantics: Science, Services and Agents on the World Wide Web
Synthy: A system for end to end composition of web services
Web Semantics: Science, Services and Agents on the World Wide Web
Anzu: a tool for property synthesis
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Automatically composing data workflows with relational descriptions and shim services
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Automated generation of BPEL adapters
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Implicit vs. explicit data-flow requirements in web service composition goals
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Towards semi-automated workflow-based aggregation of web services
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Composition of services with nondeterministic observable behavior
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Web service composition via generic procedures and customizing user preferences
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Synthesis of reactive(1) designs
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
The disappearing boundary between development-time and run-time
Proceedings of the FSE/SDP workshop on Future of software engineering research
Adaptive composition of conversational services through graph planning encoding
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Conceptual modeling approaches for dynamic web service composition
The evolution of conceptual modeling
Dealing with changes in service orchestrations
Proceedings of the 27th Annual ACM Symposium on Applied Computing
On supervising agents in situation-determined ConGolog
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
SAP speaks PDDL: exploiting a software-engineering model for planning in business process management
Journal of Artificial Intelligence Research
Interface-Based service composition with aggregation
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
Satisfying requirements for pervasive service compositions
Proceedings of the 7th Workshop on Models@run.time
Automatic behavior composition synthesis
Artificial Intelligence
Semi-Automated Software Composition Through Generated Components
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Action-model acquisition from noisy plan traces
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Refining incomplete planning domain models through plan traces
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
The WTE+ framework: automated construction and runtime adaptation of service mashups
Automated Software Engineering
Goal-based business service composition
Service Oriented Computing and Applications
Hi-index | 0.00 |
The service-oriented paradigm promises a novel degree of interoperability between business processes, and is leading to a major shift in way distributed applications are designed and realized. While novel and more powerful services can be obtained, in such setting, by suitably orchestrating existing ones, manually developing such orchestrations is highly demanding, time-consuming and error-prone. Providing automated service composition tools is therefore essential to reduce the time to market of services, and ultimately to successfully enact the service-oriented approach. In this paper, we show that such tools can be realized based on the adoption and extension of powerful AI planning techniques, taking the ''planning via model-checking'' approach as a stepping stone. In this respect, this paper summarizes and substantially extends a research line that started early in this decade and has continued till now. Specifically, this work provides three key contributions. First, we describe a novel planning framework for the automated composition of Web services, which can handle services specified and implemented using industrial standard languages for business processes modeling and execution, like ws-bpel. Since these languages describe stateful Web services that rely on asynchronous communication primitives, a distinctive aspect of the presented framework is its ability to model and solve planning problems for asynchronous domains. Second, we formally spell out the theory underlying the framework, and provide algorithms to solve service composition in such framework, proving their correctness and completeness. The presented algorithms significantly extend state-of-the-art techniques for planning under uncertainty, by allowing the combination of asynchronous domains according to behavioral requirements. Third, we provide and discuss an implementation of the approach, and report extensive experimental results which demonstrate its ability to scale up to significant cases for which the manual development of ws-bpel composed services is far from trivial and time consuming.