Coordination of Web Services - Models, Methods and Tools

last modified Aug 20, 2007 03:50 PM
INFWEST seminar Tampere, June 5-7, 2007

Prof. Giuseppe De Giacomo (University of Rome, Italy) 
Prof. Arthur ter Hofstede (Queensland University of Technology, Brisbane, Australia)
Dr. Massimo Mecella (University of Rome, Italy)
Dr. Stephen A. White (IBM)

Hatanpään kartano, Tampere

350 EUR
For employees of INFWEST member university departments, participation is free of charge.

By email to at latest one week before the seminar


Tuesday June 5
09.00 - 09.15 Opening (Tarja Systä)
09.15 - 10.30 Introduction to Web Service Technologies (Mecella)
10.30 - 11.00 Break
11.00 - 12.30 BPMN basics and background (White)
12.30 - 13.30 Lunch
13.30 - 15.00 Automatic Composition - Basic Concepts and State of the Art (Mecella/De Giacomo)
15.00 - 15.15 Break
15.15 - 16.45 Workflow Control-Flow Patterns (ter Hofstede)
16.45 - 17.00 Discussion

Wednesday June 6
09.00 - 10.30 Advanced BPMN capabilities (White)
10.30 - 11.00 Break
11.00 - 12.30 Workflow Data, Resource, and Exception Patterns (ter Hofstede)
12.30 - 13.30 Lunch
13.30 - 15.00 Transition-based Composition Synthesis: the Roman Approach (De Giacomo)
15.00 - 15.15 Break
15.15 - 16.30 Panel

Thursday June 7
09.00 - 10.30 Transition-based Composition Synthesis: the Roman Approach (De Giacomo)
10.30 - 11.00 Break
11.00 - 12.30 YAWL: The Language and the System (ter Hofstede)
12.30 - 13.30 Lunch
13.30 - 15.00 Using BPMN for modeling BPEL and SCA (White)          
15.00 - 15.15 Break
15.15 - 16.45 WSCE - Web Service Composition Engine (Mecella)
16.45 - 17.00 Discussion



Giuseppe De Giacomo and Massimo Mecella

Introduction to Web Service Technologies (Mecella)

Short review of WS technologies: SOAP, WSDL, UDDI, WS-BPEL, WS-CDL and others, with practical and code example.

Automatic Composition - Basic Concepts and State of the Art (Mecella)

Introducing abstractions over WS technologies: transition systems, client-based vs. service-based approaches. Comparison of state-of-the-art approaches
Transition-based Composition Synthesis: the Roman Approach (De Giacomo)

Basic concepts. The Roman approach. Logics of Programs for composition synthesis. Relationship with Simulation. Synthesis of Just-in-time compositions.

Extensions of the basic techniques:
    * Distributed orchestrators: when a centralized solution is not conceivable
    * Dealing with Data
    * Dealing with Secure and trust-aware requirements
WSCE - Web Service Composition Engine (Mecella/De Giacomo)

Design, Realization and Engineering of a real prototype for automatic composition. Running examples and tool use.

Arthur ter Hofstede

Foundations of Workflow Modelling and Execution: Workflow Patterns and YAWL

The Workflow Patterns Initiative, which started in the late nineties, recognises the need for comparative insight into the multitude of approaches to workflow specification. Starting with the so-called control-flow perspective, which addresses control flow dependencies between tasks, the Initiative collected and documented patterns for the various perspectives relevant for workflow management. This pattern collection has been used to assess the capabilities of various workflow management systems, (proposed) standards for web service composition, and process modelling languages. The patterns constitute the conceptual foundation of YAWL (Yet Another Workflow Language) a formal workflow language, partially based on Petri nets, supported by an open source environment. This seminar addresses both the workflow patterns and YAWL and as such explores conceptual, formal and technological foundations of workflow management.

Stephen A White

BPMN Modeling, Including BPEL and SCA


BPMN is flow-chart based notation for defining Business Processes. Its development began early in this decade within the Business Process Management Institute (BPMI) and has since moved to the Object Management Group (OMG). The development drivers for BPMN was to create a notation and model that was acceptable and usable by the business community for both intra- and inter-organization process modeling, while also providing the capability to generate executable processes (e.g., BPEL). This seminar will introduce the basic concepts of BPMN, providing a background and rationale for the design of the notation. This will be followed with an exploration of the advanced capabilities of BPMN, such as exception handling and compensation. Examples of business process models will be used to illustrate BPMN concepts as well as demonstrate how these models can be used for modeling BPEL and SCA.


Steven A. White
Stephen A. White, Ph.D., is a BPM Architect at IBM. He has over 20 years of process modeling experience, ranging from modeling pilot workload to commercial business processes, and has been involved in most aspects of business process modeling software, from product management, design, consulting, training, and technical writing.  In the last few years, he has been active in the development of business modeling standards, was the primary editor of the BPMN 1.0 specification, and is now chairing the OMG task force that is continuing the development of BPMN.

Giuseppe De Giacomo
Giuseppe De Giacomo (Ph.D. in Computer Engineering) is a Full Professor at SAPIENZA -- Universita' di Roma, Dipartimento di Informatica e Sistemistica, where he has conducted research for more than 10 years in the fields of knowledge representation and reasoning in databases, data integration, semantics interoperability, including service and process synthesis, and reasoning on dynamic systems. He is author of more than 100 papers in international journals and conferences in the areas of artificial intelligence, databases, information systems and cognitive robotics. He is member of the program committee of several of the most important conferences of the above areas. He is currently involved in some European and Italian research projects (TONES, INTEROP, SEWASIE, MAIS), in which he is investigating the application of reasoning techniques to semantics interoperability and service composition.

Massimo Mecella

Massimo Mecella (Ph.D. in Computer Engineering) is an Assistant Professor at SAPIENZA -- Universita' di Roma, Dipartimento di Informatica e Sistemistica, where, in the context of Italian and European research projects (WORKPAD, SemanticGOV,, VISPO, MAIS, eG4M), he conducts research on service composition and orchestration, mobile and adaptive information systems, cooperative architectures and software engineering for eGovernment and eBusiness. He has been authors of various papers on Services, since the beginning of this new and exciting area.

Arthur ter Hofstede
Arthur ter Hofstede received his PhD in Computer Science from the University of Nijmegen in The Netherlands in 1993. Currently he works as an Associate Professor at the School of Information Systems of the Faculty of Information Technology of Queensland University of Technology in Brisbane, Australia. He is co-leader of the BPM group in the Faculty. His main research interests are in the conceptual and formal foundations of workflow. He is committed to the Workflow Patterns Initiative ( ) and the YAWL (Yet Another Workflow Language) Initiative ( ).

Department of Computer Science and Information Systems
Postal Address:

Department of Computer Science and Information Systems
PL 35 (Agora)

Street Address: [map]:

Agora, 5. krs.
Mattilanniemi 2

Tel: +358 (0)14 260 1211 (switch)
Fax: +358 (0)14 260 3011

Staff of the Department

Contact Search