Publicação

Feasibility study of the use of petri nets in the verification of UML diagrams

Ver documento

Detalhes bibliográficos
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

Registos relacionados

Registos relacionados