A carregar...
Publicação
Feasibility study of the use of petri nets in the verification of UML diagrams
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 420.18 KB | Adobe PDF |
Orientador(es)
Resumo(s)
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.
Descrição
Palavras-chave
UML Petri Nets Research UML diagrams Model transformation
Contexto Educativo
Citação
Vidal; Larissa; Benito, Franck; Fernandes, José Eduardo (2023). Feasibility study of the use of petri nets in the verification of UML diagrams. In Multidisciplinary International Conference of Research Applied to Defense and Security (MICRADS’22). Cham: Springer, p. 29-38. ISBN 978-981197688-9
Editora
Springer