PROCEDA – Um Processo para Construção e Verificação Semântica de Domínios em uma Linha de Produtos de Software Jaguaraci Batista Silva Departamento de Ciência da Computação / Laboratório de Sistemas Distribuídos Universidade Federal da Bahia Campus de Ondina, CEP: 40170-110, Salvador-BA, Brasil jaguarac@ufba.Br Resumo. A falta de um processo que norteie a construção e verificação semântica de um domínio de aplicação é um dos principais temas de pesquisa e várias metodologias tentam contornar esse problema. Um outro agravante é a própria evolução natural e aproximações com tecnologias recentes (e.g. ontologia, arquitetura orientada à modelos e programação orientada à aspectos) torna-se indispensável rever essas atividades para diminuir os erros e evitar re-trabalho. O PROCEDA contribui nesse âmbito, por apresentar um conjunto de atividades e técnicas para verificação semântica de domínios. Abstract. The lack of process that aims to get application building and semantic verification of domain is a top research theme and several methodologies try to solve it. Another trouble is the self natural evolution and actual technologies approaches (e.g. ontology, model-driven architecture and aspect-oriented programming) become indispensable to review theses activities to decrease faults and reworks. The PROCEDA method presents a set of activities and techniques for semantic verification of domains. . Keywords: Process, Ontology, Application Domain, Semantic Verification. 1 Introdução Há tempos pessoas envolvidas com a fabricação de software vem criando consciência de que para a satisfação dos clientes é necessário construir produtos com qualidade, porém não basta ter uma boa qualidade, se não for economicamente viável (Travassos et al, 2002). A engenharia de domínio, bem como, outras técnicas (e.g. padrões de projeto, desenvolvimento baseado em componentes, composição adaptativa, programação orientada a aspectos) visam a reutilização e está entre as técnicas mais relevantes para que se possa construir um software em menor tempo, maior confiabilidade e tendo como conseqüência