Modelagem Matemática e Computacional de uma Solução de Integração baseada em Padrões de Integração Empresariais para o Formalismo de Redes de Petri Coloridas

Alexsandro Queiroz Lencina, Fabricia Roos-Frantz, Rafael Zancan Frantz, Sandro Sawicki

Resumo


Os Padrões de integração empresariais permitem auxiliar o enfrentamento dos desafios nos estágios iniciais de um projeto de integração. Várias Domain Specific Languages - DSL foram desenvolvidos para descrever soluções de integração. Este artigo propõe um modelo de simulação para uma solução de integração em Guaraná DSL, com equivalência dos padrões de integração,
tarefas do Guaraná e dos elementos das redes de Petri coloridas, com a finalidade de verificação de análises de propriedades de um sistema.


Palavras-chave


Redes de Petri Coloridas; Padrões de Integração Empresariais, Modelagem Matemática

Texto completo:

PDF

Referências


Aalst, W. V and Stahl, C. Modeling business processes: a petri net-oriented approach,MITpress, 2011.

Dossot, D., D’Emic, J. and Romero, V. Mule in action, title=Mule in action, author=Dossot,David and D’Emic, John and Romero, Victor,Manning Publication Co., 2014.

Fahland, D. and Gierds, C.Using petri nets for modeling enterprise integration patterns.Technical Report BPM Center Report BPM-12-18, 2012.

Fahland, D. and Gierds, C. Analyzing and completing middleware designs for enterprise inte-gration using coloured petri nets.International Conference on Advanced Information SystemsEngineering, pg 400-416, Springer, 2013.

Fischer, M., Partner, J., Bogovice, M. and Fuld, Iwein. Spring integration in action,ManningPublication Co., 2012.

Frantz, R.Z., Quintero, R., Antonia, M., Corchuelo, R. A domain-specific language to designenterprise application integration solutionsInternational Journal of Cooperative InformationSystems, volume 20, nr 02, pages 143-176, Wordl Scientific, 2011.

Frantz, R.Z., Corchuelo, R., Molina, C. J. A proposal to detect errors in Enterprise Applica-tion Integration solutionsJournal of Systems and Software, volume 85, nr 3, pages 480-497,Elsevier, 2012. DOI 10.1016/j.jss.2011.10.048.[8] Frantz, R. Z., Corchuelo, R. and Frantz, F. R.On the design of a maintainable softwaredevelopment kit to implement integration solutions. Journal of Systems and Software, volume111, pages 89-104, Elsevier, 2016.[9] Hohpe, G., Woolf, B.Enterprise integration patterns: Designing, building, and deployingmessaging solutions. Addison-Wesley Professional, 2004.

Ibsen, C. and Anstey Jonathan. Camel in action,Manning Publication Co., 2010.

Jensen, K. and Kristensen, L. M. Coloured Petri nets: modelling and validation of concurrentsystems,Springer Science & Business Media., 2009.

Jensen, K. and Kristensen, L. M. Coloured Petri nets: basic concepts, analysis methods andpractical use,Springer Science & Business Media., volume 1, 2013.

Murata, T. Petri nets: Properties, analysis and applications.Proceedings of the IEEE, v. 77,n. 4, p. 541-580, 1989.




DOI: https://doi.org/10.5540/03.2021.008.01.0438

Apontamentos

  • Não há apontamentos.


SBMAC - Sociedade de Matemática Aplicada e Computacional
Edifício Medical Center - Rua Maestro João Seppe, nº. 900, 16º. andar - Sala 163 | São Carlos/SP - CEP: 13561-120
 


Normas para publicação | Contato