The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
The Self-Serv Environment for Web Services Composition
IEEE Internet Computing
Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Analysis and simulation of Web services
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
Composing Web services on the Semantic Web
The VLDB Journal — The International Journal on Very Large Data Bases
Constraint Driven Web Service Composition in METEOR-S
SCC '04 Proceedings of the 2004 IEEE International Conference on Services Computing
Service oriented architectures: approaches, technologies and research issues
The VLDB Journal — The International Journal on Very Large Data Bases
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
Finite State Automata As Conceptual Model For E-Services
Journal of Integrated Design & Process Science
Categorizing and Assembling Web Services in a Composition Framework
SEW '08 Proceedings of the 2008 32nd Annual IEEE Software Engineering Workshop
Composition of Semantic Web services using Linear Logic theorem proving
Information Systems
Synthy: A system for end to end composition of web services
Web Semantics: Science, Services and Agents on the World Wide Web
Isabelle/HOL: a proof assistant for higher-order logic
Isabelle/HOL: a proof assistant for higher-order logic
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
A generic theorem prover of CSP refinement
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
A Business Model for Dynamic Composition of Telecommunication Web Services
IEEE Communications Magazine
Semantics-based dynamic service composition
IEEE Journal on Selected Areas in Communications
Hi-index | 0.00 |
Web services enable application-to-application interactions over networks. They have functional, behavioral, non-functional, and semantic characteristics. Web service composition is the mechanism for combining and reusing existing Web services to create new Web services. In this paper, we propose a novel architecture for Web service composition. The proposed architecture extends the standard Web services business model to explicitly support Web services composition. It also enables the description of Web services with all four of their characteristics (i.e. functional, behavioral, non-functional, and semantic characteristics). Furthermore, it uses formal methods (that take into account all of these characteristics) to enable the matching, selection, and assembling of the Web services that are needed in the composition process. The architecture is made up of three components: a business model, a composition framework, and a description framework. The business model introduces three new entities: a Web service composer, a Web service composition registry, and a third-party Web service provider. The Web service composer has the overall responsibility of the composition process and is realized by the composition framework. The composition framework uses matchmaking, categorization, and assembly techniques to carry out the actual composition, taking into account all of the characteristics. The description framework provides the languages required to describe the Web services in both the business model and the composition framework. It also integrates the languages in a common semantic domain of HOL (an expressive high-level logic). These languages are SAWSDL (a semantic and functional language), MSC (a formal behavioral language), and NFSL (an XML-based non-functional language). NFSL is a simple new language that we propose, while SAWSDL and MSC are existing languages.