|
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.
|