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 |
| 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. |
|---|