Using Petri Nets to Enable the Simulation of Application Integration Solutions Conceptual Models

Fabricia Roos-Frantz, Manuel Binelo, Rafael Z. Frantz, Sandro Sawicki, Vitor Basto-Fernandes

2015

Abstract

Enterprise application integration concerns with the use of methodologies and tools to design and implement integration solutions to integrate a set of heterogeneous enterprise applications. Amongst the integration technologies to design and implement integration solutions is Guaraná. This technology provides a domain-specific language that enables the design of conceptual models. The quality of these models is essential to ensure proper integration. Discovering whether an integration solution can fail and in which conditions it is more likely to happen is a costly, risky, and time-consuming task, since current approaches require software engineers to construct the real solution. Generally, simulation is recommended when problems are impossible or expensive to be solved by actual experimentation. Guaraná conceptual models can be classified as stochastic, dynamic, and discrete, and thus it can be simulated taking the advantage of well-established techniques and tools for discrete-event simulation. Therefore, this paper proposes a simulation of Guaraná solutions by using Petri nets, in order to analyse such solutions based only on the conceptual models. It shows that an integration solution conceptual model designed with Guaraná can be translated into a formal model structured as a Stochastic Petri net. The equivalence of both models is verified by comparing the operation of the Guaraná runtime system with the behaviour of a Petri net execution process.

References

  1. Alla, H. and Ghomri, L. (2012). Modeling and Simulation by Hybrid Petri Nets. In Proceedings of the Winter Simulation Conference (WSC), pages 1-8.
  2. Bause, F. and Kritzinger, P. S. (1998). Stochastic Petri Nets: An Introduction to the Theory. SIGMETRICS Perform. Eval. Rev., 26(2):2-3.
  3. Cavalieri, S. (2000). Improving Performance of a Flexible Manufacturing System by Petri Net Based Modelling and Simulation. In Industrial Electronics Society, 2000. IECON 2000. 26th Annual Confjerence of the IEEE, volume 2, pages 1298-1303 vol.2. IEEE.
  4. David, R. and Alla, H. (1994). Petri Nets for Modeling of Dynamic Systems: a Survey. Automatica, 30(2):175- 202.
  5. Davidrajuh, R. (2008). Developing a New Petri Net Tool for Simulation of Discrete Event Systems. In Modeling Simulation, 2008. AICMS 08. Second Asia International Conference on, pages 861-866. IEEE.
  6. Dossot, D. and D'Emic, J. (2009). Mule in Action. Manning.
  7. Fisher, M., Partner, J., Bogoevici, M., and Fuld, I. (2010). Spring Integration in Action. Manning.
  8. Frantz, R. Z. and Corchuelo, R. (2012). A Software Development Kit to Implement Integration Solutions. In 27th Symposium On Applied Computing, pages 1647- 1652.
  9. Frantz, R. Z., Reina-Quintero, A. M., and Corchuelo, R. (2011). A Domain-Specific language to design enterprise application integration solutions. International Journal of Cooperative Information Systems, 20(2):143-176.
  10. Gold, R. (2004). Petri Nets in Software Engineering. Working Papers.
  11. Hohpe, G. and Woolf, B. (2003). Enterprise Integration Patterns - Designing, Building, and Deploying Messaging Solutions. Addison-Wesley.
  12. Ibsen, C. and Anstey, J. (2010). Camel in Action. Manning.
  13. Kuo, C.-H. (2004). Development of Distributed Agentoriented Petri Net Simulation and Control Environment for Discrete Event Dynamic Systems. In Systems, Man and Cybernetics, 2004 IEEE International Conference on, volume 5, pages 5001-5006 vol.5. IEEE.
  14. Marsan, M. A. (1990). Stochastic petri nets: An elementary introduction. In Rozenberg, G., editor, Advances in Petri Nets 1989, pages 1-29. Springer-Verlag New York, Inc., New York, NY, USA.
  15. Mens, T. and Gorp, P. V. (2006). A Taxonomy of Model Transformation. Electron. Notes Theor. Comput. Sci., 152:125-142.
  16. Molloy, M. K. (1981). On the Integration of Delay and Throughput Measures in Distributed Processing Models. PhD thesis, University of California, Los Angeles.
  17. Narahari, Y., Suryanarayanan, K., and Reddy, N. (1989). Discrete Event Simulation of Distributed Systems Using Stochastic Petri Nets. In TENCON 7889. Fourth IEEE Region 10 International Conference, pages 622- 625. IEEE.
  18. Pere, B., Lladó, C. M., Puijaner, R., and Knottenbelt, W. J. (2007). PIPE v2. 5: A Petri Net Tool for Performance Modelling. In Proc. 23rd Latin American Conference on Informatics (CLEI 2007).
  19. Rezai, M., Ito, M., and Lawrence, P. (1995). Modeling and simulation of hybrid control systems by Global Petri Nets. In Circuits and Systems, 1995. ISCAS'95., 1995 IEEE International Symposium on, volume 2, pages 908-911 vol.2. IEEE.
  20. Russell, N., van der Aalst, W., and ter Hofstede, A. (2009). Designing a workflow system using coloured petri nets. In Jensen, K., Billington, J., and Koutny, M., editors, Transactions on Petri Nets and Other Models of Concurrency III, volume 5800 of Lecture Notes in Computer Science, pages 1-24. Springer Berlin Heidelberg.
  21. Schmidt, D. C. (2006). Guest editor's introduction: Modeldriven engineering. IEEE Computer, 39(2):25-31.
  22. van der Aalst, W., Stahl, C., and Westergaard, M. (2013). Strategies for modeling complex processes using colored petri nets. In Jensen, K., van der Aalst, W., Balbo, G., Koutny, M., and Wolf, K., editors, Transactions on Petri Nets and Other Models of Concurrency VII, volume 7480 of Lecture Notes in Computer Science, pages 6-55. Springer Berlin Heidelberg.
  23. Weiss, J. (2005). Aligning relationships: Optimizing the value of strategic outsourcing. Technical report, IBM.
  24. Zhou, M. (1998). Modeling, Analysis, Simulation, Scheduling, and Control of Semiconductor Manufacturing Systems: A Petri Net Approach. Semiconductor Manufacturing, IEEE Transactions on, 11(3):333- 357.
Download


Paper Citation


in Harvard Style

Roos-Frantz F., Binelo M., Z. Frantz R., Sawicki S. and Basto-Fernandes V. (2015). Using Petri Nets to Enable the Simulation of Application Integration Solutions Conceptual Models . In Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 1: ICEIS, ISBN 978-989-758-096-3, pages 87-96. DOI: 10.5220/0005351900870096


in Bibtex Style

@conference{iceis15,
author={Fabricia Roos-Frantz and Manuel Binelo and Rafael Z. Frantz and Sandro Sawicki and Vitor Basto-Fernandes},
title={Using Petri Nets to Enable the Simulation of Application Integration Solutions Conceptual Models},
booktitle={Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 1: ICEIS,},
year={2015},
pages={87-96},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005351900870096},
isbn={978-989-758-096-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 1: ICEIS,
TI - Using Petri Nets to Enable the Simulation of Application Integration Solutions Conceptual Models
SN - 978-989-758-096-3
AU - Roos-Frantz F.
AU - Binelo M.
AU - Z. Frantz R.
AU - Sawicki S.
AU - Basto-Fernandes V.
PY - 2015
SP - 87
EP - 96
DO - 10.5220/0005351900870096