The original IBM WebSphere Business Modeler process models from our case study Instantaneous Soundness Checking of Industrial Business Process Models presented at the BPM 2009 are now available for download. Please use our fresh release of UML2oWFN v2.10 for translating the original process models to Petri nets.

We contributed a chapter to the tutorial book for the 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services:

• Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl and Karsten Wolf. Service Interaction: Patterns, Formalization, and Analysis.

We released UML2oWFN version 2.0. UML2oWFN has been re-engineered with a robust parser front-end and improved Petri net patterns; UML2oWFN can now produce workflow nets out of UML2 activity diagrams. See the change log for a list of all changes. You can use our Tool Chain: UML2oWFN and LoLA for analyzing the behavior of IBM WebSphere Business Modeler process models.

Two conference papers have been accepted for publication at ACSD 2009:

• Niels Lohmann and Karsten Wolf. Petrifying Operating Guidelines.
• Karsten Wolf, Christian Stahl, Janine Ott and Robert Danitz. Verifying Livelock Freedom in an SOA Scenario.

A conference paper has been accepted for publication at PetriNets 2009:

• Dirk Fahland. Oclets - scenario-based modeling with Petri nets.

A conference paper has been accepted for publication at EMMSAD 2009:

• Dirk Fahland, Daniel Lübke, Jan Mendling, Hajo Reijers, Barbara Weber, Matthias Weidlich, and Stefan Zugal. Declarative versus Imperative Process Modeling Languages: The Issue of Understandability.

We released Fiona version 3.1. Fiona now supports operating guidelines with a global constraint. We enhanced the graph analysis algorithms and a lot of bugs have been fixed with this new version. See the change log for a list of all changes.

A journal paper has been accepted for publication in a special issue of Data & Knowledge Engineering:

• Christian Stahl and Karsten Wolf. Deciding Service Composition and Substitutability Using Extended Operating Guidelines.

We present a paper at the 6th International Conference on Service Oriented Computing (ICSOC 2008)

We present a paper at the Fourth International Workshop on Engineering Service-Oriented Applications: Analysis and Design (WESOA 2008):

• Kathrin Kaschner and Niels Lohmann. Automatic Test Case Generation for Interacting Services (1 December 2008, 14:00)

A journal paper has been accepted for publication in The Computer Journal:

• Wil M. P. van der Aalst and Niels Lohmann and Peter Massuthe and Christian Stahl and Karsten Wolf. Multiparty Contracts: Agreeing and Implementing Interorganizational Processes.

Four journal papers have been accepted for publication in the special issue of ToPNoC (LNCS Transactions on Petri Nets and Other Models of Concurrency) on Concurrency in Process-Aware Information Systems.

• Niels Lohmann and Eric Verbeek, and Remco Dijkman. Petri Net Transformations for Business Processes – A Survey.
• Christian Stahl and Peter Massuthe and Jan Bretschneider. Deciding Substitutability of Services with Operating Guidelines.
• Kees van Hee and Eric Verbeek and Christian Stahl and Natalia Sidorova. A Framework for Linking and Pricing No-Cure-No-Pay Services., and Natalia Sidorova. A Framework for Linking and Pricing No-Cure-No-Pay Services.
• Karsten Wolf. Does my service have partners?

A journal paper has been accepted for publication in the International Journal of Business Process Integration and Management (IJBPIM):

• Niels Lohmann and Eric Verbeek and Chun Ouyang and Christian Stahl. Comparing and Evaluating Petri Net Semantics for BPEL.

We released version 1.0.5 of our service model editor Seda which is now also available as a standalone application for Windows, Linux, Mac OSX, and Solaris that runs outside of Eclipse.

We released a new version of our UML2 Activity Diagrams to Petri nets compiler UML2oWFN. The compiler now allows to translate UML2 processes created with IBM WebSphere Business Modeler with different termination semantics. See the list of all changes in the change log. UML2oWFN is part of our tool chains and implements our formal Semantics of Services for UML2 Activity Diagrams.

We released Fiona version 3.0. Fiona now provides more analysis scenarios and implements more efficient algorithms resulting in faster analysis results. See the change log for a list of all changes.

Award for conference paper:

• The paper “Covering Places and Transitions in Open Nets” by Christian Stahl and Karsten Wolf, presented at the 6th International Conference on Business Process Management (BPM'08), was awarded with a “IBM Research Best Student Paper Travel Award” to its co-author Christian Stahl.

We give two talks at the 6th International Conference on Business Process Management (BPM'08):

• Christian Stahl and Karsten Wolf. Covering Places and Transitions in Open Nets (2 September 2008, 16:30)

• Niels Lohmann. Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance (2 September 2008, 17:00)

→ See http://service-technology.org/bpm2008 for more information

We give two talks at the 5th International Workshop on Web Services and Formal Methods (WS-FM 2008):

• Niels Lohmann. Why does my service have no partners?

• Daniela Weinberg. Efficient Controllability Analysis of Open Nets

→ See http://service-technology.org/wsfm2008 for

more information

We give two talks and a tool demo at the 3rd Young Researchers' Workshop on Service Oriented Computing (YR-SOC 2008):

• Niels Lohmann. Fixing Deadlocking Service Choreographies Using a Simulation-based Graph Edit Distance (12 June 2008, 11:00)

• Kathrin Kaschner and Niels Lohmann. Automatic Test Case Generation for Services (12 June 2008, 11:30)

• Niels Lohmann and Oliver Kopp. Tools4BPEL4Chor (Tool Demo) (13 June 2008, 12:00)

→ See http://service-technology.org/yrsoc2008 for more information