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
SCOPUSTM
Citations
1
checked on Nov 15, 2024
Page view(s)
50
checked on Nov 18, 2024
Google ScholarTM
Check
Altmetric
Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.