|
Short-bio
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.
|
Abstract
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.
|