Modelagem da Solução de integração Café por meio de Rede de Petri Coloridas
Resumo
Hoje em dia é muito comum o uso de um ecossistema de software por empresas, esses ecossistemas podem ser compostos por diversas aplicações, e cotidianamente se vê mais necessário que essas aplicações sejam integradas com a intenção de que possam ser compartilhado dados e funcionalidades entre elas, sendo assim é aconselhável a integração de aplicações por trazer um melhor custo beneficio a empresa que opta por essa alternativa. Para esse fim, existem plataformas que fornecem suporte a modelagem e implementação de soluções de integração, um exemplo dessas plataformas é o Guaraná. Antes que uma solução de integração possa ser implementada, ela deveria ser verificada para evitar possíveis erros na modelagem, e assim evitar que erros sejam corrigidos apenas em etapas tardias do seu desenvolvimento. O objetivo deste artigo é modelar a solução de integração conhecida como Café utilizando o formalismo de Redes de Petri, gerando assim um modelo que pode servir como base para a verificação e validação desta solução. Apresentamos uma tradução do modelo da solução Café, desenvolvido com a linguagem de modelagem da plataforma Guaraná DSL, para um modelo em Redes de Petri Coloridas. Espera-se que esta modelagem possa contribuir com o processo de verificação e validação de soluções de integração.
Referências
Fahland, D. and Gierds, C. (2013). Analyzing and completing middleware designs forenterprise integration using coloured petri nets. InAdvanced Information Systems En-gineering, pages 400–416. Springer Berlin Heidelberg.
Frantz, R. Z. (2012).Enterprise Application Integration - An Easy-to-Mantain Model-Driven Engineering Approach. PhD thesis, Universidad de Sevilla.
Frantz, R. Z., Corchuelo, R., and Roos-Frantz, F. (2016). On the design of a maintainablesoftware development kit to implement integration solutions.Journal of Systems andSoftware, 111:89–104.
He, W. and Xu, L. D. (2014). Integration of distributed enterprise applications: A survey.IEEE Transactions on Industrial Informatics, 10(1):35–42.
Hohpe, G. (2005). Your coffee shop doesn’t use two-phase commit.IEEE software,22(2):64–66.
Hohpe, G. and Woolf, B. (2004).Enterprise integration patterns: Designing, building,and deploying messaging solutions. Addison-Wesley Professional, 1st edition.
Jensen, K. and Kristensen, L. M. (2009).Coloured Petri nets: modelling and validationof concurrent systems. Springer Science & Business Media.
Jensen, K., Kristensen, L. M., and Wells, L. (2007). Coloured petri nets and cpn toolsfor modelling and validation of concurrent systems.International Journal on SoftwareTools for Technology Transfer, 9(3):213–254.
Linthicum, D. S. (2000).Enterprise application integration. Addison-Wesley Professio-nal.
Metin, Y. (2018). Die nutzung von oracle integration cloud als ipaas-l ̈osung f ̈ur einehybride integration. pages 48–67.
Molloy, M. K. (1982). Performance analysis using stochastic petri nets.Computers, IEEETransactions on, 100(9):913–917.
Petri, C. (1966). Kommunikation mit automaten. schriften des iim nr. 2, institut furinstrumentelle mathematic. Technical report, English translation: Technical ReportRADCTR-65-377, Griffiths Air Base, New York.
Roos-Frantz, F., Binelo, M. O., Frantz, R. Z., Sawicki, S., and Basto-Fernandes, V. (2015).Using petri nets to enable the simulation of application integration solutions conceptualmodels. InInternational Conference on Enterprise Information Systems (ICEIS), pages87–97.
Sargent, R. G. (2005). Verification and validation of simulation models.Proceedings ofthe 37th conference on Winter simulation, pages 130–143.
van der Aalst, W. and Stahl, C. (2011).Modeling Business Processes: A Petri Net-Oriented Approach. The MIT Press.
