Publicação
Feasibility study of the use of petri nets in the verification of UML diagrams
| Resumo: | The UML is the standard language used in the systems modelling, and it describes the structure and the behaviour of the software. Petri net is a type of bipartite and oriented graph that enables the modelling, analysis, simulation, and control of discrete event systems. Many authors mapping the UML diagrams in a Petri net model, enabling an analysis to improve the software architecture. This paper presents the research to support the realization of an analysis model from a UML diagram mapping into a Petri net. The purpose of the research was to verify which are the UML diagrams and which types of Petri nets are used together. |
|---|---|
| Autores principais: | Vidal, Larissa |
| Outros Autores: | Benito, Franck; Fernandes, José Eduardo |
| Assunto: | UML Petri Nets Research UML diagrams Model transformation |
| Ano: | 2023 |
| País: | Portugal |
| Tipo de documento: | comunicação em conferência |
| Tipo de acesso: | acesso restrito |
| Instituição associada: | Instituto Politécnico de Bragança |
| Idioma: | inglês |
| Origem: | Biblioteca Digital do IPB |
| _version_ | 1867172827617034240 |
|---|---|
| author | Vidal, Larissa |
| author2 | Benito, Franck Fernandes, José Eduardo |
| author2_role | author author |
| author_facet | Vidal, Larissa Benito, Franck Fernandes, José Eduardo |
| author_role | author |
| contributor_name_str_mv | Biblioteca Digital do IPB |
| country_str | PT |
| creators_json_txt | [{\"Person.name\":\"Vidal, Larissa\"},{\"Person.name\":\"Benito, Franck\"},{\"Person.name\":\"Fernandes, José Eduardo\",\"Person.identifier.orcid\":\"0000-0001-9638-7593\"}] |
| datacite.contributors.contributor.contributorName.fl_str_mv | Biblioteca Digital do IPB |
| datacite.creators.creator.creatorName.fl_str_mv | Vidal, Larissa Benito, Franck Fernandes, José Eduardo |
| datacite.date.Accepted.fl_str_mv | 2023-01-01T00:00:00Z |
| datacite.date.available.fl_str_mv | 2021-07-27T15:22:33Z |
| datacite.date.embargoed.fl_str_mv | 2021-07-27T15:22:33Z |
| datacite.rights.fl_str_mv | http://purl.org/coar/access_right/c_16ec |
| datacite.subjects.subject.fl_str_mv | UML Petri Nets Research UML diagrams Model transformation |
| datacite.titles.title.fl_str_mv | Feasibility study of the use of petri nets in the verification of UML diagrams |
| dc.contributor.none.fl_str_mv | Biblioteca Digital do IPB |
| dc.creator.none.fl_str_mv | Vidal, Larissa Benito, Franck Fernandes, José Eduardo |
| dc.date.Accepted.fl_str_mv | 2023-01-01T00:00:00Z |
| dc.date.available.fl_str_mv | 2021-07-27T15:22:33Z |
| dc.date.embargoed.fl_str_mv | 2021-07-27T15:22:33Z |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | http://hdl.handle.net/10198/23777 |
| dc.language.none.fl_str_mv | eng |
| dc.publisher.none.fl_str_mv | Springer |
| dc.rights.cclincense.fl_str_mv | http://creativecommons.org/licenses/by/4.0/ |
| dc.rights.none.fl_str_mv | http://purl.org/coar/access_right/c_16ec |
| dc.subject.none.fl_str_mv | UML Petri Nets Research UML diagrams Model transformation |
| dc.title.fl_str_mv | Feasibility study of the use of petri nets in the verification of UML diagrams |
| dc.type.none.fl_str_mv | http://purl.org/coar/resource_type/c_5794 |
| description | The UML is the standard language used in the systems modelling, and it describes the structure and the behaviour of the software. Petri net is a type of bipartite and oriented graph that enables the modelling, analysis, simulation, and control of discrete event systems. Many authors mapping the UML diagrams in a Petri net model, enabling an analysis to improve the software architecture. This paper presents the research to support the realization of an analysis model from a UML diagram mapping into a Petri net. The purpose of the research was to verify which are the UML diagrams and which types of Petri nets are used together. |
| dirty | 0 |
| eu_rights_str_mv | restrictedAccess |
| format | conferencePaper |
| fulltext.url.fl_str_mv | https://bibliotecadigital.ipb.pt/bitstreams/77f784ca-53e3-4466-960f-3b0a5d64b6a9/download |
| id | ipb_d867da07bee59fa6c4c63d1702fcbcc0 |
| identifier.url.fl_str_mv | http://hdl.handle.net/10198/23777 |
| instacron_str | ipb |
| institution | Instituto Politécnico de Bragança |
| instname_str | Instituto Politécnico de Bragança |
| language | eng |
| network_acronym_str | ipb |
| network_name_str | Biblioteca Digital do IPB |
| oai_identifier_str | oai:bibliotecadigital.ipb.pt:10198/23777 |
| organization_str_mv | urn:organizationAcronym:ipb |
| person_str_mv | Vidal, Larissa Benito, Franck Fernandes, José Eduardo Fernandes, José Eduardo https://www.ciencia-id.pt/6116-E758-412C 6116-E758-412C http://orcid.org/0000-0001-9638-7593 0000-0001-9638-7593 |
| publishDate | 2023 |
| publisher.none.fl_str_mv | Springer |
| reponame_str | Biblioteca Digital do IPB |
| repository_id_str | urn:repositoryAcronym:ipb |
| service_str_mv | urn:repositoryAcronym:ipb |
| spelling | engSpringerpt_PTThe UML is the standard language used in the systems modelling, and it describes the structure and the behaviour of the software. Petri net is a type of bipartite and oriented graph that enables the modelling, analysis, simulation, and control of discrete event systems. Many authors mapping the UML diagrams in a Petri net model, enabling an analysis to improve the software architecture. This paper presents the research to support the realization of an analysis model from a UML diagram mapping into a Petri net. The purpose of the research was to verify which are the UML diagrams and which types of Petri nets are used together.application/pdfpt_PTFeasibility study of the use of petri nets in the verification of UML diagramsVidal, LarissaBenito, FranckPersonalFernandes, José EduardoDSpacehttp://dspace.org/items/7cd5850d-39ec-4ab9-aa2c-891d1f460748DSpacehttp://dspace.org/items/7cd5850d-39ec-4ab9-aa2c-891d1f460748FernandesJosé EduardoCiência IDhttps://www.ciencia-id.pt6116-E758-412CORCIDhttp://orcid.org0000-0001-9638-7593Researcher IDhttps://www.researcherid.comO-1918-2015Scopus Author IDhttps://www.scopus.com24484600200HostingInstitutionOrganizationalBiblioteca Digital do IPBe-mailmailto:dspace@ipb.ptdspace@ipb.ptISBNIsPartOf978-981197688-9DOIIsPartOf10.1007/978-981-19-7689-6_32021-07-27T15:22:33Z20232023-01-01T00:00:00ZHandlehttp://hdl.handle.net/10198/23777http://purl.org/coar/access_right/c_16ecrestricted accessUMLPetri NetsResearchUML diagramsModel transformation430262 bytesother research producthttp://purl.org/coar/resource_type/c_5794conference paper2023http://creativecommons.org/licenses/by/4.0/http://purl.org/coar/access_right/c_16ecapplication/pdffulltexthttps://bibliotecadigital.ipb.pt/bitstreams/77f784ca-53e3-4466-960f-3b0a5d64b6a9/downloadMultidisciplinary International Conference of Research Applied to Defense and Security (MICRADS’22)2938 |
| spellingShingle | Feasibility study of the use of petri nets in the verification of UML diagrams Vidal, Larissa UML Petri Nets Research UML diagrams Model transformation |
| status | SINGLETON |
| subject.fl_str_mv | UML Petri Nets Research UML diagrams Model transformation |
| title | Feasibility study of the use of petri nets in the verification of UML diagrams |
| title_full | Feasibility study of the use of petri nets in the verification of UML diagrams |
| title_fullStr | Feasibility study of the use of petri nets in the verification of UML diagrams |
| title_full_unstemmed | Feasibility study of the use of petri nets in the verification of UML diagrams |
| title_short | Feasibility study of the use of petri nets in the verification of UML diagrams |
| title_sort | Feasibility study of the use of petri nets in the verification of UML diagrams |
| topic | UML Petri Nets Research UML diagrams Model transformation |
| topic_facet | UML Petri Nets Research UML diagrams Model transformation |
| url | http://hdl.handle.net/10198/23777 |
| visible | 1 |