@inproceedings{28f5c46ce39540708f22ff719237dcd2,
title = "Analyzing and completing middleware designs for enterprise integration using coloured Petri nets",
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.",
author = "D. Fahland and C. Gierds",
year = "2013",
doi = "10.1007/978-3-642-38709-8_26",
language = "English",
isbn = "978-3-642-38708-1",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "400--416",
editor = "C. Salinesi and M.C. Norrie and O. Pastor",
booktitle = "Advanced Information Systems Engineering (25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings)",
address = "Germany",
}