Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/14564
Title: An Exploratory Case Study: Using Petri Nets for Modelling Microservice-Based Systems
Authors: Soylu,G.K.
Demirors,O.
Keywords: analysis
Microservice
modelling
Petri nets
verification
Publisher: Institute of Electrical and Electronics Engineers Inc.
Abstract: The rapid evolution of cloud technology has led to the development of highly responsive and flexible applications. Microservice-based Architecture (MSbA) is a popular approach for creating cloud-compatible applications. However, MSbA presents challenges in system verification and analysis. This paper explores using Petri nets for modelling microservice-based systems. The proposed method utilises abstraction and composition techniques to model complex systems using 1-safe Petri nets. A case study on Banking as a Service (BaaS) demonstrates the suitability of Petri nets for modelling, analysis and verification of microservice-based systems. © 2023 IEEE.
URI: https://doi.org/10.1109/SEAA60479.2023.00047
https://hdl.handle.net/11147/14564
ISBN: 979-835034235-2
Appears in Collections:Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection

Show full item record



CORE Recommender

Google ScholarTM

Check




Altmetric


Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.