Philosophiae Doctor - PhD / A tactical con guration consists of a nite set V of points, a nite set B of blocks and an incidence relation between them, so that all blocks are incident with the same number k points, and all points are incident with the same number r of blocks (See [14] for example ). If v := jV j and b := jBj; then v; k; b; r are known as the parameters of the con guration. Counting incident point-block pairs, one sees that vr = bk: In this thesis, we generalize tactical con gurations on Steiner triple systems obtained from projective geometry. Our objects are subgeometries as blocks. These subgeometries are collected into systems and we study them as designs and graphs. Considered recursively is a further tactical con guration on some of the designs obtained and in what follows, we obtain similar structures as the Steiner triple systems from projective geometry. We also study these subgeometries as factorizations and examine the automorphism group of the new structures. These tactical con gurations at rst sight do not form interesting structures. However, as will be shown, they o er some level of intriguing symmetries. It will be shown that they inherit the automorphism group of the parent geometry.

Configuração modelo de features é conhecida por ser uma atividade complexa, demorada e propensa a erros. Esta atividade torna-se ainda mais complicada quando envolve múltiplas partes interessadas no processo de configuração. Trabalhos de pesquisa têm proposto abordagens para ajudar na configuração de modelo de features, mas elas dependem de processos sistemáticos que restringem as decisões de alguns dos stakeholders. Neste trabalho, propomos uma nova abordagem para melhorar o processo de configuração multi-stakeholder, considerando as preferências dos stakeholders expressas através de restrições duras e brandas. Com base em tais preferências, recomendamos diferentes configurações de produto utilizando diferentes estratégias da teoria da escolha social. Nossa abordagem é implementada em uma ferramenta chamada SACRES, que permite criar grupos de stakeholders, especificar preferências dos stakeholders sobre uma configuração e gerar as configurações ideais. Realizamos um estudo empírico para avaliar a eficácia de nossas estratégias no que diz respeito à satisfação individual e justiça entre todos os stakeholders. Os resultados obtidos provem evidência de que estratégias em particular possuem melhor performance em relação à satisfação de grupo, chamadas average e multiplicative considerando as pontuações atribuídas pelos participantes e complexidade computacional. Nossos resultados são relevantes não só no contexto de Linha de Produto de Software, mas também para a Teoria da Escolha Social, dada a instanciação de estratégias de escolha social em um problema prático. / Feature model con guration is known to be a hard, error-prone and timeconsuming activity. This activity gets even more complicated when it involves multiple stakeholders in the con guration process. Research work has proposed approaches to aid multi-stakeholder feature model con guration, but they rely on systematic processes that constraint decisions of some of the stakeholders. In this dissertation, we propose a novel approach to improve the multi-stakeholder con guration process, considering stakeholders' preferences expressed through both hard and soft constraints. Based on such preferences, we recommend di erent product con gurations using di erent strategies from the social choice theory. Our approach is implemented in a tool named SACRES, which allows creation of stakeholder groups, speci cation of stakeholder preferences over a con guration and generation of optimal con guration. We conducted an empirical study to evaluate the e ectiveness of our strategies with respect to individual stakeholder satisfaction and fairness among all stakeholders. The obtained results provide evidence that particular strategies perform best with respect to group satisfaction, namely average and multiplicative, considering the scores given by the participants and computational complexity. Our results are relevant not only in the context software product lines, but also in the context of social choice theory, given the instantiation of social choice strategies in a practical problem.

Configuração modelo de features é conhecida por ser uma atividade complexa, demorada e propensa a erros. Esta atividade torna-se ainda mais complicada quando envolve múltiplas partes interessadas no processo de configuração. Trabalhos de pesquisa têm proposto abordagens para ajudar na configuração de modelo de features, mas elas dependem de processos sistemáticos que restringem as decisões de alguns dos stakeholders. Neste trabalho, propomos uma nova abordagem para melhorar o processo de configuração multi-stakeholder, considerando as preferências dos stakeholders expressas através de restrições duras e brandas. Com base em tais preferências, recomendamos diferentes configurações de produto utilizando diferentes estratégias da teoria da escolha social. Nossa abordagem é implementada em uma ferramenta chamada SACRES, que permite criar grupos de stakeholders, especificar preferências dos stakeholders sobre uma configuração e gerar as configurações ideais. Realizamos um estudo empírico para avaliar a eficácia de nossas estratégias no que diz respeito à satisfação individual e justiça entre todos os stakeholders. Os resultados obtidos provem evidência de que estratégias em particular possuem melhor performance em relação à satisfação de grupo, chamadas average e multiplicative considerando as pontuações atribuídas pelos participantes e complexidade computacional. Nossos resultados são relevantes não só no contexto de Linha de Produto de Software, mas também para a Teoria da Escolha Social, dada a instanciação de estratégias de escolha social em um problema prático. / Feature model con guration is known to be a hard, error-prone and timeconsuming activity. This activity gets even more complicated when it involves multiple stakeholders in the con guration process. Research work has proposed approaches to aid multi-stakeholder feature model con guration, but they rely on systematic processes that constraint decisions of some of the stakeholders. In this dissertation, we propose a novel approach to improve the multi-stakeholder con guration process, considering stakeholders' preferences expressed through both hard and soft constraints. Based on such preferences, we recommend di erent product con gurations using di erent strategies from the social choice theory. Our approach is implemented in a tool named SACRES, which allows creation of stakeholder groups, speci cation of stakeholder preferences over a con guration and generation of optimal con guration. We conducted an empirical study to evaluate the e ectiveness of our strategies with respect to individual stakeholder satisfaction and fairness among all stakeholders. The obtained results provide evidence that particular strategies perform best with respect to group satisfaction, namely average and multiplicative, considering the scores given by the participants and computational complexity. Our results are relevant not only in the context software product lines, but also in the context of social choice theory, given the instantiation of social choice strategies in a practical problem.

Configuração modelo de features é conhecida por ser uma atividade complexa, demorada e propensa a erros. Esta atividade torna-se ainda mais complicada quando envolve múltiplas partes interessadas no processo de configuração. Trabalhos de pesquisa têm proposto abordagens para ajudar na configuração de modelo de features, mas elas dependem de processos sistemáticos que restringem as decisões de alguns dos stakeholders. Neste trabalho, propomos uma nova abordagem para melhorar o processo de configuração multi-stakeholder, considerando as preferências dos stakeholders expressas através de restrições duras e brandas. Com base em tais preferências, recomendamos diferentes configurações de produto utilizando diferentes estratégias da teoria da escolha social. Nossa abordagem é implementada em uma ferramenta chamada SACRES, que permite criar grupos de stakeholders, especificar preferências dos stakeholders sobre uma configuração e gerar as configurações ideais. Realizamos um estudo empírico para avaliar a eficácia de nossas estratégias no que diz respeito à satisfação individual e justiça entre todos os stakeholders. Os resultados obtidos provem evidência de que estratégias em particular possuem melhor performance em relação à satisfação de grupo, chamadas average e multiplicative considerando as pontuações atribuídas pelos participantes e complexidade computacional. Nossos resultados são relevantes não só no contexto de Linha de Produto de Software, mas também para a Teoria da Escolha Social, dada a instanciação de estratégias de escolha social em um problema prático. / Feature model con guration is known to be a hard, error-prone and timeconsuming activity. This activity gets even more complicated when it involves multiple stakeholders in the con guration process. Research work has proposed approaches to aid multi-stakeholder feature model con guration, but they rely on systematic processes that constraint decisions of some of the stakeholders. In this dissertation, we propose a novel approach to improve the multi-stakeholder con guration process, considering stakeholders' preferences expressed through both hard and soft constraints. Based on such preferences, we recommend di erent product con gurations using di erent strategies from the social choice theory. Our approach is implemented in a tool named SACRES, which allows creation of stakeholder groups, speci cation of stakeholder preferences over a con guration and generation of optimal con guration. We conducted an empirical study to evaluate the e ectiveness of our strategies with respect to individual stakeholder satisfaction and fairness among all stakeholders. The obtained results provide evidence that particular strategies perform best with respect to group satisfaction, namely average and multiplicative, considering the scores given by the participants and computational complexity. Our results are relevant not only in the context software product lines, but also in the context of social choice theory, given the instantiation of social choice strategies in a practical problem.

Made available in DSpace on 2014-12-17T15:15:04Z (GMT). No. of bitstreams: 1 MarioAM.pdf: 1150858 bytes, checksum: 72544ace95c9eefd2f93d90922e6d6ec (MD5) Previous issue date: 2007-03-21 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / The magnetic order of bylayers composed by a ferromagnetic film (F) coupled with an antiferromagnetic film (AF) is studied. Piles of coupled monolayers describe the films and the interfilm coupling is described by an exchange interaction between the magnetic moments at the interface. The F has a cubic anisotropy while the AF has a uniaxial anisotropy. We analyze the effects of an external do magnetic field applied parallel to the interface. We consider the intralayer coupling is strong enough to keep parallel all moments of the monolayer an then they are described by one vector proportional to the magnetization of the layer. The interlayer coupling is represented by an exchange interaction between these vectors. The magnetic energy of the system is the sum of the exchange. Anisotropy and Zeeman energies and the equilibrium configuration is one that gives the absolute minimum of the total energy. The magnetization of the system is calculated and the influence of the external do field combined with the interfilm coupling and the unidirectional anisotropy is studied. Special attention is given to the region near of the transition fields. The torque equation is used to study dynamical behavior of these systems. We consider small oscillations around the equilibrium position and we negleet nonlinear terms to obtain the natural frequencies of the system. The dependence of the frequencies with the external do field and their behavior in the phase transition region is analized / O ordenamento de bicamadas magn?ticas compostas por um filme ferromagn?tico (F) fino acoplado com um filme antiferromagn?tico (AF) ? estudado, considerando que os filmes podem ser descritos por uma pilha de camadas monoat?micas (infinitas) acopladas. O acoplamento entre os filmes ? representado pela intera??o entre os spins das monocamadas da interface. Consideramos que o filme F tem uma anitropia c?bica e os momentos do filme AF sentem a presen?a de uma anisotropia uniaxial. Adicionalmente, os spins que comp?em as camadas da interface sentem a presen?a de uma anisotropia unidirecional. Os efeitos de um capo magn?tico est?tico aplicado paralelo ao plano da interface s?o analisados. Consideramos que a intera??o de troca entre os momentos magn?ticos de uma mesma monocamada ? suficientemente forte para mant?-los alinhados em uma mesma dire??o. Cada camada monoat?mica ? representada por um ?nico vetor (vetor magnetiza??o) proporcional ao momento magn?tico total da monocamada, e a intera??o entre estes vetores ? proporcional a intera??o efetiva entre as monocamadas. A energia magn?tica do sistema ? escrita como a soma das energias de troca, anisotropia e Zeeman, e as configura??es de equil?brio s?o obtidas atrav?s da minimiza??o da energia. A magnetiza??o do sistema ? calculada em fun??o do campo magn?tico dc aplicado e o efeito do meesmo, combinando com a intera??o interfilmes e anisotropia unidirecional, ? investrigado. A aten??o especial ? dada ?s regi?es de campo pr?ximas as transi??es de fase. Usamos a equa??o do torque para estudae o comportamento din?mico desses sistemas. Considerando que os vetores magnetiza??o oscilam em torno da posi??o de equil?brio, com amplitudes suficientemente pequenas para que os efeitos n?o lineares possam ser desprezados, calculamos as "freq??ncias naturais" do sistema dando especial aten??o as duas de menos valor. A depend?ncia das freq??ncias com a intensidade do campo ? determinada e o comportamento nas regi?es de transi??o de fase ? analisado

Business process models are an important source of information for the development of information systems. However, changes in the environment can a ect the way business processes are performed. In order to obtain models that re ect the changes it is necessary to continuously check between model and reality. Good business processes need to be up-to-date and automated to represent the organizational environment. Thus, it is of paramount importance to represent adequately variability in Business Process Models. Representing and con guring business processes variability for a speci c organization allows the proper execution of processes. In addition, dynamic environment calls for exible con guration processes that can meet stakeholders' goals. However, selecting a con guration for business process is a challenging activity. Even though current approaches allow the representation of variability of business process models, the selection of business variants in a given context remains a challenging issue. In this proposal, we advocate the use of Non-Functional Requirements (NFR) and context-awareness information to drive the con guration of process models at run-time. We propose a model-driven business process con- guration approach called Business process Variability Con guration with Contexts and NFRs (BVCCoN), approach that keeps the variability representation, con guration knowledge and contextual information separated from the business process models. We illustrate the BVCCoN model and process through examples. The evaluation of our proposal is based on a simulation assessment. / Submitted by João Arthur Martins (joao.arthur@ufpe.br) on 2015-03-12T18:46:21Z No. of bitstreams: 2 Tese Emanuel Santos.pdf: 4118681 bytes, checksum: f565640ea4362fd5c2f2c8f9197b9e47 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-12T18:46:21Z (GMT). No. of bitstreams: 2 Tese Emanuel Santos.pdf: 4118681 bytes, checksum: f565640ea4362fd5c2f2c8f9197b9e47 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2013-05-10 / Modelos de processos de neg ocios s~ao uma importante fonte de informa c~ao para o desenvolvimento de sistemas de informa c~ao. No entanto, as mudan cas no ambiente podem afetar a forma como os processos de neg ocios s~ao realizados. A m de obter modelos que re etem as mudan cas e necess ario o alinhamento entre o modelo e a realidade. Processos de neg ocios bons precisam ser atualizados e automatizados para representar o ambiente organizacional. Assim, e de suma import^ancia representar adequadamente a variabilidade em Modelos de Processo de Neg ocio. Representar e con gurar a variabilidade em processos de neg ocio de uma organiza c~ao espec ca permite a execu c~ao adequada dos processos. Al em disso, o ambiente din^amico exige processos de con gura c~ao ex veis que possam atender os objetivos das partes interessadas. No entanto, selecionando uma con gura c~ao para o processo de neg ocio e uma atividade desa adora. Mesmo que as abordagens atuais permitam a representa c~ao da variabilidade dos modelos de processos de neg ocios, a sele c~ao de variantes de neg ocios em um determinado contexto continua a ser uma quest~ao a ser explorada. Nesta proposta, defendemos o uso de Requisitos N~ao Funcionais (RNF) e informa c~oes de contexto para conduzir a con gura c~ao de modelos de processos em tempo de execu c~ao. Propomos uma abordagem orientada a modelos para a con gura c~ao de processos de neg ocios chamada BVCCoN, a abordagem mant em a representa c~ao variabilidade, conhecimentos de con gura c~ao e informa c~ao contextual separados dos modelos de processos de neg ocios. A avalia c~ao da proposta baseia-se numa an alise de simula c~ao, assim como uma compara c~ao com algumas outras obras relevantes.