Christian Gierds is a Ph.D. candidate at the computer science department
at Humboldt-Universität zu Berlin. His research focuses on web service
adaptation, automated synthesis of such adapters, and related research
questions. Other topics of interest are pattern based design and process
and service mining.
Enterprise Integration Patterns allow us to design a middleware system conceptually before actually implementing it. So far, the in-depth analysis of
such a design was not feasible, as these patterns are only described informally. We introduce a translation of each of these patterns into a Coloured Petri Net, which allows to investigate and improve middleware system designs in early stages of development in a number of use cases, including
validation and performance analysis using simulation, automatic completion of control-flow in middleware designs, verifying a design for errors and
functional properties, and obtaining an implementation in automatic way.