Advances in Semantics for Web services 2007 Workshop; 2nd edition
(semantics4ws'07)

September 24, 2007, Brisbane, Australia


in conjunction with the
Fifth International Conference on Business Process Mangement (BPM 2007)


semantics4ws'07

 

Overview
Invited Speaker
Topics
Important Dates
Organization
Submissions
Agenda
Registration


Workshop Organised in collaboration with the ESSI Cluster

at the
Fifth International Conference on Business Process Management
(BPM 2007)

Brisbane, Australia, 25-27 September 2007

Previous editions:

2006

 

 

General Overview

Web services have added a new level of functionality to the current Web by taking a first step towards seamless integration of distributed software components using Web standards. Nevertheless, current Web service technologies around SOAP, WSDL and UDDI operate at a syntactic level and, therefore, although they support interoperability (i.e. interoperability between the many diverse application development platforms that exist today) through common standards, they still require human interaction to a large extent. For example, the human programmer has to manually search for appropriate Web services in order to combine them in a useful manner, which limits scalability and greatly curtails the added economic value of envisioned with the advent of Web services.

Recent research (to which we refer to as Semantic Web Services - SWS), which draws on a variety of fields such as Semantic Web, knowledge representation, formal methods, software engineering, process modeling, workflow, and software agents, is gaining momentum, in particular in the context of Web services usage. Research in the mentioned fields can be exploited to automate Web services-related tasks, like discovery, selection, composition, mediation, monitoring, and invocation, thus enabling seamless interoperation between them while keeping human intervention to a minimum. Although several initiatives, like OWL-S, WSMO, WSDL-S, or IRS, have emerged in this area aiming at addressing the problem of semantics in Web services, many major challenges still need to be addressed and solved in this field.

In this context, this workshop aims to provide a forum in which to focus on selected core technical challenges for deployment of Semantic Web Services, and reach a better understanding of the relationships between commercial Web service standards, current SWS research efforts, and the ultimate requirements for full-scale deployment of these technologies. More specifically, this workshop aims to tackle the research problems (as well as recent practical experiences) around methods, concepts, models, languages and technology that enable semantics in the context of Web services, as well as discussing recent advances in semantics for Web services. Of particular interest are the architectural, technical, and developmental foundations of SWS, and showing how they combine synergistically to enable service automation on the scale required by today’s Internet-connected enterprises.

This proposed workshop aims to bring together researchers and industry practitioners (e.g. leading modelers, architects, system vendors, open-source projects, developers, and end-users) addressing many of these issues (including recent developments in tools and techniques, and real-world implementations of SWS applications), and promote and foster a greater understanding of how semantics can assist automation in Web services, thus helping people develop and manage services more efficiently and effectively.

Invited Speaker

Speaker: Barbara Pernici
Bio: Barbara Pernici is a full professor of computer engineering at Politecnico di Milano. Her research interests include cooperative information systems, service management, workflow management systems, information systems modeling and design. She is an editor of the ACM Journal of Data and Information Quality, the Requirements Engineering Journal, and the International Journal of Cooperative Information Systems. She was chief scientist of the Italian FIRB MAIS (Multichannel Adaptive Information Systems) project from 2002 to 2006 and participated in many European projects, among which were WS-Diamond, WIDE, F3, EQUATOR, and ITHACA. She has been the chair of Working Group 8.1 (Information Systems Design) of the International Federation for Information Processing (IFIP) for the period 2004-2006. She is the second vice-chair of IFIP Technical Committee 8 (TC8, Information Systems) for 2007-2009.
Title: Adaptive Service-based Information Systems
Abstract: The adaptive approach to business processes proposed in the PAWS (processes with Adaptive Web Services) framework for flexible and adaptive execution of managed Web service-based business processes is discussed. In the framework several modules for service adaptation are integrated in a coherent way. An original characteristic of this framework is to couple design-time and run-time mechanisms for process specification and execution in a global framework. At design-time, flexibility is achieved through a number of mechanisms, i.e., identifying a set candidate services for each process task, negotiating quality of service, specifying quality constraints, and identifying mapping rules for invoking services with different interfaces. In turn, the run-time environment exploits the design-time mechanisms to support adaptation during process execution, in terms of selecting the best set of services to execute the process, reacting to a service failure, or preserving the execution when a context change occurs. The talk also discusses how PAWS has been applied in several case studies.

Workshop Venue

QUT, Brisbane, Australia

The workshop is to be held in conjunction with the Fifth International Conference on Business Process Management (BPM 2007).

Jump to top of this page.


Topics

  • case studies for (semantic) Web services
  • OWL-S, WSMO, WSDL-S, IRS, SWSF-based systems and applications
  • static and dynamic logics for Web services and related aspects
  • ontologies for modeling (semantic) Web services
  • formal languages for describing (semantic) Web services
  • ontologies and languages for process modeling for (semantic) Web services
  • ontological representation of quality of services (QoS), services level agreements (SLAs), and non-functional properties (NFPs) of Web services
  • formal languages  for QoS, SLAs, and NFPs
  • reasoning tasks and their complexity in SWS
  • formal methods and their applications in Web services
  • validation and verification for Web services
  • advertising, discovery, matchmaking, selection, and brokering of (semantic) Web services
  • data/process/protocol mediation in (semantic) Web services
  • composition, planning, and re-planning with (semantic) Web services
  • execution and lifecycle management of (semantic) Web services
  • monitoring, adaptability, and recovery strategies for (semantic) Web services
  • policies for (semantic) Web services
  • semantics in Web services contracts
  • security and privacy for (semantic) Web services
  • semantics for Grid services and e-Services
  • architectures for (semantic) Web services deployment
  • tools, middleware, and infrastructure for (semantic) Web services

These topics indicate the general focus of the workshop, however, related contributions are welcome also.

Jump to top of this page.

Important Dates

Submissions (extended): June 30, 2007
Acceptance: July 23, 2007
Final copy: August 1, 2007
Workshops day: September 24, 2007

Jump to top of this page.


Organization of the Workshop

Organizing Commitee

Steven Battle
Hewlett-Packard Labs
Filton Road
Bristol, UK
Phone: +44 117 317 8311
Email: steve.battle@hp.com

John Domingue
Knowledge Media Institute,
The Open University,
Walton Hall,
Milton Keynes, MK7 6AA, UK
Phone: +44 1908 655014
Fax: +44 1908 653169
E-Mail: j.b.domingue@open.ac.uk

David Martin
Artificial Intelligence Center
SRI International
333 Ravenswood Ave.
Menlo Park, CA 94025
Phone: 650/859-4119
Fax: 650/859-3735
E-mail: martin@AI.SRI.COM

Dumitru Roman
Digital Enterprise Research Institute (DERI)
University of Innsbruck, Institute of Computer Science
Technikerstraße 13
6020 Innsbruck, Austria
Phone: +43 512 507 6463
Fax: +43 512 507 9872
E-Mail: dumitru.roman@deri.org

Amit Sheth
Kno.e.sis Center
Comp Sc & Engg, 303 Russ Engineering
Wright State University
3640 Colonel Glenn Hwy
Dayton, OH 45435
Web: http://knoesis.wright.edu/amit/

 

Program Committee

- Rama Akkiraju, IBM, USA
- Carine Bournez, W3C, France
- Jorge Cardoso, University Mediera, Portugal
- Sanjay Chaudhary, DA-IICT, India
- Emilia Cimpian, DERI Innsbruck, Austria
- Marin Dimitrov, Ontotext, Bulgaria
- Dieter Fensel, DERI, Austria
- Karthik Gomadam, University of Georgia, USA
- Michael Gruninger, University of Toronto, Canada
- Sung-Kook Han, Won Kwang University, South Korea
- Rick Hull, Lucent, USA
- Jacek Kopecky, DERI Innsbruck, Austria
- Michael Kifer, State University of New York at Stony Brook, USA
- Michael Maximilien, IBM, USA
- Brahim Medjahed, University of Michigan, USA
- Adrian Mocan, DERI Innsbruck, Austria
- Massimo Paolucci, DoCoMo Euro-Labs, Germany
- Marc Richardson, BT, UK
- Brahmananda Sapkota, DERI Galway, Ireland
- Tony Shan, Bank of America, USA
- Monika Solanki, De Montfort University, UK
- Ioan Toma, DERI Innsbruck, Austria
- Stuart Williams, HP Bristol, UK

Jump to top of this page.


Paper Submissions

The workshop invites different types of contributions:

  • Papers
  • Demos
  • Posters / Position papers

Papers:The papers should not exceed 12 pages and should have the Springer Lecture Notes of Computer Science (LNCS) layout.

Demos: Detailed description plus sufficient number of screenshots or a video of the demo are required. For paper-based submissions, please follow the Springer LNCS layout. Please note that at the workshop itself no technical support is provided except possibly Internet connection and power (to be confirmed).

Posters/Position papers: The posters/position papers should not exceed 5 pages and should have the Springer LNCS layout.

All contributions will be peer reviewed by a program committee that will incorporate well recognized experts in the area of semantic technologies and Web services.

All submissions should be formatted in Springer's LNCS style, should be submitted in electronic format using the link: http://www.easychair.org/Semantics4WS/.

All accepted full papers and all position papers of attendees will be published in the proceedings of the workshop. Workshop proceedings will be published with Springer LNCS and will be available at the workshop.

Jump to top of this page.


Agenda

Location: Z Block (Faculty of Business), Gardens Point Campus of QUT, located in the Central Business District of Brisbane
Room: z301
Date: September 24, 2007

    Session 1 (09:00 - 10:30) | Session Chair: Dumitru Roman

  • 09:00 - 09:30 Invited talk: Adaptive Service-based Information Systems by Barbara Pernici
  • 09:30 - 10:00 Calculating the Semantic Conformance of Processes by Harald Meyer (full paper)
  • 10:00 - 10:20 A Vocabulary and Execution Model for Declarative Web Service Orchestration by Stijn Goedertier, Jan Vanthienen (short paper)
  • 10:20 - 10:30 A Need for Business Assessment of Semantic Web services Applications in Enterprises by Witold Abramowicz, Agata Filipowska, Monika Kaczmarek, Tomasz Kaczmarek (position paper)
  • 10:30 - 11:00 Coffee Break
  • Session 2 (11:00 - 12:40) | Session Chair: Barry Norton

  • 11:00 - 11:30 SPARQL-based Set-Matching for Semantic Grid Resource Selection by Mirza Said, Akiyoshi Matono, Isao Kojima (full paper)
  • 11:30 - 11:50 Retrieving substitute services using semantic annotations: a foodshop case study by Francesco Calore, Davide Lombardi, Enrico Mussi, Pierluigi Plebani, Barbara Pernici (short paper)
  • 11:50 - 12:10 Matching Dynamic Business-Level Protocols in Adaptive Service Compositions by Alan Colman, Linh Duy Pham, Jun Han, Jean-Guy Schneider (short paper)
  • 12:10 - 12:40 Towards a Formal Framework for Reuse in Business Process Modeling by Ivan Markovic, Alessandro Costa Pereira (full paper)
  • 12:40 - 13:15 Lunch
  • Semantic BPM Tutorial (13:15 - 17:00)

The workshop is open allowing anybody interested in semantics for Web services to participate fully in the workshop.

Jump to top of this page.


Registration

Those who are interested in attending the workshop should register through the main conference.

Jump to top of this page.