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.fulltextNo Fulltext-
item.grantfulltextnone-
item.languageiso639-1en-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.openairetypeConference Object-
Appears in Collections:Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection
Show simple 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.