Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/14564
Full metadata record
DC FieldValueLanguage
dc.contributor.authorSoylu,G.K.-
dc.contributor.authorDemirors,O.-
dc.date.accessioned2024-06-19T14:29:39Z-
dc.date.available2024-06-19T14:29:39Z-
dc.date.issued2023-
dc.identifier.isbn979-835034235-2-
dc.identifier.urihttps://doi.org/10.1109/SEAA60479.2023.00047-
dc.identifier.urihttps://hdl.handle.net/11147/14564-
dc.description.abstractThe 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.isoenen_US
dc.publisherInstitute of Electrical and Electronics Engineers Inc.en_US
dc.relation.ispartofProceedings - 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 -- 196105en_US
dc.rightsinfo:eu-repo/semantics/closedAccessen_US
dc.subjectanalysisen_US
dc.subjectMicroserviceen_US
dc.subjectmodellingen_US
dc.subjectPetri netsen_US
dc.subjectverificationen_US
dc.titleAn Exploratory Case Study: Using Petri Nets for Modelling Microservice-based Systemsen_US
dc.typeConference Objecten_US
dc.departmentIzmir Institute of Technologyen_US
dc.identifier.startpage254en_US
dc.identifier.endpage261en_US
dc.identifier.scopus2-s2.0-85183317780-
dc.relation.publicationcategoryKonferans Öğesi - Uluslararası - Kurum Öğretim Elemanıen_US
dc.identifier.doi10.1109/SEAA60479.2023.00047-
dc.authorscopusid58029432000-
dc.authorscopusid55949165100-
dc.identifier.wosqualityN/A-
dc.identifier.scopusqualityN/A-
item.openairetypeConference Object-
item.cerifentitytypePublications-
item.languageiso639-1en-
item.grantfulltextnone-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.fulltextNo Fulltext-
Appears in Collections:Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection
Show simple item record



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.