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

D. Fahland, C. Gierds

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

14 Citations (Scopus)
1 Downloads (Pure)

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.
Original languageEnglish
Title of host publicationAdvanced Information Systems Engineering (25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings)
EditorsC. Salinesi, M.C. Norrie, O. Pastor
Place of PublicationBerlin
PublisherSpringer
Pages400-416
ISBN (Print)978-3-642-38708-1
DOIs
Publication statusPublished - 2013

Publication series

NameLecture Notes in Computer Science
Volume7908
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'Analyzing and completing middleware designs for enterprise integration using coloured Petri nets'. Together they form a unique fingerprint.

Cite this