Modelagem da Solução de integração Café por meio de Rede de Petri Coloridas
Description
Nowadays it is very common for companies to use a software ecosystem, these ecosystems can be made up of several applications, and it is increasingly necessary for these applications to be integrated with the intention that data and functionality can be shared between them, therefore, it is advisable to integrate applications because it brings a better cost benefit to the company that opts for this alternative. To this purpose, there are platforms that provide support for modeling and implementing integration solutions, one example of which is Guaraná. Before an integration solution can be implemented, it should be checked to avoid possible errors in the modeling, and thus prevent errors from being corrected only in late stages of its development. The purpose of this article is to model the integration solution known as Café using the Petri Nets formalism, thus generating a model that can serve as a basis for the verification and validation of this solution. We present a translation of the Café solution model, developed with the Guaraná DSL platform modeling language, to a model in Colored Petri Nets. It is hoped that this modeling can contribute to the process of verification and validation of integration solutions.
Files
LuisTabile_ST2.mp4
Files
(16.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:42e3558121628720f3df1dac687f86c2
|
16.7 MB | Preview Download |
Additional details
References
- J. and Reisig, W. (2015). The concepts of petri nets.Software & Systems Modeling,14(2):669–683.
- Fahland, D. and Gierds, C. (2013). Analyzing and completing middleware designs forenterprise integration using coloured petri nets. In Advanced Information Systems Engineering, 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 maintainable software development kit to implement integration solutions.Journal of Systems and Software, 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 Software Tools 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-losung fur 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.