Semantic Web Service Directory

Welcome to the directory of Semantic Web Services. We hope that this web page will provide semantic web service investigators with an index to projects, standards and bibliographical references of semantic web service proposals.

The directory is maintained by Dr. Khalid Belhajjame. If you know of a project or a bibliographical reference relevant to semantic web service and that is not listed on this page, then please contact me.

Projects

• BioCatalogue, providing a curated catalogue of Life Science Web Services.
• Meteor-S, Semantic Web Services and Processes.
• QuASAR, Quality Assurance of Semantic Annotations of web seRvices.
• Seekda!, Web Services Search Engine.
• WSMO, Web Service Modelling Ontology.

Semantic Web Service: Visionary and General References

• G. Alonso, F. Casati, H. Kuno, and V. Machiraju. Web Services: Concepts, Architectures and Applications. Springer-Verlag, ISBN 3-540-44008-9, 2004.
  [ bib | online ]
• Christoph Bussler, Dieter Fensel, and Alexander Maedche. A conceptual architecture for semantic web enabled web services. SIGMOD Record, 31(4):24-29, 2002.
  [ bib | pdf ]
• S. McIlraith, T.C. Son, and H. Zeng. Semantic web services. IEEE Intelligent Systems. Special Issue on the Semantic Web, 16(2):46-53, March/April 2001.
  [ bib | online ]
• Rudi Studer, Stephan Grimm, and Andreas Abecker. Semantic Web Services: Concepts, Technologies, and Applications. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2007.
  [ bib | online ]

Web Service Annotation

• Khalid Belhajjame, Suzanne M. Embury, Norman W. Paton, Robert Stevens, and Carole A. Goble. Automatic annotation of web services based on workflow definitions. TWEB, 2(2), 2008.
  [ bib | online ]
• S. Bowers and B. Ludäscher. Towards automatic generation of semantic types in scientific workflows. In WISE 2005 International Workshops, pages 207-216. Springer, 2005.
  [ bib | online ]
• Shawn Bowers and Bertram Ludäscher. A calculus for propagating semantic annotations through scientific workflow queries. Query Languages and Query Processing workshop (QLQP-2006) anised in conjunction with the 10th International Conference on Extending abase Technology, pages 712-723. Springer, 2006.
  a href="./sws_directory-bib.html#dblp:conf/edbtw/bowersl06">bib | href="http://dx.doi.org/10.1007/11896548_54">online ]
• A. Heß, E. Johnston, and N. Kushmerick. Assam: A tool for semi-automatically annotating semantic web services. In 3rd International Semantic Web Conference, pages 320-334. Springer, 2004.
  [ bib | online ]
• A. Heß and N. Kushmerick. Learning to attach semantic metadata to web services. In 2nd International Semantic Web Conference, pages 258-273. Springer, 2003.
  [ bib | online ]
• Kristina Lerman, Anon Plangprasopchok, and Craig A. Knoblock. Automatically labeling the inputs and outputs of web services. In Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA. AAAI Press, 2006.
  [ bib ]
• N. Oldham, Ch. Thomas, A. P. Sheth, and K. Verma. METEOR-S web service annotation framework with machine learning classification. In 1st International Workshop on Semantic Web Services and Web Process Composition, SWSWPC 2004, pages 137-146. Springer, 2004.
  [ bib | online ]
• A. A. Patil, S. A. Oundhakar, A. P. Sheth, and K. Verma. METEOR-S web service annotation framework. In Proceedings of the 13th international conference on World Wide Web, WWW 2004, New York, NY, USA, pages 553-562. ACM, 2004.
  [ bib | online ]
• Marta Sabou and Jeff Pan. Towards semantically enhanced web service repositories. J. Web Sem., 5(2):142-150, 2007.
  [ bib | online ]
• Kunal Verma and Amit P. Sheth. Semantically annotating a web service. IEEE Internet Computing, 11(2):83-85, 2007.
  [ bib | online ]

Web Service Matching

• M. S. Akram, Brahim Medjahed, and Athman Bouguettaya. Supporting dynamic changes in web service environments. In ICSOC, pages 319-334, 2003.
  [ bib | online ]
• K. Belhajjame, S. M. Embury, and N. W. Paton. On characterising and identifying mismatches in scientific workflows. In 3rd International Workshop on Data Integration in the Life Sciences (DILS 06), pages 240-247. Springer, 2006.
  [ bib | online ]
• B. Benatallah, F. Casati, D. Grigori, H. R. Motahari Nezhad, and F. Toumani. Developing adapters for web services integration. In CAiSE, pages 415-429, 2005.
  [ bib ]
• Sh. Bowers and B. Ludäscher. An ontology-driven framework for data transformation in scientific workflows. In DILS, pages 1-16, 2004.
  [ bib | online ]
• F. Calore, D. Lombardi, Enrico Mussi, Pierluigi Plebani, and Barbara Pernici. Retrieving substitute services using semantic annotations: A foodshop case study. In Business Process Management Workshops, pages 508-513, 2007.
  [ bib | online ]
• Giuseppe Castagna. Covariance and contravariance: Conflict without a cause. ACM Trans. Program. Lang. Syst., 17(3):431-447, 1995.
  [ bib | online ]
• Hull, R. Stevens, P. Lord, C. Wroe, and C. Goble. Treating shimantic web syndrome with ontologies. In First Advanced Knowledge Technologies workshop on Semantic Web Services (AKT-SWS04), 2004.
  [ bib ]
• Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, and Robert Stevens. Deciding semantic matching of stateless services. In Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA. AAAI Press, 2006.
  [ bib ]
• Hamid R. Motahari Nezhad, Boualem Benatallah, Fabio Casati, and Farouk Toumani. Web services interoperability specifications. IEEE Computer, 39(5):24-32, 2006.
  [ bib | online ]
• Massimo Paolucci, Takahiro Kawamura, Terry R. Payne, and Katia P. Sycara. Semantic matching of web services capabilities. In International Semantic Web Conference, pages 333-347, 2002.
  [ bib | online ]
• Uwe Radetzki, Ulf Leser, S. C. Schulze-Rauschenbach, J. Zimmermann, Jens Lüssem, Thomas Bode, and Armin B. Cremers. Adapters, shims, and glue - service interoperability for n silico experiments. Bioinformatics, 22(9):1137-1143, 2006.
  [ bib | online ]

Web Service Discovery

• Khalid Belhajjame. Semantic Replaceability of eScience Web Services. Third International Conference on e-Science and Grid Computing, e-Science 2007, IEEE Computer Society, 449-456, 2007.
  [ bib | online ]
• Khalid Belhajjame. Addressing the Issue of Service Volatility in Scientific Workflows. Service-Oriented Computing - ICSOC 2007, Springer, 377-382, 2007.
  [ bib | online ]
• Boualem Benatallah, Mohand-Said Hacid, Alain Léger, Christophe Rey, and Farouk Toumani. On automating web services discovery. VLDB Journal, 14(1):84-96, 2005.
  [ bib | online ]
• Xin Dong, Alon Y. Halevy, Jayant Madhavan, Ema Nemes, and Jun Zhang. Simlarity search for web services. In Proceedings of the Thirtieth International Conference on Very Large Data Bases, Toronto, Canada, pages 372-383, 2004.
  [ bib | pdf ]
• P. Lord, P. Alper, Ch. Wroe, and C. Goble. Feta: A light-weight architecture for user oriented semantic service discovery. In ESWC, pages 17-31, 2005.
  [ bib | online ]
• Simone A. Ludwig and S. M. S. Reyhani. Semantic approach to service discovery in a grid environment. J. Web Sem., 4(1):1-13, 2006.
  [ bib | online ]
• Katia P. Sycara, Massimo Paolucci, Anupriya Ankolekar, and Naveen Srinivasan. Automated discovery, interaction and composition of semantic web services. J. Web Sem., 1(1):27-46, 2003.
  [ bib | online ]
• Mark Wilkinson. Gbrowse moby: A web-based browser for biomoby services. Source Code for Biology and Medicine, 1(4):1-8, 2006.
  [ bib ]

Web Service Composition

• Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, and Massimo Mecella. Automatic composition of transition-based semantic web services with messaging. In Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, pages 613-624, 2005.
  [ bib | pdf ]
• Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Massimo Mecella. Esc: A tool for automatic composition of services based on logics of programs. In TES, 2004.
  [ bib ]
• Sh. Bowers and B. Ludäscher. Actor-oriented design of scientific workflows. In ER, pages 369-384. Springer, 2005.
  [ bib | online ]
• Marco Brambilla, Stefano Ceri, Federico Michele Facca, Irene Celino, Dario Cerizza, and Emanuele Della Valle. Model-driven design and development of semantic web service applications. ACM Trans. Internet Techn., 8(1):1-31, 2007.
  [ bib | online ]
• J. Cardoso and A. P. Sheth. Semantic e-workflow composition. J. Intell. Inf. Syst., 21(3), 2003.
  [ bib ]
• C. Goble, K. Wolstencroft, A. Goderis, D. Hull, J. Zhao, P. Alper, P. Lord, C. Wroe, K. Belhajjame, D. Turi, R. Stevens, T. Oinn, and D. D. Roure. Knowledge discovery for biology with taverna: Producing and consuming semantics in the web of science. In Christopher J.O. Baker and Kei-Hoi Cheung, editors, Revolutionizing Knowledge Discovery in the Life Sciences. Springer-Verlag, 2007.
  [ bib | online ]
• A. Goderis, U. Sattler, P. Lord, and C. Goble. Seven bottlenecks to workflow reuse and repurposing. In The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, pages 323-337. Springer, 2005.
  [ bib | online ]
• Ulrich Küster, Birgitta König-Ries, Mirco Stern, and Michael Klein. Diane: an integrated approach to automated service discovery, matchmaking and composition. In WWW, pages 1033-1042, 2007.
  [ bib | online ]
• Phillip W. Lord, Sean Bechhofer, Mark D. Wilkinson, Gary Schiltz, Damian Gessler, Duncan Hull, Carole A. Goble, and Lincoln Stein. Applying semantic web services to bioinformatics: Experiences gained, lessons learnt. In 3rd International Semantic Web Conference, pages 350-364. Springer, 2004.
  [ bib | online ]
• Bertram Ludäscher, Ilkay Altintas, and Amarnath Gupta. Compiling abstract scientific workflows into web service workflows. In SSDBM, pages 251-254, 2003.
  [ bib | online ]
• E. M. Maximilien and M. P. Singh. A framework and ontology for dynamic web services selection. IEEE Internet Computing, 8(5), 2004.
  [ bib | online ]
• B. Medjahed, A. Bouguettaya, and A. K. Elmagarmid. Composing web services on the semantic web. VLDB Journal, 12(4):333-351, 2003.
  [ bib | online ]
• Brahim Medjahed and Athman Bouguettaya. A dynamic foundational architecture for semantic web services. Distributed and Parallel Databases, 17(2):179-206, 2005.
  [ bib | online ]
• Srini Narayanan and Sheila A. McIlraith. Simulation, Verification and Automated Composition of Web Services. In Proceedings of International Conference on the World Wide Web (WWW'02), pages 77-88. ACM Press, 2002.
  [ bib | online ]
• Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, and Arthur H. M. ter Hofstede. Formal semantics and analysis of control flow in ws-bpel. Sci. Comput. Program., 67(2-3):162-198, 2007.
  [ bib | online ]
• Evren Sirin, Bijan Parsia, Dan Wu, James A. Hendler, and Dana S. Nau. Htn planning for web service composition using shop2. J. Web Sem., 1(4):377-396, 2004.
  [ bib | online ]
• Paolo Traverso and Marco Pistore. Automated composition of semantic web services into executable processes. In 3rd International Semantic Web Conference, pages 380-394. Springer, 2004.
  [ bib | online ]
• Chris Wroe, Carole A. Goble, R. Mark Greenwood, Phillip W. Lord, Simon Miles, Juri Papay, Terry R. Payne, and Luc Moreau. Automating experiments using semantic data on a bioinformatics grid. IEEE Intelligent Systems, 19(1):48-55, 2004.
  [ bib | online ]
• L. Zeng, B. Benatallah, M. Dumas, J. Kalagnanam, and Q. Z. Sheng. Quality driven web services composition. In WWW, pages 411-421, 2003.
  [ bib | online ]
• Liangzhao Zeng, David Flaxer, Henry Chang, and Jun-Jang Jeng. Plm _flow-dynamic business process composition and execution by rule inference. In TES, pages 141-150, 2002.
  [ bib | online ]

Semantic Web Service Verification

• Howard Foster, Sebastián Uchitel, Jeff Magee, and Jeff Kramer. Model-based Verification of Web Services. In Proceedings of International Conference on Automated Software Engineering (ASE'03), pages 152-161. IEEE, 2003.
  [ bib ]
• Angelo Gargantini and Constance Heitmeyer. Using Model Checking to Generate Tests from Requirements Specification. Software Engineering Notes, 24(6):146-162, 1999.
  [ bib | online ]
• Richard G. Hamlet. Theoretical comparison of testing methods. In Symposium on Testing, Analysis, and Verification, pages 28-37. ACM, 1989.
  [ bib | online ]
• Simon Miles, Sylvia C. Wong, Weijian Fang, Paul T. Groth, Klaus-Peter Zauner, and Luc Moreau. Provenance-based validation of e-science experiments. J. Web Sem., 5(1):28-38, 2007.
  [ bib | online ]
• Amit M. Paradkar, Avik Sinha, Clay Williams, Robert D. Johnson, Susan Outterson, Charles Shriver, and Carol Liang. Automated functional conformance test generation for semantic web services. In ICWS, pages 110-117, 2007.
  [ bib | online ]
• Sreedevi Sampath, Sara Sprenkle, Emily Gibson, Lori L. Pollock, and Amie Souter Greenwald. Applying concept analysis to user-session-based testing of web applications. IEEE Trans. Software Eng., 33(10):643-658, 2007.
  [ bib | online ]
• Sriraman Tallam and Neelam Gupta. A concept analysis inspired greedy algorithm for test suite minimization. In PASTE, pages 35-42, 2005.
  [ bib | online ]
• W. T. Tsai, Ray Paul, Yamin Wang, Chun Fan, and Dong Wang. Extending wsdl to facilitate web services testing. In HASE '02: Proceedings of the 7th IEEE International Symposium on High Assurance Systems Engineering (HASE'02), page 171. IEEE Computer Society, 2002.
  [ bib | online ]
• W.T. Tsai, R. Paul, Z. Cao, L. Yu, A. Saimi, and B. Xiao. Verification of Web Services Using an Enhanced UDDI Server. In Proceedings of 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. IEEE Computer Society Press, 2003.
  [ bib | online ]
• Yongbo Wang, Xiaoying Bai, Juanzi Li, and Ruobo Huang. Ontology-Based Test Case Generation for Testing Web Services. In Proceedings of 8th International Symposium on Autonomous Decentralised Systems (ISADS'07). IEEE Computer Society Press, 2007.
  [ bib ]
• Hong Zhu, Patrick A. V. Hall, and John H. R. May. Software unit test coverage and adequacy. ACM Comput. Surv., 29(4):366-427, 1997.
  [ bib | online ]

Ontology-Related References

• T. Gruber. A translation approach to portable ontology specifications. Knowledge Acquisition, 5(2), 1993.
  [ bib ]
• Aditya Kalyanpur, Bijan Parsia, Evren Sirin, Bernardo Cuenca Grau, and James A. Hendler. Swoop: A web ontology editing browser. J. Web Sem., 4(2):144-153, 2006.
  [ bib | online ]
• Joey Sik Chun Lam, Derek H. Sleeman, Jeff Z. Pan, and Wamberto Weber Vasconcelos. A fine-grained approach to resolving unsatisfiable ontologies. J. Data Semantics, 10:62-95, 2008.
  [ bib | online ]
• Alan L. Rector, Nick Drummond, Matthew Horridge, Jeremy Rogers, Holger Knublauch, Robert Stevens, Hai Wang, and Chris Wroe. Owl pizzas: Practical experience of teaching owl-dl: Common errors & common patterns. In EKAW, pages 63-81, 2004.
  [ bib | online ]
• M. Sabou. From software apis to web service ontologies: A semi-automatic extraction method. In International Semantic Web Conference, 2004.
  [ bib | online ]
• Ch. Wroe, R. Stevens, C. A. Goble, A. Roberts, and R. M. Greenwood. A suite of daml+oil ontologies to describe bioinformatics web services and data. Int. J. Cooperative Inf. Syst., 12(2):197-224, 2003.
  [ bib | online ]

Semantic Web Service Standards

• Mark H. Burstein, Jerry R. Hobbs, Ora Lassila, David Martin, Drew V. McDermott, Sheila A. McIlraith, Srini Narayanan, Massimo Paolucci, Terry R. Payne, and Katia P. Sycara. DAML-S: Web Service Description for the Semantic Web. In Proceedings of 1st International Semantic Web Conference, pages 348-363, London, UK, 2002. Springer-Verlag.
  [ bib | online ]
• D. L. McGuinness and F. v. Harmelen. Owl web ontology language overview. In W3C Recommendation, 2004.
  [ bib | online ]
• D. Martin, M. Burstein, J. Hobbs, O. Lassila, D. McDermott, S. McIlraith, S. Narayanan, M. Paolucci, B. Parsia, T. Payne, E. Sirin, N. Srinivasan, and K. Sycara. OWL-S: Semantic Markup for Web Services.
  [ online ]
• J. Farrell and Holger Lausen. Semantic Annotations for WSDL and XML Schema. W3C Recommendation 28 August 2007.
  [ online ]