Contribuição para uma teoria formal de sistemas de produção

O presente relatório descreve o trabalho desenvolvido pelo autor no seu projecto de doutoramento “Contribuição para uma Teoria Formal de Sistemas de Produção”. A necessidade, identificada pela Comunidade científica, de uma base teórica sólida e rigorosa para a área da engenharia de sistemas de produção, funcionou como principal motivação para este projecto. O objectivo geral consiste em desenvolver elementos de uma teoria formal de sistemas de produção, recorrendo para isso à lógica matemática, teoria de linguagens e teoria de autómatos. A tese defendida neste projecto é formada por três componentes: (i) não existe uma teoria formal unificada de sistemas de produção, (ii) uma abordagem baseada na lógica de primeira ordem, gramáticas formais, e autómatos permite caminhar no sentido de obter essa teoria e aplicá-la no processo de projecto de sistemas produtivos, e, (iii) a utilização de técnicas de descrição formal permite automatizar algumas fases desse processo de projecto. O trabalho foi concluído com sucesso - demonstraram-se os componentes da tese, e contribuiu-se, efectivamente, para o estabelecimento da desejada fundação teórica formal para a área dos sistemas de produçãoThis report describes the author’s work on his doctoral project – “Contribution to a Formal Theory of Manufacturing Systems”. As identified by the scientific community, the need for a sound theoretical base to the manufacturing systems engineering area has provided the main motivation for this project. The overall objective is the development of elements of a formal theory of manufacturing systems, based on mathematical logic, languages theory and automata theory. The project’s thesis has three components: (i) there is no unified formal theory of manufacturing systems, (ii) an approach based on first-order logic, formal grammars and automata allows the investigation towards that theory, and its application in the manufacturing systems design process, and, (iii) the use of formal description techniques allows the automation of some stages of that design process. The work was successfully accomplished – the thesis’s components were demonstrated, and an effective contribution to the establishment of the desired manufacturing systems theoretical formal foundation, was provided.Universidade do Minho