Tutorial on

Service Oriented Architecture:

(Semantic) Web Services, Business Process Modeling, Software Engineering

 

 

 

Web Services currently provide the main enabling technique for Service Oriented Architecture. The Web Service technique can function both as a middleware and a modeling and management tool for composed business processes. This tutorial investigates knowledge on (Semantic) Web Services in academia, standards bodies and industrial implementations. And this tutorial brings them together with an introduction of formal models for Web Service modeling, reasoning and monitoring. The tutorial materials are based on our teaching since 2002 and a large body of published papers. The tutorial is vendor neutral in that we do not endorse any specific commercial products. Here is the scope of this tutorial.

 

  • SOA and Web Service-enabled SOA - software engineering issues
    • W3C Web Service protocols and specifications: XML, SOAP, and WSDL
    • Comparison to other middleware standards such as the DCOM, CORBA and JavaBean frameworks
    • Our experience from real world projects
  • Web Services as an e-business tool:
    • OASIS Web Service specifications: UDDI, BPEL and ebXML
    • Formal methods for Web Service process modeling
    • Workflow vs. Web Service process modeling
  • Semantic Web Services
    • Basic topics in the Semantic Web: RDF, rules & reasoning, OWL-S, SWSF
    • Ontologies for service discovery and matching

 

 

Tutorial Organizer: Dr. Yuhong Yan (NRC, Canada, Yuhong.yan@nrc.gc.ca)

Tutorial Presenters: Dr. Yuhong Yan (NRC, Canada), Dr. Harold Boley (NRC, Canada), Dr. Bruce Spencer (NRC, Canada)

 

Duration: 3 hours

 

Slides:

Introduction

Web Services

Formal Methods for Web Services Process Modelling

Semantic Web Services

Wrap-up: Semantic Service Computing (SSC) project in NRC

 

CVs of the Presenters:

 

Dr. Yuhong Yan is a Research Officer at the Institute for Information Technology (IIT) of the National Research Council's (NRC). She is an Adjunct Professor at the Faculty of Computer Science in University of New Brunswick. Her research interests are Web service modeling and Computing which involves use formal models to model Web service process, model-based reasoning for Web service monitoring and diagnosis. She published numerous papers in Web Services and AI domains. Her personal website is at http://www.flydragontech.com/.

 

Dr. Harold Boley is a Senior Research Officer at the Institute for Information Technology (IIT) of the National Research Council's (NRC). He is an Adjunct Professor at the Faculty of Computer Science in University of New Brunswick. His research interests are Semantic Web Services, rule systems as well as knowledge representation and transformation. His website is at http://www.cs.unb.ca/~boley/.

 

Dr. Bruce Spencer is a Senior Research Officer at the Institute for Information Technology (IIT) of the National Research Council's (NRC). He is an Adjunct Professor at the Faculty of Computer Science in University of New Brunswick. His research interests are Semantic Web, Web Services, and automated reasoning. His website is at http://www.cs.unb.ca/~bspencer/.

 

Late update on Sept. 6, 2006