MFPS '92 Selected papers of the conference on Meeting on the mathematical foundations of programming semantics, part I : linear logic: linear logic
On the &pgr;-calculus and linear logic
MFPS '92 Selected papers of the conference on Meeting on the mathematical foundations of programming semantics, part I : linear logic: linear logic
A Deductive Approach to Program Synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
IEEE Intelligent Systems
Adaptive and Dynamic Service Composition in eFlow
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Modeling and Composing Service-Based nd Reference Process-Based Multi-enterprise Processes
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Developing E-Services for Composing E-Services
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Web Agents Cooperating Deductively
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Towards patterns of web services composition
Patterns and skeletons for parallel and distributed computing
Composing Web services on the Semantic Web
The VLDB Journal — The International Journal on Very Large Data Bases
Logic-based Web Services Composition: From Service Description to Process Model
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
Efficient and adaptive discovery techniques of Web Services handling large data sets
Journal of Systems and Software
Challenges and techniques on the road to dynamically compose web services
ICWE '06 Proceedings of the 6th international conference on Web engineering
A Workflow-Based Web Service Composition System
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Syndicating Web Services: A QoS and user-driven approach
Decision Support Systems
Semantics-based automatic composition of geospatial Web service chains
Computers & Geosciences
Computer integrated construction: A review and proposals for future direction
Advances in Engineering Software
Modeling process-driven and service-oriented architectures using patterns and pattern primitives
ACM Transactions on the Web (TWEB)
Digital ecosystems: evolving service-orientated architectures
Proceedings of the 1st international conference on Bio inspired models of network, information and computing systems
Web service usage mining: mining for executable sequences
ACS'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Computer Science - Volume 7
Exploiting web service techniques for composing simulation models
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
An ontology-based framework for bioinformatics workflows
International Journal of Bioinformatics Research and Applications
Classification of the state-of-the-art dynamic web services composition techniques
International Journal of Web and Grid Services
A framework towards web services composition modelling and execution
International Journal of Web and Grid Services
A survey of patterns for Service-Oriented Architectures
International Journal of Internet Protocol Technology
A reference model for dynamic web service composition systems
International Journal of Web and Grid Services
Immune-Inspired Online Method for Service Interactions Detection
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Pattern Based Composition of Web Services for Symbolic Computations
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part I
Journal of Biomedical Informatics
Modelling and analysing interoperability in service compositions using COSMO
Enterprise Information Systems - Challenges and Solutions in Enterprise Computing - 11th International IEEE EDOC Conference (EDOC 2007)
A Logical Reasoning Approach to Automatic Composition of Stateless Components
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Towards automated web service composition with fluent calculus and domain ontologies
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Commitment-based service coordination
International Journal of Agent-Oriented Software Engineering
W2GIS '08 Proceedings of the 8th International Symposium on Web and Wireless Geographical Information Systems
Discovering semantic associations among Web services based on the qualitative probabilistic network
Expert Systems with Applications: An International Journal
A development framework for component-based agent-oriented business services
International Journal of Agent-Oriented Software Engineering
Proceedings of the ACM/IFIP/USENIX 2006 International Conference on Middleware
Improving the responsiveness of internet services with automatic cache placement
Proceedings of the 4th ACM European conference on Computer systems
Semantic Web-based geospatial knowledge transformation
Computers & Geosciences
Composing semantic Web services under constraints
Expert Systems with Applications: An International Journal
Assembling Composite Web Services from Autonomous Components
Proceedings of the 2007 conference on Emerging Artificial Intelligence Applications in Computer Engineering: Real Word AI Systems with Applications in eHealth, HCI, Information Retrieval and Pervasive Technologies
Plan-Based Configuration of a Group of Robots
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Synthesis and Composition of Web Services
Formal Methods for Web Services
P2S: A Methodology to Enable Inter-organizational Process Design through Web Services
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Model-driven development of mediation for business services using COSMO
Enterprise Information Systems - Towards Model-driven Service-oriented Enterprise Computing - 12th International IEEE EDOC Enterprise Computing Conference (EDOC 2008)
Automatic composition of Learning Grid Portlets: a comparison of syntactic and semantic approaches
International Journal of Grid and Utility Computing
Semantic annotations for web services discovery and composition
Computer Standards & Interfaces
Personalised Web Experiences: Seamless Adaptivity across Web Service Composition and Web Content
UMAP '09 Proceedings of the 17th International Conference on User Modeling, Adaptation, and Personalization: formerly UM and AH
Web services integration on the fly for service-oriented computing and simulation
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Composition of mismatched web services in distributed service oriented design activities
Advanced Engineering Informatics
Design and implementation of Sator: A web service aggregator
ACM Transactions on Software Engineering and Methodology (TOSEM)
Achieving coordination through dynamic construction of open workflows
Proceedings of the 10th ACM/IFIP/USENIX International Conference on Middleware
An Integrated Declarative Approach to Web Services Composition and Monitoring
WISE '09 Proceedings of the 10th International Conference on Web Information Systems Engineering
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
K4R --- Knowledge to the Power of RESTful, Resourceful and Reactive Rules
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
EPN-Based Web Service Composition Approach
WISM '09 Proceedings of the International Conference on Web Information Systems and Mining
Augmenting geospatial data provenance through metadata tracking in geospatial service chaining
Computers & Geosciences
Synthy: A system for end to end composition of web services
Web Semantics: Science, Services and Agents on the World Wide Web
Chemical-inspired self-composition of competing services
Proceedings of the 2010 ACM Symposium on Applied Computing
Web service composition: a reality check
WISE'07 Proceedings of the 8th international conference on Web information systems engineering
Web service search: who, when, what, and how
WISE'07 Proceedings of the 2007 international conference on Web information systems engineering
A large-scale semantic grid repository
PPAM'07 Proceedings of the 7th international conference on Parallel processing and applied mathematics
Affordances in an ecology of physically embedded intelligent systems
Proceedings of the 2006 international conference on Towards affordance-based robot control
Commitment-based service coordination
SOCASE'08 Proceedings of the 2008 AAMAS international conference on Service-oriented computing: agents, semantics, and engineering
A monolithic approach to automated composition of semantic web services with the Event Calculus
Knowledge-Based Systems
Autonomic computing control of composed web services
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Achieving coordination through dynamic construction of open workflows
Middleware'09 Proceedings of the ACM/IFIP/USENIX 10th international conference on Middleware
A Bidirectional Heuristic Search for web service composition with costs
International Journal of Web and Grid Services
Web service composition using fluent calculus
International Journal of Metadata, Semantics and Ontologies
Automated composition of web services with the abductive event calculus
Information Sciences: an International Journal
Semi-automated service composition using visual contracts
Proceedings of the 7th International Conference on Frontiers of Information Technology
A Proximity-Based Self-Organizing Framework for Service Composition and Discovery
CCGRID '10 Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing
The Knowledge Engineering Review
QoS-enabled and self-adaptive connectors for Web Services composition and coordination
Computer Languages, Systems and Structures
Mining social tags to predict mashup patterns
SMUC '10 Proceedings of the 2nd international workshop on Search and mining user-generated contents
Applying fluent calculus for automated and dynamic semantic web service composition
Proceedings of the 1st International Conference on Intelligent Semantic Web-Services and Applications
Semi-automatic discovery of web services driven by user requirements
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part I
Dynamic tags for dynamic data web services
Proceedings of the 5th International Workshop on Enhanced Web Service Technologies
Dynamic adaptive service architecture - towards coordinated service composition
ECSA'10 Proceedings of the 4th European conference on Software architecture
Managing web services in SOKU systems
ACIIDS'10 Proceedings of the Second international conference on Intelligent information and database systems: Part II
Towards runtime discovery, selection and composition of semantic services
Computer Communications
On the support of dynamic service composition at runtime
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Service composition for everyone: a study of risks and benefits
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Quality-assured and sociality-enriched multimedia mobile mashup
EURASIP Journal on Wireless Communications and Networking - Special issue on multimedia communications over next generation wireless networks
A complementary ubiquitous service bundling method using service complementarity index
Expert Systems with Applications: An International Journal
Ontology-driven pervasive service composition for everyday life
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
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
CPN-TWS: a coloured petri-net approach for transactional-QoS driven Web Service composition
International Journal of Web and Grid Services
Organisation-based (re)planning for web service composition
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
OntoPipeliner: An ontology-based automatic semantic service pipeline generator
Expert Systems with Applications: An International Journal
Information Systems and e-Business Management
A framework for automatically supporting end-users in service composition
The smart internet
Service research challenges and solutions for the future internet
Conceptual modeling approaches for dynamic web service composition
The evolution of conceptual modeling
A declarative approach to enable flexible and dynamic service compositions
Proceedings of the 33rd International Conference on Software Engineering
A framework for automatically supporting end-users in service composition
The smart internet
Contemporary web service discovery mechanisms
Journal of Web Engineering
AI planning-based semantic web service composition
International Journal of Innovative Computing and Applications
Goal-based behavioral customization of information systems
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Digital Ecosystems: Ecosystem-Oriented Architectures
Natural Computing: an international journal
Ontology-driven service composition for end-users
Service Oriented Computing and Applications
A relaxable service selection algorithm for QoS-based web service composition
Information and Software Technology
Towards a compiler for business-IT systems: a vision statement complemented with a research agenda
CEE-SET'08 Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques
The SENSORIA reference modelling language
Rigorous software engineering for service-oriented systems
Electronic health record data-as-a-services composition based on query rewriting
Transactions on large-scale data- and knowledge-centered systems IV
Yet another BPEL extension for user interactions
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
An approach towards automatic workflow composition through information retrieval
Proceedings of the 15th Symposium on International Database Engineering & Applications
Middleware'06 Proceedings of the 7th ACM/IFIP/USENIX international conference on Middleware
A model-based framework for developing and deploying data aggregation services
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
A unified approach to adaptive hypermedia personalisation and adaptive service composition
AH'06 Proceedings of the 4th international conference on Adaptive Hypermedia and Adaptive Web-Based Systems
E-service/process composition through multi-agent constraint management
BPM'06 Proceedings of the 4th international conference on Business Process Management
Future Generation Computer Systems
Dynamic planning approach to automated web service composition
Applied Intelligence
A mixed initiative semantic web framework for process composition
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
A bidirectional heuristic search technique for web service composition
ICCSA'10 Proceedings of the 2010 international conference on Computational Science and Its Applications - Volume Part IV
Semantic awareness in automated web service composition through planning
SETN'10 Proceedings of the 6th Hellenic conference on Artificial Intelligence: theories, models and applications
WSCMon: runtime monitoring of web service orchestration based on refinement checking
Service Oriented Computing and Applications
Using naming tendencies to syntactically link web service messages
DEECS'06 Proceedings of the Second international conference on Data Engineering Issues in E-Commerce and Services
Component composition using feature models
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
A logical approach to data-aware automated sequence generation
Transactions on Computational Science XV
An approach to construct dynamic service mashups using lightweight semantics
ICWE'11 Proceedings of the 11th international conference on Current Trends in Web Engineering
Multi-Agent system for semantic web service composition
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
A transactional-qos driven approach for web service composition
RED'10 Proceedings of the Third international conference on Resource Discovery
Dealing with changes in service orchestrations
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Anytime QoS optimization over the PlanGraph for web service composition
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Web service composition via organisation-based (re)planning
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Behavioral adaptation of information systems through goal models
Information Systems
Self-adaptive software needs quantitative verification at runtime
Communications of the ACM
Ontology-based composition and matching for dynamic cloud service coordination
International Journal of Metadata, Semantics and Ontologies
Construction of messaging-based enterprise integration solutions using AI planning
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
Automated geospatial Web Services composition based on geodata quality requirements
Computers & Geosciences
Geometric Structure of High-Dimensional Data and Dimensionality Reduction
Geometric Structure of High-Dimensional Data and Dimensionality Reduction
Personalized activity based eLearning
Proceedings of the 12th International Conference on Knowledge Management and Knowledge Technologies
Towards proactive web service adaptation
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
A Logical Reasoning Approach to Automatic Composition of Stateless Components
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Future research challenges and applications of ubiquitous robotics
Proceedings of the 2012 ACM Conference on Ubiquitous Computing
A semantic translation method for data communication protocols
Journal of Systems and Software
A dynamic qos-aware semantic web service composition algorithm
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
Today's top "RESTful" services and why they are not restful
WISE'12 Proceedings of the 13th international conference on Web Information Systems Engineering
ICCCI'12 Proceedings of the 4th international conference on Computational Collective Intelligence: technologies and applications - Volume Part II
A performance analysis of RESTful open API information system
FGIT'12 Proceedings of the 4th international conference on Future Generation Information Technology
Cloud Architecture for Dynamic Service Composition
International Journal of Grid and High Performance Computing
An environment for service composition, execution and resource allocation
PARA'12 Proceedings of the 11th international conference on Applied Parallel and Scientific Computing
On competitive self-composition in pervasive services
Science of Computer Programming
Scheduling parameter sweep workflow in the Grid based on resource competition
Future Generation Computer Systems
Automated abstract planning with use of genetic algorithms
Proceedings of the 15th annual conference companion on Genetic and evolutionary computation
A vision for a stochastic reasoner for autonomic cloud deployment
Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies
Automatic refinement of service compositions
ICWE'13 Proceedings of the 13th international conference on Web Engineering
A request oriented model for web services
AWC '13 Proceedings of the First Australasian Web Conference - Volume 144
International Journal of Systems and Service-Oriented Engineering
Ubiquitous robotics: Recent challenges and future trends
Robotics and Autonomous Systems
A SAT-based approach to cost-sensitive temporally expressive planning
ACM Transactions on Intelligent Systems and Technology (TIST) - Special Section on Intelligent Mobile Knowledge Discovery and Management Systems and Special Issue on Social Web Mining
PWWM: a personal web workflow methodology
The Personal Web
A self-organizing P2P framework for collective service discovery
Journal of Network and Computer Applications
Enhancing the OPEN Process Framework with service-oriented method fragments
Software and Systems Modeling (SoSyM)
Learning web-service task descriptions from traces
Web Intelligence and Agent Systems
Decentralized multi-agent service composition
Multiagent and Grid Systems
Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios
Fundamenta Informaticae
| Hi-index | 0.02 |
In today’s Web, Web services are created and updated on the fly. It’s already beyond the human ability to analysis them and generate the composition plan manually. A number of approaches have been proposed to tackle that problem. Most of them are inspired by the researches in cross-enterprise workflow and AI planning. This paper gives an overview of recent research efforts of automatic Web service composition both from the workflow and AI planning research community.