Analyzing and completing middleware designs for enterprise integration using coloured petri nets

  • Authors:
  • Dirk Fahland;Christian Gierds

  • Affiliations:
  • Technische Universiteit Eindhoven, The Netherlands;Department of Computer Science, Humboldt-Universität zu Berlin, Germany

  • Venue:
  • CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
  • Year:
  • 2013

Quantified Score

Hi-index 0.00



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.