ACM SIGACT News
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
Deciding provability of linear logic formulas
Proceedings of the workshop on Advances in linear logic
Proceedings of the 9th international World Wide Web conference on Computer networks : the international journal of computer and telecommunications netowrking
A Deductive Approach to Program Synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
An Overview of Standards and Related Technology in Web Services
Distributed and Parallel Databases
Deductive Composition of Astronomical Software from Subroutine Libraries
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Fault-tolerant, Scalable, Wide-Area Internet Service Composition
Fault-tolerant, Scalable, Wide-Area Internet Service Composition
Autonomous Semantic Web Services
IEEE Internet Computing
Meteor-s web service annotation framework
Proceedings of the 13th international conference on World Wide Web
Logic-based Web Services Composition: From Service Description to Process Model
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Triana: A Graphical Web Service Composition and Execution Toolkit
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Ontology-Driven Web Services Composition Platform
CEC '04 Proceedings of the IEEE International Conference on E-Commerce Technology
A Graph-Based Approach to Web Services Composition
SAINT '05 Proceedings of the The 2005 Symposium on Applications and the Internet
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
Composition of semantic web services using linear logic theorem proving
Information Systems - Special issue: The semantic web and web services
Reconciling ontological differences by assistant agents
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Linked: How Everything Is Connected to Everything Else and What It Means
Linked: How Everything Is Connected to Everything Else and What It Means
| Hi-index | 0.00 |
Automated web service annotation and composition are seen as complimentary technologies. While automated annotation allows to extract web service semantics from existing WSDL documents, automated composition uses this semantics for integrating applications. Anyway, automated composition can be applied not only to constructing new but also to analysis of existent web services. Therefore applicability of both methodologies is essential for increasing the productivity of information system integration. In this paper we propose application of automated composition for analysing web services domains. We identify and analyse some general web services properties in the context of industrial and public web services.