Document details

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 domainspecific 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.