{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T11:08:00Z","timestamp":1776078480394,"version":"3.50.1"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319981765","type":"print"},{"value":"9783319981772","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38709-8_26","type":"book-chapter","created":{"date-parts":[[2013,6,20]],"date-time":"2013-06-20T07:44:12Z","timestamp":1371714252000},"page":"400-416","source":"Crossref","is-referenced-by-count":12,"title":["Analyzing and Completing Middleware Designs for Enterprise Integration Using Coloured Petri Nets"],"prefix":"10.1007","author":[{"given":"Dirk","family":"Fahland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Gierds","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-540-73094-1_28","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"W.M.P. Aalst van der","year":"2007","unstructured":"van der Aalst, W.M.P., van Dongen, B.F., G\u00fcnther, C.W., Mans, R.S., Alves de Medeiros, A.K., Rozinat, A., Rubin, V., Song, M., Verbeek, H.M.W., Weijters, A.J.M.M.: ProM 4.0: Comprehensive support for real process analysis. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 484\u2013494. Springer, Heidelberg (2007)"},{"issue":"4","key":"26_CR2","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Inf. Syst.\u00a030(4), 245\u2013275 (2005)","journal-title":"Inf. Syst."},{"issue":"1","key":"26_CR3","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"key":"26_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-642-21640-4_18","volume-title":"Advanced Information Systems Engineering","author":"B.S. Barn","year":"2011","unstructured":"Barn, B.S., Clark, T.: Revisiting naur\u2019s programming as theory building for enterprise architecture modelling. In: Mouratidis, H., Rolland, C. (eds.) CAiSE 2011. LNCS, vol.\u00a06741, pp. 229\u2013236. Springer, Heidelberg (2011)"},{"key":"26_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/11538394_20","volume-title":"Business Process Management","author":"A. Barros","year":"2005","unstructured":"Barros, A., Dumas, M., ter Hofstede, A.H.M.: Service interaction patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 302\u2013318. Springer, Heidelberg (2005)"},{"issue":"1","key":"26_CR6","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.jss.2003.05.007","volume":"74","author":"A. Bracciali","year":"2005","unstructured":"Bracciali, A., Brogi, A., Canal, C.: A formal approach to component adaptation. Journal of Systems and Software\u00a074(1), 45\u201354 (2005)","journal-title":"Journal of Systems and Software"},{"issue":"2","key":"26_CR7","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1016\/j.scico.2005.10.009","volume":"61","author":"A. Brogi","year":"2006","unstructured":"Brogi, A., Canal, C., Pimentel, E.: On the semantics of software adaptation. Sci. Comput. Program.\u00a061(2), 136\u2013151 (2006)","journal-title":"Sci. Comput. Program."},{"key":"26_CR8","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.entcs.2004.05.007","volume":"105","author":"A. Brogi","year":"2004","unstructured":"Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing web service choreographies. Electr. Notes Theor. Comput. Sci.\u00a0105, 73\u201394 (2004)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"7","key":"26_CR9","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1016\/j.compind.2007.12.016","volume":"59","author":"D. Chen","year":"2008","unstructured":"Chen, D., Doumeingts, G., Vernadat, F.: Architectures for enterprise integration and interoperability: Past, present and future. Computers in Industry\u00a059(7), 647\u2013659 (2008)","journal-title":"Computers in Industry"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"Cheng, A., Christensen, S., Mortensen, K.H.: Model checking Coloured Petri Nets - exploiting strongly connected components. Tech. rep. University of Aarhus (1996)","DOI":"10.7146\/dpb.v26i519.7048"},{"key":"26_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"552","DOI":"10.1007\/3-540-56863-8_67","volume-title":"Application and Theory of Petri Nets 1993","author":"L. Cherkasova","year":"1993","unstructured":"Cherkasova, L., Kotov, V., Rokicki, T.: On net modeling of industrial size concurrent systems. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol.\u00a0691, pp. 552\u2013561. Springer, Heidelberg (1993)"},{"key":"26_CR12","unstructured":"Christensen, S., Mortensen, K.H.: ASK-CTL, University of Aarhus (1996)"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model checking. MIT Press (2001)","DOI":"10.1016\/B978-044450813-3\/50026-6"},{"key":"26_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/11841760_6","volume-title":"Business Process Management","author":"M. Dumas","year":"2006","unstructured":"Dumas, M., Spork, M., Wang, K.: Adapt or perish: Algebra and visual notation for service interface adaptation. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 65\u201380. Springer, Heidelberg (2006)"},{"key":"26_CR15","unstructured":"Fahland, D., Gierds, C.: Using Petri nets for modeling Enterprise Integration Patterns. Tech. rep. bpmcenter.org (2012), http:\/\/bpmcenter.org\/wp-content\/uploads\/reports\/2012\/BPM-12-18.pdf"},{"issue":"2","key":"26_CR16","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1142\/S0218843011002225","volume":"20","author":"R.Z. Frantz","year":"2011","unstructured":"Frantz, R.Z., Quintero, A.M.R., Corchuelo, R.: A domain-specific language to design enterprise application integration solutions. Int. J. Cooperative Inf. Syst.\u00a020(2), 143\u2013176 (2011)","journal-title":"Int. J. Cooperative Inf. Syst."},{"key":"26_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-32439-0_1","volume-title":"Business System Management and Engineering","author":"A. Friesen","year":"2012","unstructured":"Friesen, A., Theilmann, W., Heller, M., Lemcke, J., Momm, C.: On some challenges in business systems management and engineering for the networked enterprise of the future. In: Ardagna, C.A., Damiani, E., Maciaszek, L.A., Missikoff, M., Parkin, M. (eds.) BSME 2010. LNCS, vol.\u00a07350, pp. 1\u201315. Springer, Heidelberg (2012)"},{"key":"26_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/11513988_41","volume-title":"Computer Aided Verification","author":"G. Gardey","year":"2005","unstructured":"Gardey, G., Lime, D., Magnin, M., Roux, O.(H.): Romeo: A tool for analyzing Time Petri Nets. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 418\u2013423. Springer, Heidelberg (2005)"},{"issue":"1","key":"26_CR19","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/TSC.2010.57","volume":"5","author":"C. Gierds","year":"2012","unstructured":"Gierds, C., Mooij, A.J., Wolf, K.: Reducing adapter synthesis to controller synthesis. IEEE T. Services Computing\u00a05(1), 72\u201385 (2012)","journal-title":"IEEE T. Services Computing"},{"key":"26_CR20","unstructured":"Google: Checkout, https:\/\/checkout.google.com\/ (retrieved October 19, 2012)"},{"key":"26_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/3-540-61042-1_58","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B. Grahlmann","year":"1996","unstructured":"Grahlmann, B., Best, E.: PEP - more than a petri net tool. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, pp. 397\u2013401. Springer, Heidelberg (1996)"},{"key":"26_CR22","unstructured":"He, W., Xu, L.D.: Integration of distributed enterprise applications: A survey. IEEE Transactions on Industrial Informatics, 1\u20139 (2012)"},{"key":"26_CR23","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-642-10832-7_6","volume":"1","author":"C. Hentrich","year":"2009","unstructured":"Hentrich, C., Zdun, U.: A pattern language for process execution and integration design in service-oriented architectures. T. Pattern Languages of Programming\u00a01, 136\u2013191 (2009)","journal-title":"T. Pattern Languages of Programming"},{"key":"26_CR24","volume-title":"Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions","author":"G. Hohpe","year":"2003","unstructured":"Hohpe, G., Woolf, B.: Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)"},{"key":"26_CR25","unstructured":"Ibsen, C., Anstey, J.: Camel in Action. Manning Publications (2010)"},{"key":"26_CR26","doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer (2009)","DOI":"10.1007\/b95112"},{"issue":"3-4","key":"26_CR27","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K. Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. STTT\u00a09(3-4), 213\u2013254 (2007)","journal-title":"STTT"},{"key":"26_CR28","unstructured":"Konda, M.: Just Spring Integration - Enterprise Application Patterns and Messaging. O\u2019Reilly (2012)"},{"key":"26_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-642-13675-7_4","volume-title":"Applications and Theory of Petri Nets","author":"L.M. Kristensen","year":"2010","unstructured":"Kristensen, L.M.: A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol.\u00a06128, pp. 39\u201342. Springer, Heidelberg (2010)"},{"key":"26_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-642-15898-8_14","volume-title":"Formal Methods for Industrial Critical Systems","author":"L.M. Kristensen","year":"2010","unstructured":"Kristensen, L.M., Westergaard, M.: Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. In: Kowalewski, S., Roveri, M. (eds.) FMICS 2010. LNCS, vol.\u00a06371, pp. 215\u2013230. Springer, Heidelberg (2010)"},{"key":"26_CR31","unstructured":"Kwantes, P.M.: Design of clearing and settlement operations: A case study in business process modelling and analysis with petri nets. In: Jensen, K. (ed.) Proceedings of the Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 217\u2013236 (October 2006)"},{"key":"26_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, pp. 200\u2013204. Springer, Heidelberg (2002)"},{"issue":"3","key":"26_CR33","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/S0166-3615(02)00099-4","volume":"49","author":"D. Liu","year":"2002","unstructured":"Liu, D., Wang, J., Chan, S.C.F., Sun, J., Zhang, L.: Modeling workflow processes with Colored Petri Nets. Comput. Ind.\u00a049(3), 267\u2013281 (2002)","journal-title":"Comput. Ind."},{"key":"26_CR34","doi-asserted-by":"crossref","unstructured":"Lytra, I., Sobernig, S., Zdun, U.: Architectural decision making for service-based platform integration: A qualitative multi-method study. In: WICSA\/ECSA, pp. 111\u2013120 (2012)","DOI":"10.1109\/WICSA-ECSA.212.19"},{"key":"26_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-642-28038-2_2","volume-title":"Advances in Software Engineering Techniques","author":"P. Mederly","year":"2012","unstructured":"Mederly, P., Lekav\u00fd, M., Z\u00e1vodsk\u00fd, M., N\u00e1vrat, P.: Construction of messaging-based enterprise integration solutions using AI planning. In: Szmuc, T., Szpyrka, M., Zendulka, J. (eds.) CEE-SET 2009. LNCS, vol.\u00a07054, pp. 16\u201329. Springer, Heidelberg (2012)"},{"issue":"6","key":"26_CR36","doi-asserted-by":"publisher","first-page":"1650","DOI":"10.1080\/00207543.2011.575892","volume":"50","author":"J.M. Mendes","year":"2012","unstructured":"Mendes, J.M., Leit\u00e3o, P., Colombo, A.W., Restivo, F.: High-level petri nets for the process description and control in service-oriented manufacturing systems. International Journal of Production Research\u00a050(6), 1650\u20131665 (2012)","journal-title":"International Journal of Production Research"},{"key":"26_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/3-540-44988-4_21","volume-title":"Application and Theory of Petri Nets 2000","author":"K.H. Mortensen","year":"2000","unstructured":"Mortensen, K.H.: Automatic code generation method based on coloured petri net models applied on an access control system. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 367\u2013386. Springer, Heidelberg (2000)"},{"key":"26_CR38","unstructured":"Mosawi, A.A., Zhao, L., Macaulay, L.A.: A model driven architecture for enterprise application integration. In: HICSS (2006)"},{"issue":"2","key":"26_CR39","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1016\/j.arcontrol.2012.09.009","volume":"36","author":"H. Panetto","year":"2012","unstructured":"Panetto, H., Jardim-Gon\u00e7alves, R., Molina, A.: Enterprise integration and networking: Theory and practice. Annual Reviews in Control\u00a036(2), 284\u2013290 (2012)","journal-title":"Annual Reviews in Control"},{"key":"26_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-540-85758-7_16","volume-title":"Business Process Management","author":"A. Rozinat","year":"2008","unstructured":"Rozinat, A., Wynn, M.T., van der Aalst, W.M.P., ter Hofstede, A.H.M., Fidge, C.J.: Workflow simulation for operational decision support using design, historic and state information. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 196\u2013211. Springer, Heidelberg (2008)"},{"key":"26_CR41","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/978-1-84800-221-0_38","volume-title":"Enterprise Interoperability III","author":"T. Scheibler","year":"2008","unstructured":"Scheibler, T., Leymann, F.: A framework for executable enterprise application integration patterns. In: Mertins, K., Ruggaber, R., Popplewell, K., Xu, X. (eds.) Enterprise Interoperability III, pp. 485\u2013497. Springer, London (2008)"},{"key":"26_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/3-540-44988-4_27","volume-title":"Application and Theory of Petri Nets 2000","author":"K. Schmidt","year":"2000","unstructured":"Schmidt, K.: LoLA A low level analyser. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 465\u2013474. Springer, Heidelberg (2000)"},{"key":"26_CR43","unstructured":"University of Aarhus - Department of Computer Science: CPnets - industrial use, http:\/\/cs.au.dk\/cpnets\/industrial-use\/ (retrieved November 28, 2012)"},{"issue":"2","key":"26_CR44","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/244795.244801","volume":"19","author":"D.M. Yellin","year":"1997","unstructured":"Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Trans. Program. Lang. Syst.\u00a019(2), 292\u2013333 (1997)","journal-title":"ACM Trans. Program. Lang. Syst."}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38709-8_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,15]],"date-time":"2019-07-15T19:08:05Z","timestamp":1563217685000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38709-8_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319981765","9783319981772"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38709-8_26","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"value":"1612-2909","type":"print"},{"value":"1860-0824","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}