Diagramas e Lógicas de Recursos: Lá e de Volta Novamente

Modelagem de recursos é uma notação e uma abordagem para modelar a comumidade e variabilidade em famílias de produtos. Em sua forma básica, os modelos de recursos contêm recursos obrigatórios/opcionais, grupos de recursos e relações implica e exclui. Sabe-se que tais modelos de recursos podem ser traduzidos em fórmulas proposicionais, o que permite a análise e configuração usando ferramentas lógicas existentes. Neste artigo, consideramos o problema de tradução oposto, ou seja, a extração de modelos de recursos a partir de fórmulas proposicionais. Apresentamos um procedimento automático e eficiente para calcular um modelo de recursos a partir de uma fórmula. Como efeito colateral, caracterizamos uma classe de fórmulas lógicas equivalentes a modelos de recursos e identificamos estruturas lógicas correspondentes a seus elementos sintáticos. Embora muitos modelos de recursos diferentes possam ser extraídos de uma única fórmula, o modelo calculado se esforça para expor graficamente o máximo da estrutura lógica original, enquanto minimiza redundâncias na representação. O trabalho apresentado avança nossa compreensão da semântica da modelagem de recursos e sua relação com lógicas, abrindo avenidas para novas aplicações em engenharia reversa e refatoração de modelos de recursos.