LEMOS, A. J. P.; http://lattes.cnpq.br/1047552565537920; LEMOS, Adriano José Pinheiro.
Abstract:
In this work the main concepts of software reuse are applied to the formal modelling activit ics of a software development process. More specifically, we focus the model reuse of software systems described in Coloured Petri Nets. The main goal of this work is to improve the modelling process of complex, distributed, and concurrent software systems. As a result, we come with the introduction of reuse activities on the modeling process, namely the storage and retrieval of artifacts. This activities are suported by the introductio of a technique, and a method, which integrated, provide a way to reuse Petri Net models.