Please use this identifier to cite or link to this item:
https://hdl.handle.net/11147/14564
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Soylu,G.K. | - |
dc.contributor.author | Demirors,O. | - |
dc.date.accessioned | 2024-06-19T14:29:39Z | - |
dc.date.available | 2024-06-19T14:29:39Z | - |
dc.date.issued | 2023 | - |
dc.identifier.isbn | 979-835034235-2 | - |
dc.identifier.uri | https://doi.org/10.1109/SEAA60479.2023.00047 | - |
dc.identifier.uri | https://hdl.handle.net/11147/14564 | - |
dc.description.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. | en_US |
dc.language.iso | en | en_US |
dc.publisher | Institute of Electrical and Electronics Engineers Inc. | en_US |
dc.relation.ispartof | Proceedings - 2023 49th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2023 -- 49th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2023 -- 6 September 2023 through 8 September 2023 -- Durres -- 196105 | en_US |
dc.rights | info:eu-repo/semantics/closedAccess | en_US |
dc.subject | analysis | en_US |
dc.subject | Microservice | en_US |
dc.subject | modelling | en_US |
dc.subject | Petri nets | en_US |
dc.subject | verification | en_US |
dc.title | An Exploratory Case Study: Using Petri Nets for Modelling Microservice-based Systems | en_US |
dc.type | Conference Object | en_US |
dc.department | Izmir Institute of Technology | en_US |
dc.identifier.startpage | 254 | en_US |
dc.identifier.endpage | 261 | en_US |
dc.identifier.scopus | 2-s2.0-85183317780 | - |
dc.relation.publicationcategory | Konferans Öğesi - Uluslararası - Kurum Öğretim Elemanı | en_US |
dc.identifier.doi | 10.1109/SEAA60479.2023.00047 | - |
dc.authorscopusid | 58029432000 | - |
dc.authorscopusid | 55949165100 | - |
dc.identifier.wosquality | N/A | - |
dc.identifier.scopusquality | N/A | - |
item.openairetype | Conference Object | - |
item.cerifentitytype | Publications | - |
item.languageiso639-1 | en | - |
item.grantfulltext | none | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.fulltext | No Fulltext | - |
Appears in Collections: | Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection |
CORE Recommender
SCOPUSTM
Citations
1
checked on Jul 19, 2024
Page view(s)
2
checked on Jul 15, 2024
Google ScholarTM
Check
Altmetric
Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.