Method of Performance Analysis of Time-Critical Applications Using DB-Nets

These days, most of time-critical business processes are performed using computer technologies. As an example, one can consider financial processes including trading on stock exchanges powered by electronic communication protocols such as the Financial Information eXchange (FIX) Protocol. One of the main challenges emerging with such processes concerns maintaining the best possible performance since any unspecified delay may cause a large financial loss or other damage. Therefore, performance analysis of time-critical systems and applications is required. In the current work, we develop a novel method for a performance analysis of time-critical applications based on the db-net formalism, which combines the ability of colored Petri nets to model a system control flow with the ability to model relational database states. This method allows to conduct a performance analysis for time-critical applications that work as transactional systems and have log messages which can be represented in the form of table records in a relational database. One of such applications is a FIX protocol-based trading communication system. This system is used in the work to demonstrate applicability of the proposed method for time-critical systems performance analysis. However, there are plenty of similar systems existing for different domains, and the method can also be applied for a performance analysis of these systems. The software prototype is developed for testing and demonstrating abilities of the method. This software prototype is based on an extension of Renew software tool, which is a reference net simulator. The testing input for the software prototype includes a test log with FIX messages, provided by a software developer of testing solutions for one of the global stock exchanges. An application of the method for quantitative analysis of maximum acceptable delay violations is presented. The developed method allows to conduct a performance analysis as a part of conformance checking of a considered system. The method can be used in further research in this domain as well as in testing the performance of real time-critical software systems.

1. Harris L. Back Office Operations. Trading and Exchanges: Market Microstructure for PractitionersOxford Univуversity Press, 2003, chapter 7, section 7.2.2, pp. 148-149.

2. Introduction, FIX Trading Community, Available at: https://www.fixtrading.org/online-specification/introduction/, accessed 28.03.2021.

3. FIX TagValue Encoding, FIX Trading Community, Available at: https://www.fixtrading.org/standards/tagvalue-online/, accessed 28.03.2021.

4. Rigin A., Shershakov S. Data and Reference Semantic-Based Simulator of DB-Nets with the Use of Renew Tool. Lecture Notes in Computer Science, vol. 12602, 2021, pp. 453-465, DOI: 10.1007/978-3-030-72610-2_34.

5. Montali M., Rivkin A. DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases. Lecture Notes in Computer Science, vol. 10470, 2017, pp. 91-118.

6. Renew – The Reference Net Workshop. Renew.de, Available at: http://www.renew.de/, accessed 28.03.2021.

7. Vetter J. Performance analysis of distributed applications using automatic classification of communication inefficiencies. In Proc. of the 14th international conference on Supercomputing (ICS '00), 2000, pp. 245-254.

8. Marsan M. A., Bianco A. et al. A LOTOS extension for the performance analysis of distributed systems. IEEE/ACM Transactions on Networking, vol. 2, no. 2, 1994, pp. 151-165.

9. van der Aalst W., Adriansyah A., van Dongen B. Replaying history on process models for conformance checking and performance analysis. WIREs Data Mining and Knowledge Discovery, vol. 2, no. 2, 2012, pp. 182-192.

10. Haerder T., Reuter A. Principles of transaction-oriented database recovery. ACM Computing Surveys, vol. 15, no. 4, 1983, pp. 287-317.

11. 2. Open Capture Files, Wireshark.org, Available at: https://www.wireshark.org/docs/wsug_html_chunked/ChIOOpenSection.html, accessed 28.03.2021.