Shazia Sadiq

The University of Queensland, School of ITEE is currently Senior Lecturer in the School of Information Technology and Electrical Engineering at The University of Queensland, Brisbane, Australia. She is part of the Data and Knowledge Engineering (DKE) research group and is involved in teaching and research in databases and information systems. Shazia holds a PhD from The University of Queensland in Information Systems and a Masters degree in Computer Science from the Asian Institute of Technology, Bangkok, Thailand. Her main research interests are innovative solutions for Business Process Management that span several technology areas including workflow systems, service oriented computing, messaging technologies, and deployment of large scale distributed devices. Shazia has contributed widely to the body of knowledge in the field of dynamic workflows and has published several papers on this topic.

Birgit Hofreiter

Universität Wien, Fakultät für Informatik received her MSc. in Business Informatics from the Vienna University of Technology, Austria and her PhD from the University of Vienna, Austria. She is employed as an assistant professor at the Institute of Distributed and Multimedia Systems at the University of Vienna. Her research interests cover the fields E-Commerce (especially B2B), Business Process Engineering and the Semantic Web. Birgit Hofreiter has been a member of the ebXML Initiative, where she participated as Business Process Engineer within the first phase. Furthermore, she contributes to the UN/CEFACT’s Techniques and Methodologies Group (TMG) work. Besides her research work she gave lectures on Electronic Commerce, Modeling Techniques and Methods, and Information Systems.

Jörn Guy Süß

The University of Queensland, School of ITEE has investigated the validation of UML dialects for domains using Profiles based exclusively on OCL invariants.

In the very small, MDA helps to produce embedded systems by modelling, for example, controller software for telecom equipment like mobile phones and communication switches or automotive, rail and plane components. In the very large, MDA helps to model orchestration of large-granular units-of-work executed by cooperating services provided by enterprise applications.

Verification and Validation techniques traditionally differ according to the aims and requirements of the domains in which they are applied. This also applies to V&V in the different application domains of MDA. In the embedded systems domain, safety properties are often crucial and lead to V&V approaches based on proof. In the business process domain, properties like timeliness, process reliability and security have to be managed and verified in an integrated fashion.

V&V for embedded systems modelling is already well-established, as reflected by last years Model’s workshops. V&V for Business Process Modelling does not have a forum yet. The workshop proposed here aims to offer such a forum.

We believe that there is a demand for such a workshop, as major industry players like SAP, IBM and Microsoft are grouping their business process integration efforts around models, and the OMG has recently intensified its activities in the area of business process management.

The workshop topics could include, but would not be limited to:

• Meta-Models of orchestration and business process modelling languages that enable V&V.
• Models that assess or increase the reliability of business processes, including test generation for choreographies and business process modelling.
• V&V of domain-specific model properties like transaction ability, security, performance and compliance.
• Tools and Visualisations for Model-based tests of Enterprise Application Integration(EAI).
• Simulation of business processes based on models.
• Case Studies.
• Industry reports.

Thomas Gschwind

IBM Research, Zürich (CH)

Marc Lohmann

sd&m AG Research Group (DE)

Reiko Heckel

University of Leicester (UK)

Kerry Raymond

Queensland University of Technology (AU)

David Carrington

The University of Queensland (AU)

Barbara Weber

Universität Innsbruck (AT)

Marlon Dumas

Queensland University of Technology (AU)

Chengfei Liu

Swinburn University of Technology (AU)

Alistair Barros

SAP Research Centre, Brisbane (AU)

• Software engineers from industry who apply MDA to Business Process Modelling and automation and who use or need V&V to ensure the quality of those applications.
• Researchers in the model-driven engineering community who are applying formal methods or other techniques in order to produce guarantees of correctness for elements of model-driven systems.
• Researchers in the testing, formal methods and/or V&V community who are leveraging model-driven techniques in their analysis.

This workshop provides a nexus to connect groups from industry and computer science. Its pragmatic aspect is aimed at business process integration engineers who use the advanced techniques for expressing design intent provided by meta modelling. Its theoretic side addresses software engineers that use Models as the basis for V&V. The aim of the workshop is to transfer adequate scientific approaches to the application domain and provide a view of problems arising in the use of MDA in Business Process Modelling and Choreographies to research.

Model-based approaches for code generation have reached maturity. Business process integration can now be declaratively managed starting from models, because automatic code generation can provide the necessary data structures and choreographies code without requiring requiring any intermediate steps. In several companies model-based approaches for Business Process Modelling and Choreographies have passed the laboratory stage and are now entering daily operations, with large-scale Service Oriented Architectures as the explicit long-term goal.

On the company scale, however, problems of the model based approach cannot be managed by individual and expensive expert inspections any more. BPM processes are very similar to multi-threaded distributed programs, extended with certain domain-specific properties. If their implementations are automatically generated from models, causes for problems can originate in two places. They can be present in the models that represent the processes. In this case methods, theories and tools are needed to assess the correctness of the business process models to find errors and to predict the actual collaboration behaviour of the resulting business service implementation. Errors can also arise from lacking reliability and correctness of the transformations that produce the code that eventually orchestrates the systems. In this case methods, theories and tools are needed to assess the correctness of the transformation. The quality goals can be reached by proving the desirable properties exploiting the structure as done in model checking, by simulations, or by testing the property with a representative number of test cases or combinations of these approaches.

Solutions necessary to master these challenges can be drawn from the domain of V&V theory, and although the cost of V&V is generally high, failures of automated business processes can also be quite expensive. In this sense, the workshop aims to facilitate reuse of existing know-how of the V&V domain in the new domain of Business Process Modelling and Choreographies, based on the Model Driven Architecture.

We are expecting 15-20 submissions. The papers will be peer-reviewed by the Program Committee, and the accepted papers will be organised into sessions by the Organizers.

Submissions will be in the form of short papers describing complete work or work in progress. The format will be dependent on the final publication avenue. Especially, the workshop invites reports of industrial BPM projects and their associated challenges.

Paper 1 (15 min)

Paper 2 (15 min)

Paper 3 (15 min)

Discussion/Group with Presenters as panel members

Session chair to be prepared with 3 thesis statements

- Coffee break -

The overall proceedings will be moderated by the session-chair. The moderator may propose initial questions or thesis statements to start the discussion, if desired, requiring each participant to respond to one. Each session will be recorded, so a more precise summary can subsequently be produced. The coffee breaks are intended to give time for direct interaction and special interest discussion.

The workshop may be merged with other workshops with a similar topic.

The workshop will use a similar format and organisational procedures to the past MoDeVa workshop. A survey among the participants of that workshop has indicated a favourable reaction to the format used.

The workshop will use the Commence Conference System.