Skip to main content
SpringerLink
Log in

Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives

  • Conference paper
  • First Online:
Tools and Methods of Program Analysis (TMPA 2021)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 1559))

  • 81 Accesses

Abstract

Trading systems are software platforms that support the exchange of securities (e.g., company shares) between participants. In this paper, we present a method to search for deviations in trading systems by checking conformance between colored Petri nets and event logs. Colored Petri nets (CPNs) are an extension of Petri nets, a formalism for modeling of distributed systems. CPNs allow us to describe an expected causal ordering between system activities and how data attributes of domain-related objects (e.g., orders to trade) must be transformed. Event logs consist of traces corresponding to runs of a real system. By comparing CPNs and event logs, different types of deviations can be detected. Using this method, we report the validation of a real-life trading system.

This work is supported by the Basic Research Program at the National Research University Higher School of Economics.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 49.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 64.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    https://github.com/jcarrasquel/hse-uamc-conformance-checking.

References

  1. van der Aalst, W.: Process Mining: Data Science in Action, 2nd edn. Springer, Heidelberg (2016). https://doi.org/10.1007/978-3-662-49851-4

    Book  Google Scholar 

  2. Carmona, J., van Dongen, B., Solti, A., Weidlich, M.: Conformance Checking: Relating Processes and Models, 1st edn. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-99414-7

    Book  Google Scholar 

  3. Carrasquel, J.C., Lomazova, I.A.: Modelling and validation of trading and multi-agent systems: an approach based on process mining and petri nets. In: van Dongen, B., Claes, J. (eds.) Proceedings of the ICPM Doctoral Consortium. CEUR, vol. 2432 (2019)

    Google Scholar 

  4. Carrasquel, J.C., Lomazova, I.A., Itkin, I.L.: Towards a formal modelling of order-driven trading systems using petri nets: a multi-agent approach. In: Lomazova, I.A., Kalenkova, A., Yavorsky, R. (eds.) Modeling and Analysis of Complex Systems and Processes (MACSPro). CEUR, vol. 2478 (2019)

    Google Scholar 

  5. Carrasquel, J.C., Lomazova, I.A., Rivkin, A.: Modeling trading systems using petri net extensions. In: Köhler-Bussmeier, M., Kindler, E., Rölke, H. (eds.) International Workshop on Petri Nets and Software Engineering (PNSE). CEUR, vol. 2651 (2020)

    Google Scholar 

  6. Carrasquel, J.C., Mecheraoui, K.: Object-centric replay-based conformance checking: unveiling desire lines and local deviations. Model. Anal. Inf. Syst. 28(2), 146–168 (2021)

    Article  MathSciNet  Google Scholar 

  7. Carrasquel, J.C., Mecheraoui, K., Lomazova, I.A.: Checking conformance between colored petri nets and event logs. In: van der Aalst, W.M.P., et al. (eds.) AIST 2020. LNCS, vol. 12602, pp. 435–452. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-72610-2_33

    Chapter  Google Scholar 

  8. FIX Community - Standards: https://www.fixtrading.org/standards/

  9. Harris, L.: Trading and Exchanges: Market Microstructure for Practitioners. Oxford University Press, Oxford (2003)

    Google Scholar 

  10. Itkin, I., et al.: User-assisted log analysis for quality control of distributed fintech applications. In: IEEE International Conference On Artificial Intelligence Testing (AITest), pp. 45–51. IEEE (2019)

    Google Scholar 

  11. Jensen, K., Kristensen, L.M.: Coloured Petri Nets. Springer, Heidelberg (2009). https://doi.org/10.1007/b95112

    Book  Google Scholar 

  12. Mannhardt, F., Leoni, de, M., Reijers, H., van der Aalst, W.: Balanced multi-perspective checking of process conformance. Computer 98, 407–437 (2015)

    Google Scholar 

  13. Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  14. Rozinat, A., van der Aalst, W.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64–95 (2008)

    Article  Google Scholar 

  15. SNAKES: a flexible high-level petri net library. https://snakes.ibisc.univ-evry.fr/

Download references

Author information

Authors and Affiliations

  1. HSE University, Myasnitskaya ul. 20, 101000, Moscow, Russia

    Julio C. Carrasquel & Irina A. Lomazova

Authors
  1. Julio C. Carrasquel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Irina A. Lomazova
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Julio C. Carrasquel .

Editor information

Editors and Affiliations

  1. Tomsk Polytechnic University, Tomsk, Russia

    Rostislav Yavorskiy

  2. Telecom SudParis, Paris, France

    Ana Rosa Cavalli

  3. The University of Adelaide, Adelaide, SA, Australia

    Anna Kalenkova

Rights and permissions

Reprints and permissions

Copyright information

© 2024 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Carrasquel, J.C., Lomazova, I.A. (2024). Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives. In: Yavorskiy, R., Cavalli, A.R., Kalenkova, A. (eds) Tools and Methods of Program Analysis. TMPA 2021. Communications in Computer and Information Science, vol 1559. Springer, Cham. https://doi.org/10.1007/978-3-031-50423-5_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-50423-5_9

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-50422-8

  • Online ISBN: 978-3-031-50423-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation