Reúso de modelos em redes de petri coloridas.

• Ano de defesa: 2001
• Autor(a) principal: LEMOS, Adriano José Pinheiro.
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Campina Grande; Brasil; Centro de Engenharia Elétrica e Informática - CEEI; PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO; UFCG
• Palavras-chave em Português: Redes de Petri de Alto Nível; Engenharia de Software; Métodos Formais; Reúso de Software; High Level Petri Nets; Software Engineering; Formal Methods; Software Reuse; Ciência da Computação
• Link de acesso: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/7944

Neste trabalho investiga-se a aplicação dos principais conceitos de reúso de software na modelagem formal de sistemas. Mais especificamente, trata-se do reúso de modelos de sistemas de software utilizando Redes de Petri Coloridas. O principal objetivo é contribuir para melhorar o processo de modelagem de sistemas de software complexos, distribuídos e concorrentes. Como resultado, introduz-se atividades de reúso no processo de modelagem, mais especificamente armazenamento e recuperação. Tais atividades são suportadas pela introdução de um método e uma técnica integrados de forma a promover o reúso de modelos.