Stratified Composition of Web Services

Authors:
Riina Maigre;Pavel Grigorenko;Peep Küngas;Enn Tyugu
Affiliations:
Institute of Cybernetics, Tallinn University of Technology, Estonia;Institute of Cybernetics, Tallinn University of Technology, Estonia;Royal Institute of Technology (KTH), School of Information and Communication Technology, Sweden;Institute of Cybernetics, Tallinn University of Technology, Estonia
Venue:
Proceedings of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering
Year:
2008

Citing 13
Cited 0

Theory of deductive systems and its applications

Theory of deductive systems and its applications
A Deductive Approach to Program Synthesis

ACM Transactions on Programming Languages and Systems (TOPLAS)
A short introduction to intuitionistic logic

A short introduction to intuitionistic logic
Interface automata

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
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
A Graph-Based Approach to Web Services Composition

SAINT '05 Proceedings of the The 2005 Symposium on Applications and the Internet
Visual tool for generative programming

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
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
Compositional Logical Semantics for Business Process Languages

ICIW '07 Proceedings of the Second International Conference on Internet and Web Applications and Services
Algorithms and Architectures of Artificial Intelligence

Proceedings of the 2007 conference on Algorithms and Architectures of Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose an automatic service composition methodology where, three levels of composition knowledge are distinguished: user level, logical level and implementation level knowledge. We use a knowledge-based software development environment CoCoViLa that enables composition throughout these three levels. A motivation for this approach is a need to overcome the complexity of service composition on very large sets of atomic services we are dealing with in our application domain. The domain concerns federated governmental information systems.