Background: Business process compliance management has recently attracted a lot of attention in both business and academia as it enables organizations to not only control and monitor their business processes from a legal point of view but also to avoid financial penalties and undesirable consequences to their reputation. Objective: This thesis aims to provide a framework that would enable organizations to: 1- Discover business processes that violate regulations, laws and policies; 2- Discover the importance level of business processes based on the organization’s goals; 3- Determine the impact of compliance-related process modifications on business goals, including conflicting goals between stakeholders, and on policies; and 4- Enable organizations to measure the level of business process compliance for one or multiple policies. Methodology: A systematic literature review in the area of goal-oriented business process compliance management and measurement has been conducted, which showed that balancing legal compliance obligations with business objectives remains a difficult challenge. A new Indicator-based Policy Compliance Framework (IPCF), which combines policy and rule models together with models capturing business goals (with their relative importance to the organization) and business processes, has been proposed. This framework builds on the User Requirements Notation (URN), which is the first international standard to combine goal modeling with scenario modeling. The intents and objectives of policies have been modeled, as well as the goals and business processes of organizations, and indicators are used to measure the compliance level of policies. This enables the detection of non-compliant business processes and the evaluation of the impact of compliance-related process modifications on business goals. Human resource policies and business processes are used as an example to illustrate the method. Aerodrome security regulations and business processes are then used to validate the method in a real-life environment. Comparisons to related work, evaluation against different sets of criteria, and tool support complement the framework validation. Results: The Indicator-based Policy Compliance Framework enables organizations to discover business processes that violate policies as well as other types of rules, regulations, and laws. Guidelines for modeling legal text with URN’s Goal-oriented Requirement Language (GRL) are proposed. Furthermore, IPCF helps determine the impact of compliance-related process modifications on business goals, including conflicting goals between stakeholders, and on policies. In addition, as policies sometimes apply differently to different types of organizations, a new profile for GRL, with suitable stereotypes, well-formedness constraints, and a modified analysis algorithm defined for GRL model families is used to evaluate the satisfaction level of individual goal models that are members of a larger family model. Finally, the proposed IPCF enables organizations to measure the level of business process compliance for one or multiple policies, and such measures can be visualized directly in URN models but also through interactive Business Intelligence portals, for a wider diffusion.

Title: Risk capital calculation in invesment life insurance Author: Bc. Tomáš Coufal Department/Institute: Department of Probability and Mathematical Statis- tics Supervisor of the master thesis: Mgr. Josef Lukášek Supervisor's e-mail address: Josef.Lukasek@allianz.cz Abstract: Unit linked insurance is a modern and flexible life insurance product. The last decade was marked by the raising popularity of unit linked insurance. The discussions conserning the impact of the new directive Sol- vency II on the life insurance business focus mainly on the traditional life insurance. This paper examines the issue of the calculation of the risk capital for unit linked insurance. Analysis of the impact of different death guaran- tees, forms of premium payment, time to maturity and dynamic policyholder bahaviour on the risk capital is presented. Keywords: Unit linked insurance, Solvency II, Risk capital, Solvency capital requirement

Denna studie är utförd på uppdrag av DGL AB. Syftet var att utreda varför temperaturen inte sjunker till önskad nivå i två olika kylrum vilka används för nedkylning och förvaring av färdigförpackade livsmedel. Arbetet genomfördes med hjälp av förlustberäkningar samt temperaturmätningar för att kunna identifiera och uppskatta storlek samt procentuella skillnader på olika förlustfaktorer. Praktiska mätningar på plats utgjorde underlag för de resultat som redovisas i arbetet. Kyleffektbehov har beräknats och baserats på företagets maximala produktion av färdig vara per dygn. I resultaten framkom att kylmaskinens effekt var väl dimensionerad men att kylelementens kapacitet i kylrummen var för låg med tanke på mängden förluster. Studien resulterade i förslag på minskning av transmissionsförluster genom isolering av väggar och tak i respektive kylrum samt även isolering av kylvattentanken belägen i kylrum 2. Rengöring av kylelementens flänsar, komplettering eller byte till andra mer effektavgivande kylelement var ytterligare förslag på åtgärder. / This study is conducted on behalf of DGL AB. The purpose was to investigate why the temperature does not drop to the desired level in two different cooling storages whom are used for cooling and storing of prepackaged groceries. The project was carried out with the help of loss calculations and temperature measurements to identify and estimate size as well as percentage differences in different loss factors. The sites measurements outlined the basis for this project. The cooling effect requirement is calculated based on the company's actual maximum production amount per day. The results showed that the effect of the cooling unit is oversized, however the cooling radiators capacity was too low considering the amount of losses. The outcome of the study suggest a decrease in thermal transmission losses through isolation of walls and ceilings in each of the cooling storages as well as isolation of the cooling water tank located in cooling storage 2. Cleaning of the cooling radiators flanges, supplementing or replacing with other cooling radiators that has more power output was additional suggestions to the result.

O teste de software é considerado uma atividade importante para a revelação de falhas. Apesar desta vantagem, tem sido pouco explorado no âmbito de aplicações de Realidade Virtual (RV). Dentre as lacunas existentes, a definição e automatização de critérios de teste de software para esse domínio foi identificada, uma vez que esses sistemas possuem características próprias que requerem definição ou adaptação de técnicas de teste, fazendo com que aplicações nesse domínio constituam sistemas de alta complexidade. Diante disso, o objetivo desta tese é apresentar uma abordagem denominada Virtual Reality-Requirements Specification and Testing (VR-ReST) que visa apoiar a especificação de requisitos de aplicações de RV com base na descrição de casos de uso e conceitos do domínio de RV e Grafo de Cena (GC), derivar requisitos de teste e gerar dados de teste a partir dos requisitos especificados. Além disso, é apresentado um apoio ferramental chamado de Virtual Requirements Specification and Testing (ViReST), que permite automatizá-las. A abordagem é composta por três módulos: (i) especificação dos requisitos por meio do auxílio de um modelo denominado Virtual Requirements Specification (ViReS); (ii) mapeamento dos requisitos por meio de uma linguagem semi-formal chamada Behavior Language Requirement Specification (BeLaRS) para garantir uma especificação padronizada; e (iii) geração automática dos requisitos de teste e dos dados de teste. Foi realizado um estudo de caso para avaliar a conformidade e a usabilidade da BeLaRS em auxiliar a especificação de requisitos de uma aplicação de RV. Além disso, também foi realizado um experimento para avaliar a eficácia da abordagem VR-ReST por meio da ferramenta ViReST. Usando teste de mutação neste último experimento, a abordagem VR-ReST alcançou um escore de mutação médio de 15,49% maior que o teste aleatório. Portanto, os resultados mostraram que a abordagem, bem como o apoio ferramental, podem auxiliar o projetista durante a atividade de especificação de requisitos e o testador na geração dos testes para aplicações de RV. / Software testing is considered an important activity towards fault revealing. Despite this advantage, it has been few explored within the scope of Virtual Reality (VR) applications. Among the existing gaps, the definition and automation of software testing criteria for this domain were identified, since these systems have their own characteristics that require definition or adaptation of testing techniques, making applications in this domain constitute highly complex systems. Therefore, a Virtual Reality-Requirements Specification and Testing (VR-ReST) approach is presented to perform the functional test of VR applications using Scene Graph (SG) concepts and a support tool called Virtual Requirements Specification And Testing (ViReST), which allows you to automate them. The approach is composed of three modules: (i) the first consists in specifying the requirements by means of a model called Virtual Requirements Specification (ViReS); (ii) the second involves mapping the requirements through a semi-formal language called Behavior Language Requirement Specification (BeLaRS) to ensure a standardized specification; and (iii) the third is the automatic generation of test requirements and test data. A case study was conducted to evaluate the compliance and usability of BeLaRS in assisting the requirements specification of an RV application. Also, an experiment was also carried out to evaluate the effectiveness of the VR-ReST approach using the ViReST tool. Using mutation testing in this latter experiment, the VR-ResT approach achieved a mean mutation score of 15.49% higher than the random testing. Therefore, the results showed that the approach, as well as tooling support, can assist the designer during the requirement specification activity and the tester in generating the tests for RV applications.

A determinação e a atualização das exigências nutricionais são condições fundamentais na nutrição para codornas de corte. Portanto, o objetivo deste trabalho foi avaliar cinco níveis proteicos considerando o sexo de codornas europeias sobre o desempenho zootécnico e sobre as características de carcaça. As aves foram distribuídas num delineamento inteiramente casualizado com arranjo de tratamentos com esquema fatorial 5×2, com cinco níveis proteicos para machos e fêmeas. Foram realizados dois experimentos. O primeiro compreendeu a fase inicial de criação, de 1 a 21 dias. Nessa fase, os níveis proteicos foram: 20,0, 22,5, 25,0, 27,5 e 30,0%, com seis repetições e 30 aves por unidade experimental. No segundo experimento foi avaliada a fase final, de 22 a 45 dias. Os níveis de proteína nessa segunda fase foram: 17,5, 19,5, 22,0, 24,5 e 27,0%, com seis repetições de 27 aves por unidade experimental. Ao final da avaliação de desempenho do segundo experimento, 24 machos e 24 fêmeas de cada tratamento, totalizando 240 aves, foram abatidas para a determinação das características de carcaça. No primeiro experimento (1 a 21 dias), não houve interação, com exceção da conversão alimentar aos sete dias, que foi mais baixa nas fêmeas. Observou-se que as codornas possuem alta exigência de proteína bruta, situada entre 25 e 30%. Ainda sobre a fase inicial, foi verificado que as fêmeas apresentam melhor conversão alimentar de 1 a 7 e 1 a 14 dias. No segundo experimento (22 a 45 dias), não houve interação dos fatores. Verificou-se efeito dos níveis proteicos sobre o desempenho das codornas, com exceção do período de 22 a 28 dias, em que o ganho de peso aumentou e a conversão alimentar melhorou linearmente com o acréscimo de proteína na dieta. As fêmeas nessa fase apresentaram desempenho superior em todas as variáveis estudadas. No entanto, o rendimento de carcaça quente e fria e rendimento de dorso foi maior nos machos. As fêmeas tiveram maior rendimento de peito e moela. Os rendimentos de coração e fígado apresentaram interação. Como conclusão, os níveis proteicos são determinantes na fase inicial para que as codornas apresentem bons índices de desempenho. Já na fase de terminação, o sexo das aves é determinante. Apesar dos machos terem maior rendimento de carcaça, as fêmeas possuem maior rendimento de peito / The determination and the update of the nutritional requirements are fundamental nutrition for meat quails. Therefore, the aim of this study was five protein levels considering the sex of European quail on the performance and on carcass characteristics. Birds were distributed in a completely randomized design with treatments arranged in a factorial 5 x 2, with five protein levels for males and females. Two experiments were conducted. The first comprised the initial stage of creation, from 1 to 21 days. At this stage, the protein levels were 20.0, 22.5, 25.0, 27.5 and 30.0%, with six replicates of 30 birds each. In the second experiment evaluated the final phase of 22 to 45 days. Protein levels in this second phase were: 17.5, 19.5, 22.0, 24.5 and 27.0%, with six replications of 27 birds each. At the end of the performance evaluation of the second experiment, 24 males and 24 females from each treatment, totaling 240 birds were slaughtered for determination of carcass traits. In the first experiment (1 to 21 days), no interaction with the exception of feed conversion seven days, which was lower in females. It was observed that birds have high requirement of crude protein, between 25 and 30%. Still on the initial phase, it was observed that females have better feed conversion of 1 to 7 and 1 to 14 days. In the second experiment (22-45 days), there was no interaction of factors. There was effect of protein levels on the performance of quails, except for the period 22-28 days, in which weight gain and increased feed conversion improved linearly with the addition of protein in the diet. Females at this stage were superior in all the variables studied. However, the yield of hot and cold carcass and back yield was higher in males. Females had higher yield of breast and gizzard. The heart and liver income showed interaction. In conclusion, the protein levels are crucial in the initial stage to quails present good performance levels. In the finishing phase, the sex of birds is crucial. Although males have greater carcass yield, females have higher breast yield

Trabalhos recentes na área de Planejamento e Escalonamento têm gerado uma grande expectativa em relação à aplicação dos resultados em sistemas reais. Neste cenário, métodos, ferramentas e conceitos provenientes das Engenharia do Conhecimento e da Engenharia de Requisitos se tornam fundamentais para caracterizar melhor, entender e especificar os domínios de planejamento. Nesse caso uma especial importância deve ser dada às etapas iniciais do processo, onde o conhecimento sobre o domínio é incompleto e onde existem poucas ferramentas, seja para o suporte ou automação parcial do processo, e as ferramentas já existentes carecem de métodos formais para a modelagem e análise dos requisitos. Neste trabalho propõe-se o ReKPlan (Ambiente para a Engenharia de Requisitos usando KAOS em problemas de planejamento), que usa KAOS, um método orientado a objetivos, para a modelagem de requisitos. Entretanto, o uso do KAOS (ou de qualquer outro método goaloriented) não atende à necessidade de verificar formalmente o comportamento dinâmico quando o alvo são sistemas de planejamento. A proposta deste trabalho é combinar o uso do método orientado a objetivos com o formalismo das Redes de Petri (Rdp) -especificamente a abordagem seguida pelo GHENeSys- para representar e analisar requisitos no projeto de sistemas de planejamento. Finalmente é proposto um método sobre o processo de projeto que, guiado por modelos, gera instruções PDDL servindo de entrada para os planejadores. A método foi aplicado a vários estudos de caso que o avaliam como um mecanismo promissor e eficiente na Engenharia de Requisitos resultando em uma melhor definição dos requisitos em problemas de planejamento. / Recent works in Planning and Scheduling, lead to a great expectations about how to apply achieved results in real systems. In this scenario, methods, tools and concepts from Knowledge and Requirements Engineering seem to be a key issue for characterizing, understanding and specifying the domain of planning problems. In this case a special attention should be given to the initial stages of the process, where knowledge about the domain is incomplete and there are a few tools to support or partially automate the process, and there is a lack of formal methods for modeling and analysis of requirements in the existing tools. This work proposes the ReKPlan (Requirement Engineering Using KAOS for Planning Problems) which uses KAOS, a goal-oriented method, for modeling requirements. However, the use of KAOS (or another goal-oriented method) don\'t seem the most appropriate for formal verification of the dynamic behavior of planning systems. The purpose of this work is to combine the use of KAOS with Petri Nets formalism (Rdp) - GHENeSys approach specifically - for modeling and analyzing requirements in the design of planning system. Finally is proposed a model driven engineering mechanism over a design for guiding, until the generation of PDDL instructions as input for planners to solve problems.

From the 1990\'s onwards, service science field has experienced a great growth, taking the Marketing academic field as the precursor, next gathering Management and also Engineering academic field. From business tool (i.e., e-commerce), new approaches in service delivery (e.g., IT-based self-service technology such as on-line ticketing and reservation, on-line bank account access, on-line package tracking, and so forth), and new ways of relating to customers (i.e., e-Customer Relationship Management), internet based and IT services prompted researchers to an infusion of Software Engineering concepts and techniques into Service field (MOUSSA; TOUZANI, 2010). The beginning of 2004 was marked by the introduction of the service dominant logic (SDL), advocating a transition from an good-based exchange economy to a service-based one. Also, at the same year, IBM launched a call to action on the Service Science, Management and Engineer (SSME) initiative, pushing service research towards a more formal science field (MAGLIO et al., 2006). Researchers and practitioners are studying and developing ways to consolidate service theories, laws, and principles in order to effectively manage and control service systems in practice. On the other hand, Service Systems are defined as systems with an intense relationship (or collaboration) with the customer. This collaborative relationship characteristic changes the current (good-based) idea of services: from a one way informational channel, to a multiple resource exchange and adaptable process with the costumer. In fact, it changes not only the way service systems are understood, but specially how to design it. In terms of the impact of the service dominant logic on different economic sectors, the impact over manufacturing industry had the attention of several different researchers over the world (AURICH; MANNWEILER; SCHWEITZER, 2010; CAVALIERI; PEZZOTTA, 2012; TOMIYAMA, 2001). The Service Engineering research field then advocate for the incursion of Service Design in manufacturing, changing entirely the current idea of a production chain transformation process from suppliers raw materials inputs until distribution to the final consumer. However, the new perspective on manufacturing services understand services that encompass products, surpassing the notion of a product\'s function design, to reach a receiver\'s state change design. To support adaptation and intense relationship to address customer individual needs, a manufacturing service initiative must be root on technologies that brings more freedom and flexibility into the production process. A production processes for manufacturing services must be formed be a new sophisticated network arrangement supported by internet and combined with intelligent machines. In fact, manufacturing has to be supported to reach the concept of smart (virtual) factories producing smart products. The Product-Service Architecture (or just PSA) was proposed firstly by(SILVA; NOF, 2015) with the objective of answering the needs for a serviceoriented approach to manufacturing industries. As defined by the authors, PSA is a distributed architecture where a service provider is defined as an open set of production unities (which could deliver products, services, or even product/services) that could be independent or commercially connected to the service provider corporation. It is an approach to address the problem of Service Systems from a Design perspective, based on an high-level architecture. The current design approach for PSA is imported from the Service Information Systems, forming a collection of design methods and languages highly connected to object oriented and service-oriented architecture (SOA) approaches. However, to achieve the provider-customer relationship, intense and collaborative, improvements on PSA design approach should be placed in order to allow an internal design that could achieve new solutions that adapt to meet the customer\'s needs. Our main hypothesis is that major problems are on the early phases of the design. Modifying the approaches of the PSA design discipline to approaches more connected to agent-oriented modeling could offer the necessary tools to improve the service design using PSA. Goal-Oriented Requirement Engineering (GORE) emerged as approach very consistent modeling approach strongly based on agent-oriented concepts. Adding the concepts of goals and softgoals to the design process, that could be understood as a high-level stakeholder objectives, it opened a new level of analysis capturing the \"why\" dimensions of the stakeholders(YU, 1997). Following modeling representations to increase agency for the PSA design Discipline, the concept of Intentionality, brought by the GORE method i*, meaning interests and motivation of agents, seems to fit to the objectives of service design. Therefore, we present on this work our proposal for an Intentional PSA Service Design Discipline to support modeling and design for service system that could be even applied to new manufacturing approaches. For the purposes of this work, we understand discipline as a set of rules, involving steps and tools, to achieve a proposed goal. Discipline, as it does not admit a formalism that allows it to be called a method. Therefore, it is a theoretical conceptual proposal that aims practical incursions to demonstrated improvements of the modeling process. Therefore, what we want to demonstrate is that the steps gathered, aligned to a framework improves the quality of the design process. It is not possible to formalize it completely since there is no formal definition of the elements (even for services). It should be noted that the conceptual basis of the intention-based method lies in the preliminary stage of requirements elicitation and analysis, which as we know can not be formalized. We seeks the enrichment of the current PSA design discipline approach with Goal-oriented and Intentional approaches to form a new Service Design Discipline applied for the PSA architecture. / A partir da década de 1990, o campo das ciências de serviço vivenciou um grande crescimento, tendo o Marketing como campo acadêmico precursor, seguido pela área de gestão e logo depois pelo campo acadêmico da engenharia. Desde ferramentas de negócios (ie, comércio eletrônico), passando por novas abordagens na prestação de serviços (por exemplo, tecnologia de autoatendimento baseada em TI, emissão de tickets e reservas on-line, acesso à conta bancária on-line, entre outras), novas formas de relacionar-se com clientes (por exemplo, e-Customer Relationship Management), os serviços baseados na Internet e TI levaram os pesquisadores a uma infusão de conceitos e técnicas relacionadas ã engenharia de software dentro do campo dos serviços (MOUSSA; TOUZANI, 2010). Já o início de 2004 foi marcado pela introdução da lógica dominante de serviço (SDL), defendendo a transição de uma economia de trocas baseadas em bens para uma baseada em serviços. Além disso, no mesmo ano, a IBM lançou um \"call to action\"para uma iniciativa chamada Service Science, Management e Engineer (SSME), provocando uma maior formalização ao campo de pesquisa das ciências de serviço (MAGLIO et al., 2006). Porém, hoje ainda pesquisadores e profissionais estão estudando e desenvolvendo maneiras de consolidar as teorias, leis e princípios das ciências de serviço, a fim de gerenciar e controlar os sistemas de serviços na prática. Por outro lado, os Sistemas de Serviço são definidos como sistemas com uma intensa relação (ou colaboração) com o cliente. Esta característica de relacionamento colaborativo altera a idéia atual de serviços (baseada em bens): de um canal informacional unidirecional, para um intercâmbio de recursos múltiplos através de um processo adaptável com o cliente. Na verdade, esta mudança altera não apenas a forma como os sistemas de serviço são entendidos, mas especialmente como são projetados. Em termos de impacto da lógica dominante de serviço sobre os diferentes setores econômicos, a indústria de manufatura acabou obtendo grande atenção de vários pesquisadores pelo mundo. (AURICH; MANNWEILER; SCHWEITZER, 2010; CAVALIERI; PEZZOTTA, 2012; TOMIYAMA, 2001). O campo de pesquisa de Engenharia de Serviços, que estuda o impacto da lógica de serviços sobre a manufatura, defende então a incursão do Design de Serviço no processo de fabricação, mudando inteiramente a idáia atual de uma cadeia de produção que se iniciava a partir dos insumos e matárias-primas vindas dos fornecedores, passando pela manufatura, atá a sua distribuição ao consumidor final. No entanto, a nova perspectiva sobre serviços de manufatura compreende serviços que englobam os produtos, superando assim a noção do design como projeto da função de um produto, para alcançar a ideia de design como o projeto da mudança de estado de um receptor. Com o objetivo de apoiar a adaptação e o relacionamento intenso em busca de atender às necessidades individuais de cada cliente, uma proposta para um manufatura orientada à serviços deve ter como base tecnologias que trazem mais liberdade e flexibilidade ao processo de produção. Um processo de produção para os serviços de manufatura deve ser, portanto, formado por um novo e sofisticado arranjo em rede conectados à internet, combinando máquinas inteligentes e colaborativas. A manufatura dessa maneira caminhará para uma proposta no qual fábricas inteligentes (virtuais) produz produtos inteligentes. A Arquitetura de Produto-Serviço (ou apenas PSA) foi proposta pela primeira vez por (SILVA; NOF, 2015) com o objetivo de responder às necessidades de uma abordagem orientada a serviços para indústrias de manufatura. Conforme definido pelos autores, o PSA é uma arquitetura distribuída no qual um provedor de serviços é definido como um conjunto aberto de unidades de produção (que poderiam fornecer produtos, serviços ou mesmo produtos / serviços) que poderiam ser independentes ou comercialmente conectados à empresa prestadora de serviços. O PSA é portanto uma abordagem para tratar do problema dos Sistemas de Serviço a partir de uma perspectiva de Design, baseada em uma arquitetura de alto nível. A abordagem de projeto atual para o PSA foi importada de tácnicas vindas dos Sistemas de Informação de Serviço, formando uma coleção de métodos de design e linguagens altamente conectados à abordagens orientadas a objetos e à arquitetura orientada a serviços (SOA). No entanto, para alcançar a relação fornecedor-cliente, intensa e colaborativa, algumas melhorias na abordagem de design utilizando o PSA devem ser feitas a fim de permitir um projeto interno que poderia alcançar novas soluções que se adaptem às necessidades do cliente. Nossa principal hipótese é de que os principais problemas estão concentrados nas fases iniciais do design. Por tanto, é necessário realizar modificações na disciplina de design atual do PSA em busca de abordagens mais conectadas à modelagem orientada à agentes que poderia oferecer as ferramentas necessárias para tal alteração. A Engenharia de Requisitos Orientada para o Objetivo (GORE), portanto, surge como uma candidata importante dado que é uma abordagem de modelagem muito consistente e também fortemente baseada em conceitos orientados a agentes. Esta adiciona conceitos como goals e softgoals, que podem ser entendidos como uma representação alto nível dos interesse dos stakeholders. Assim, permitindo um novo espaço de análise capturado através da dimensão dos \"porquês\"dos stakeholders (YU, 1997). Seguindo as representações de modelagem que buscam aumentar a agência com foco para uma possível aplicação na disciplina de design do PSA, o conceito de Intencionalidade, trazido pelo método GORE i*, que representa os interesses e motivação dos agentes, parece ajustar-se aos objetivos do design de serviço. Portanto, apresentamos neste trabalho a nossa proposta para uma Disciplina Intencional para o Design de Serviço usando o PSA para apoiar a modelagem e o design de sistema de serviço que poderiam ser aplicados até mesmo em conjunto com novas abordagens para manufatura. Para os fins desse trabalho, entendemos disciplina como um conjunto de regras, um código de conduta, envolvendo etapas e ferramentas, para alcançar um objetivo proposto. Discilpina, pois esta não admite formalismo que permita chamá-la de método. Portanto trata-se de uma proposta de base teórica conceitual que visa a incursão prática demonstrada pela melhoria do processo de modelagem. Logo, o que se quer demonstrar é que a reunião de passos, alinhado a um framework melhora a qualidade do pocesso. Não é possível formalizar completamente este método já que não há uma definição formal dos elementos (e nem mesmo de serviços). Note-se que ainda que a base conceitual do método baseado em intenções se encontra na fase preliminar da eliciação e análise de requisitos, que como se sabe não pode ser formalizada. Buscamos portanto o enriquecimento da atual abordagem de disciplina de projeto usando PSA com abordagens orientadas por objetivos e intencionais para formar uma nova disciplina de design de serviços aplicada para a arquitetura PSA.

O Characifome dourado, Salminus brasiliensis, tem despertado crescente interesse dos piscicultores por apresentar rápido crescimento e ótima qualidade de carne. Porém, a falta de conhecimento sobre as exigências nutricionais e valor biológico dos alimentos para a espécie têm dificultado a formulação de dietas que permitam o máximo desempenho e, por conseqüência, sua produção intensiva. Para determinação da exigência nutricional em energia e proteína, juvenis de dourado (5,29 ± 0,21 g) foram distribuídos em 75 gaiolas (60 L) alojadas em tanques de 1.000 L e alimentados por 60 dias com dietas contendo níveis de proteína bruta (PB) entre 35 e 51% (incremento de 4%) e teores de energia bruta (EB) de 4.200 a 5.000 kcal/kg de alimento (incremento de 200 kcal/kg). O experimento foi conduzido em um delineamento inteiramente aleatorizado em esquema fatorial 5 × 5 (cinco níveis de EB e cinco níveis de PB, com três repetições). Foram avaliados parâmetros de ganho de peso (GP), ganho de peso relativo (GPR), consumo alimentar diário (CAD), índice de conversão alimentar (ICA), taxa de crescimento específico (TCE) e retenção de nutrientes. Não houve interação significativa (P>0,05) entre os níveis de proteína e energia para os parâmetros avaliados. Os valores de CAD, GP, GPR, CA e TCE e de retenção de nutrientes foram influenciados (P<0,05) pelos níveis de proteína e de energia da dieta. O CAD diminuiu com o aumento do nível energético das dietas. As relações lipo-somáticas e víscero-somáticas foram afetadas (P<0,05) pela energia dietética, aumentando com o aumento dos níveis de energia. Por meio do uso da regressão segmentada estimou-se a exigência protéica e energética para juvenis de dourado como sendo de 45,08% de PB e 4.600,0 kcal EB/kg, e uma relação energia:proteína variando entre 10,20 e 10,65 kcal de EB/g de PB, como ideal para ótimo desempenho e retenção de nutrientes e energia. Para avaliação do valor nutricional dos alimentos, foi determinado o coeficiente de digestibilidade aparente (CDA) da energia e nutrientes de fontes protéicas de origem animal e vegetal em dietas práticas para o dourado (19,49 ± 5,04 g). Os peixes, foram confinados em gaiolas de polipropileno (80 L; 40 peixes/gaiola) e alimentados com dietas teste granuladas que continham 30% do ingrediente teste e 70% de uma ração referência (RR) prática contendo 48,14% de PB, 4.453,2 kcal de EB/kg e 0,1% de óxido de crômio III. Após a última alimentação, as gaiolas eram transferidas para aquários cilindro-cônicos (200 L) onde as fezes eram coletadas por sedimentação em recipientes refrigerados. Houve diferença (P<0,01) para os CDAs dos nutrientes e energia das diferentes fontes protéicas. Foram obtidos valores de CDA de: 94,25; 91,26; 93,05 e 93,47% para a PB, 91,03; 90,33; 87,83 e 88,78% para a EB, 92,06; 84,49; 80,58 e 79,25% para matéria mineral, 83,90; 80,26; 84,25 e 84,55% para matéria seca e 97,38; 96,74; 93,32 e 91,46% para os lipídios, para a farinha de peixe (FP), farinha de vísceras (FV), farelo de soja (FS) e farelo de glúten de milho (FGM), respectivamente. O CDA médio dos aminoácidos foi de: 93,60; 89,95; 92,07 e 92,45% para FP, FV, FS e FGM, respectivamente. Todos os ingredientes testados foram eficientemente aproveitados e podem substituir parcialmente a FP em rações para o dourado. / The dourado, Salminus brasiliensis, presents excellent farming characteristics, such as fast growth and excellent flesh quality. However, the lack of the knowledge on the species nutritional requirements and biological value of feedstuffs hamper the formulation of diets for optimized performance and, consequently, the species\' intensive farming. To determine de species nutritional requirements, juveniles dourado (5.29 ± 0.21 g) were stocked in 75 cages (60-L) set up in 1,000-L containers, and fed for 60 days diets containing levels of crude protein (CP) between 35 to 51% (4% increments) and gross energy (GE) varying of 4,200 to 5,000 kcal/kg feed (200 kcal increments). The trial was set up in a completely randomized design, 5 × 5 factorial scheme (five levels of GE and five levels of CP, with three replications). Data on weight gain (WG), percentage weight gain (PWG), daily feed consumption (DFC), food conversion ratio (FCR), specific growth rate (SGR) and nutrient retention were recorded. No interaction (P>0.05) between dietary energy and protein levels for all parameters was detected. The values of DFC, WG, RWG, FCR, SGR and nutrient retention were affected (P<0.05) by the dietary protein and energy levels. DFC decreased with increasing energy levels. The liposomatic and viscerosomatic indexes were affected (P<0.05) by dietary energy levels, and increased with increasing energy levels. Through broken line analysis technique, the requirements estimated for optimum performance and nutrient and energy retention of dourado were 45.08% CP, 4,600.0 kcal GE/kg, and a energy:protein ratio varying between 10.20 and 10.65 kcal of GE/g of CP. Apparent digestibility is one of the main tools to evaluate the potential of an ingredient to be used in aquafeeds. To evaluate the apparent digestibility coefficient (ADC) of energy and nutrients of animal and plant protein sources in practical diets for the dourado (19.49 ± 5.04 g), fish were stocked in plastic cages (80-L) and fed pelleted test diets containing 30% of test ingredients plus 70% of a reference diet (RR) containing 48.14% CP, 4,453.2 kcal GE/kg, and 0.1% of chromium oxide III. After the last daily meal, cages were transferred to cylindrical conical-bottomed aquaria (200-L) where feces were collected by sedimentation in refrigerated containers. ADCs of nutrients and energy of selected protein sources differed (P<0.01); ADC values were: 94.25; 91.26; 93.05 and 93.47% for CP, 91.03; 90.33; 87.83 and 88.78% for GE, 92.06; 84.49; 80.58 and 79.25% for ash, 83.90; 80.26; 84.25 and 84.55% for dry matter, 97.38; 96.74; 93.32 and 91.46% for lipid for fish meal (FM), poultry by-product meal (PBM), soybean meal (SBM), and corn gluten meal (CGM), respectively. The average ADC of amino acids was: 93.60; 89.95; 92.07 and 92.45% of FM, PBM, SBM and CGM, respectively. All tested ingredients were efficiently used and can partially replace FM in diets for carnivorous dourado.

O objetivo desse estudo foi avaliar o efeito da suplementação de níveis crescentes de colina e de aminoácidos sulfurados totais (AST) digestíveis em uma dieta de milho e proteína isolada de soja, sobre o desempenho produtivo, bem como a ocorrência de deformidades e desvios nas patas e fígado gorduroso de frangos de corte. Foram alojados 525 frangos de corte, machos Cobb 500, de um dia de idade, em 75 gaiolas experimentais. As aves foram distribuídas em um delineamento inteiramente casualizado com 15 tratamentos, 5 repetições e 7 aves por unidade experimental. Foi utilizada uma dieta basal semipurificada com 74% de milho (736 ppm de colina) e esta foi suplementada utilizando um arranjo fatorial 3 x 5 com 3 níveis de AST digestíveis em relação à lisina digestível (70, 75 e 80%) e 5 níveis de suplementação de colina (0, 700, 1.400, 2.100 e 2.800 ppm). Foi utilizado um programa alimentar de 2 fases: pré-inicial (1 a 7 d) e inicial (8 a 21 d). Ganho de peso (GP), consumo de ração e conversão alimentar (CA) foram avaliados aos 7, 14 e 21 d. Aos 21 d, as aves foram avaliadas para perose, valgus, varus e tibia rotada na articulação tibio matatarsal, os fígados foram avaliados macroscopicamente (coloração, tamanho e consistência) e quanto ao seu teor de extrato etéreo. Os dados foram submetidos à análise de variância e as médias foram comparadas pelo teste de Tukey. Regressões lineares e quadráticas foram estimadas para as variáveis de desempenho produtivo e a resposta máximada de suplementação de colina foi estimada. Não houve interação entre AST digestíveis e colina, também não houve diferença entre os níveis de AST digestíveis (P>0,05). O GP dos frangos alimentados com níveis crescentes de colina aumentou quadraticamente (P<0,05) de 1 a 7 d, 8 a 14 d, 1 a 14 d, 15 a 21 d e 1 a 21 d e a CA diminuiu quadraticamente (P<0,05) 1 a 14 d e 1 a 21 d. No período de 1 a 7 d, 8 a 14 d e 15 a 21d foram estimadas exigências de 2.700, 2.907 e 3.105 ppm para GP. De 1 a 14 d e 1 a 21 d, as exigências foram de 2.875 ppm e 2.925 ppm para GP, e 2.938 ppm e 2.849 ppm para CA. Os tratamentos que não receberam suplementação de colina apresentaram maior ocorrência de varus e tibia rotada (P<0,05), quando comparados aos outros níveis de colina, não houve diferença entre os níveis de colina para valgus. Os níveis de colina em que houve o melhor GP e CA para frangos foram determinados como 2.925 ppm e 2.849 ppm para as fases iniciais. Considerando-se uma ração de milho e farelo de soja (1.500 ppm de colina), 1.425 e 1.349 ppm de suplementação de colina são apropriados para melhorar a performance de frangos de corte de 1 a 21 d. Esses valores são superiores às recomendações prévias para as fases iniciais (500 ppm). / The objective of this study was to evaluate growth performance, the occurrence of leg deformity and deviations and fatty liver of broilers fed a corn and soy protein isolate diet supplemented with increasing levels of choline and digestible total sulfur amino acid (TSAA). A total of 525 one-day-old Cobb 500 chicks were distributed in a completely randomized design in 75 battery cages, 15 treatments, and 7 birds per cage. A 74% corn semi-purified basal diet (736 ppm of choline) was supplemented using a 3 x 5 factorial arrangement with 3 levels of digestible TSAA ratio to digestible lysine (70, 75 and 80%) and 5 levels of choline supplementation (0; 700; 1,400; 2,100, and 2,800 ppm). A 2-phases feeding program was used: pre-initial (1 to 7 d) and initial (8 to 21 d). Body weight gain (BWG), feed intake and feed conversion ratio (FCR) were evaluated at 7, 14 and 21 d. At 21 d all birds were evaluated for perosis, valgus, varus and rotated tibia in tibiometatarsal joint, livers were evaluated macroscopically (color, size, and consistency) and for fat content. Data were submitted to analysis of variance and means were compared by the Tukey test. Performance data were fitted to linear and quadratic polynomial regressions and the maximum response of choline supplementation was estimated. No interactions between digestible TSAA and choline were observed, also no differences among digestible TSAA levels (P>0.05). The BWG of broilers fed diets with increasing levels of choline increased quadratically (P<0.05) from 1 to 7 d, 8 to 14 d, 1 to 14 d, 15 to 21 d, and 1 to 21 d, also FCR decreased quadratically (P<0.05) from 1 to 14 d and 1 to 21 d. From 1 to 7 d, 8 to 14 d, and 15 to 21d quadratic regression estimated requirements as 2,700, 2,907, and 3,105 ppm for BWG. From 1 to 14 d and 1 to 21 d, quadratic regression estimates were 2,875 ppm and 2,925 ppm for BWG, and 2,938 ppm and 2,849 ppm for FCR. Treatments with no supplementation of choline had higher occurrence of varus and rotated tibia (P<0.05) compared to the other levels of choline. There was no difference for valgus deviation. Choline level that provided better BWG and FCR responses were determined as 2,925 and 2,849 ppm for starter phases, respectively. Considering a corn-soybean meal common diet (1,500 ppm of choline), 1,425 and 1,349 ppm of choline inclusions are appropriate to improve BWG and FCR response for broilers from 1 to 21 d, which are above previous recommendation for starter phases (500 ppm of choline).

Made available in DSpace on 2015-03-05T13:58:27Z (GMT). No. of bitstreams: 0 Previous issue date: 26 / Nenhuma / O surgimento de novas metodologias ágeis para apoiar o desenvolvimento de sistemas, como a Extreme Programming (XP), vem causando impacto nas empresas de desenvolvimento de software, especialmente por sua flexibilidade nas mudanças de requisitos no decorrer do projeto. Assim, um melhor entendimento e representação estrutural dos requisitos tornam-se fundamental. Logo, esta pesquisa aplica o conceito das técnicas de refatoração de código dentro da Engenharia de Requisitos, que é focado na metodologia XP, por meios das User Stories. O trabalho aplica um conjunto de padrões e regras que permite aos requisitos expressos em cartões CRC serem refatorados através de pré e pós-condições, sendo que esses requisitos são descritos por mapas conceituais (MC) em formato OWL. Por sua vez, os MCs são convertidos em diagramas de classes da UML por meio da UML-MC que formaliza esta transformação. Dessa forma, o ambiente UStory-Refactory automatiza parcialmente o processo de refatoração e permite que os requisitos refatorados / The emergence of new agile methodologies to support systems development, as the Extreme Programming (XP), has been causing impact on software development companies, specially for its flexibility in the requirements changes during the project. Thus, a better understanding and structural representation of the requirements become basic. Then, this research applies the concept of the code refactoring techniques, inside of the Requirements Engineering, which is focused at XP methodology, through the User Stories. The work applies a set of standards and rules that allows the requirements expressed in CRC cards to be refactored through pre and post-conditions, and the requirements are described for conceptual maps (CMaps) in OWL format. In their turn, the CMaps are converted into UML classes diagrams by the UML-MC that formalizes this transformation. This way, the UStory-Refactory environment partially automatizes the refactoring process and allows the refactored requirements to be exported in OWL format, promoting