Algebraic theory of processes
A Calculus of Communicating Systems
A Calculus of Communicating Systems
The Self-Serv Environment for Web Services Composition
IEEE Internet Computing
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Composing Web services on the Semantic Web
The VLDB Journal — The International Journal on Very Large Data Bases
Service-Oriented Architecture: A Field Guide to Integrating XML and Web Services
Service-Oriented Architecture: A Field Guide to Integrating XML and Web Services
Describing and Reasoning on Web Services using Process Algebra
ICWS '04 Proceedings of the IEEE International Conference on Web Services
A service creation environment based on end to end composition of Web services
WWW '05 Proceedings of the 14th international conference on World Wide Web
Automatic composition of transition-based semantic web services with messaging
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Tools for composite web services: a short overview
ACM SIGMOD Record
Automated Synthesis of Composite BPEL4WS Web Services
ICWS '05 Proceedings of the IEEE International Conference on Web Services
A framework for semantic web services discovery
Proceedings of the 7th annual ACM international workshop on Web information and data management
Challenges and Solutions for Model Driven Web Service Composition
WETICE '05 Proceedings of the 14th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprise
Service-oriented architecture: programming model and product architecture
IBM Systems Journal
Representing, analysing and managing web service protocols
Data & Knowledge Engineering - Special issue: ER 2004
WSBen: A Web Services Discovery and Composition Benchmark
ICWS '06 Proceedings of the IEEE International Conference on Web Services
SEMAPLAN: Combining Planning with Semantic Matching to Achieve Web Service Composition
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Decentralized Orchestration of CompositeWeb Services
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications
ICTAI '06 Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence
Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach
ECOWS '06 Proceedings of the European Conference on Web Services
A survey on web services composition
International Journal of Web and Grid Services
Automated composition of web services by planning at the knowledge level
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
HTN planning for Web Service composition using SHOP2
Web Semantics: Science, Services and Agents on the World Wide Web
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Modeling web services by iterative reformulation of functional and non-functional requirements
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
DILS'05 Proceedings of the Second international conference on Data Integration in the Life Sciences
A survey of automated web service composition methods
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Representing and reasoning with qualitative preferences for compositional systems
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
Web services are fast emerging as the technology of choice to build distributed information systems in multiple domains including e-Business and e-Science. An important challenge is to develop methodologies and tools that enable (semi-) automatic composition of services by taking into account the functional, non-functional and behavioral requirements of the service developer. This paper presents the fundamental concepts and issues related to service composition and provides a representative sample of existing work proposed by the AI planning and formal methods communities to address some of the challenges in service composition. It also provides a brief introduction to an iterative and incremental technique for modeling composite Web services proposed by the authors.