Ontology support for web service processes

C. Pahl, M. Casey
2003 Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03  
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web service choreography. Choreography refers to the composition of individual services to services processes that can communicate and interact with another. We propose a formal ontology framework for these Web service processes that supports the description, matching, and composition through logic reasoning techniques. The
more » ... Semantic Web, based on a description logic-based knowledge representation and reasoning framework, provides the foundations. Integrating aspects from modal logics and process calculi into this framework will prove essential.
doi:10.1145/940095.940099 fatcat:v32om37bkbdedcph54odima5gi