Analyzing and Completing Middleware Designs for Enterprise Integration Using Coloured Petri Nets (original) (raw)

References

  1. van der Aalst, W.M.P., van Dongen, B.F., Günther, 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. 4546, pp. 484–494. Springer, Heidelberg (2007)
    Chapter Google Scholar
  2. van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Inf. Syst. 30(4), 245–275 (2005)
    Article Google Scholar
  3. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases 14(1), 5–51 (2003)
    Article Google Scholar
  4. Barn, B.S., Clark, T.: Revisiting naur’s programming as theory building for enterprise architecture modelling. In: Mouratidis, H., Rolland, C. (eds.) CAiSE 2011. LNCS, vol. 6741, pp. 229–236. Springer, Heidelberg (2011)
    Chapter Google Scholar
  5. 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. 3649, pp. 302–318. Springer, Heidelberg (2005)
    Chapter Google Scholar
  6. Bracciali, A., Brogi, A., Canal, C.: A formal approach to component adaptation. Journal of Systems and Software 74(1), 45–54 (2005)
    Article Google Scholar
  7. Brogi, A., Canal, C., Pimentel, E.: On the semantics of software adaptation. Sci. Comput. Program. 61(2), 136–151 (2006)
    Article MathSciNet MATH Google Scholar
  8. Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing web service choreographies. Electr. Notes Theor. Comput. Sci. 105, 73–94 (2004)
    Article Google Scholar
  9. Chen, D., Doumeingts, G., Vernadat, F.: Architectures for enterprise integration and interoperability: Past, present and future. Computers in Industry 59(7), 647–659 (2008)
    Article Google Scholar
  10. Cheng, A., Christensen, S., Mortensen, K.H.: Model checking Coloured Petri Nets - exploiting strongly connected components. Tech. rep. University of Aarhus (1996)
    Google Scholar
  11. Cherkasova, L., Kotov, V., Rokicki, T.: On net modeling of industrial size concurrent systems. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol. 691, pp. 552–561. Springer, Heidelberg (1993)
    Chapter Google Scholar
  12. Christensen, S., Mortensen, K.H.: ASK-CTL, University of Aarhus (1996)
    Google Scholar
  13. Clarke, E.M., Grumberg, O., Peled, D.: Model checking. MIT Press (2001)
    Google Scholar
  14. 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. 4102, pp. 65–80. Springer, Heidelberg (2006)
    Chapter Google Scholar
  15. 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
  16. Frantz, R.Z., Quintero, A.M.R., Corchuelo, R.: A domain-specific language to design enterprise application integration solutions. Int. J. Cooperative Inf. Syst. 20(2), 143–176 (2011)
    Article Google Scholar
  17. 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. 7350, pp. 1–15. Springer, Heidelberg (2012)
    Chapter Google Scholar
  18. 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. 3576, pp. 418–423. Springer, Heidelberg (2005)
    Chapter Google Scholar
  19. Gierds, C., Mooij, A.J., Wolf, K.: Reducing adapter synthesis to controller synthesis. IEEE T. Services Computing 5(1), 72–85 (2012)
    Article Google Scholar
  20. Google: Checkout, https://checkout.google.com/ (retrieved October 19, 2012)
  21. Grahlmann, B., Best, E.: PEP - more than a petri net tool. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol. 1055, pp. 397–401. Springer, Heidelberg (1996)
    Chapter Google Scholar
  22. He, W., Xu, L.D.: Integration of distributed enterprise applications: A survey. IEEE Transactions on Industrial Informatics, 1–9 (2012)
    Google Scholar
  23. Hentrich, C., Zdun, U.: A pattern language for process execution and integration design in service-oriented architectures. T. Pattern Languages of Programming 1, 136–191 (2009)
    Article Google Scholar
  24. Hohpe, G., Woolf, B.: Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)
    Google Scholar
  25. Ibsen, C., Anstey, J.: Camel in Action. Manning Publications (2010)
    Google Scholar
  26. Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer (2009)
    Google Scholar
  27. Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. STTT 9(3-4), 213–254 (2007)
    Article Google Scholar
  28. Konda, M.: Just Spring Integration - Enterprise Application Patterns and Messaging. O’Reilly (2012)
    Google Scholar
  29. 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. 6128, pp. 39–42. Springer, Heidelberg (2010)
    Chapter Google Scholar
  30. 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. 6371, pp. 215–230. Springer, Heidelberg (2010)
    Chapter Google Scholar
  31. 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–236 (October 2006)
    Google Scholar
  32. 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. 2324, pp. 200–204. Springer, Heidelberg (2002)
    Google Scholar
  33. Liu, D., Wang, J., Chan, S.C.F., Sun, J., Zhang, L.: Modeling workflow processes with Colored Petri Nets. Comput. Ind. 49(3), 267–281 (2002)
    Article Google Scholar
  34. Lytra, I., Sobernig, S., Zdun, U.: Architectural decision making for service-based platform integration: A qualitative multi-method study. In: WICSA/ECSA, pp. 111–120 (2012)
    Google Scholar
  35. Mederly, P., Lekavý, M., Závodský, M., Návrat, P.: Construction of messaging-based enterprise integration solutions using AI planning. In: Szmuc, T., Szpyrka, M., Zendulka, J. (eds.) CEE-SET 2009. LNCS, vol. 7054, pp. 16–29. Springer, Heidelberg (2012)
    Chapter Google Scholar
  36. Mendes, J.M., Leitão, 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 50(6), 1650–1665 (2012)
    Article Google Scholar
  37. 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. 1825, pp. 367–386. Springer, Heidelberg (2000)
    Chapter Google Scholar
  38. Mosawi, A.A., Zhao, L., Macaulay, L.A.: A model driven architecture for enterprise application integration. In: HICSS (2006)
    Google Scholar
  39. Panetto, H., Jardim-Gonçalves, R., Molina, A.: Enterprise integration and networking: Theory and practice. Annual Reviews in Control 36(2), 284–290 (2012)
    Article Google Scholar
  40. 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. 5240, pp. 196–211. Springer, Heidelberg (2008)
    Chapter Google Scholar
  41. 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–497. Springer, London (2008)
    Chapter Google Scholar
  42. Schmidt, K.: LoLA A low level analyser. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 465–474. Springer, Heidelberg (2000)
    Chapter Google Scholar
  43. University of Aarhus - Department of Computer Science: CPnets - industrial use, http://cs.au.dk/cpnets/industrial-use/ (retrieved November 28, 2012)
  44. Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Trans. Program. Lang. Syst. 19(2), 292–333 (1997)
    Article Google Scholar

Download references