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 Jul 19, 2024
Page view(s)
4
checked on Jul 22, 2024
Google ScholarTM
Check
Altmetric
Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.