O trabalho apresenta como inovação, inclusive em nível internacional, a utilização de métodos e técnicas de engenharia de software e de sistemas aplicadas aos Sistemas Agroindustriais (SAG), definindo uma metodologia objetivando facilitar maior compreensão dos relacionamentos e atividades dos diversos agentes componentes de um SAG; modelar graficamente as atividades dos agentes e demais envolvidos em cada etapa de uma cadeia produtiva, através de IDEF0, BPMN e Casos de Uso; identificar informações para qualidade, rastreabilidade do produto e seus insumos ao longo da cadeia produtiva. Efetua, também com caráter inovador, a aplicação dessa metodologia na área de produtos exóticos através da modelagem de atividades pertencentes ao SAG da Malacocultura Continental (criação comercial de escargots), agronegócio inserido na política de incentivo à Agroindústria Familiar. As exigências dos consumidores de produtos agropecuários em relação a qualidade, segurança e rastreabilidade tem crescido ano após ano devido ao medo de problemas com saúde, como o mal da vaca louca. A modelagem do Sistema Agroindustrial (SAG) possibilita identificar necessidades de informação e automação em uma cadeia produtiva, explorar essas possibilidades de modo a permitir a especificação de sistemas de informação que suportem os negócios dos diversos agentes ao longo da cadeia produtiva satisfazendo os requisitos de qualidade e rastreabilidade dos consumidores. A aplicação de um modelo de caso de uso também é apresentada, descrevendo as atividades componentes de processos ao longo da cadeia produtiva, permitindo a identificação de requisitos e informações de rastreabilidade e qualidade. A técnica de casos de uso aplicada na cadeia produtiva ajuda na especificação de sistemas de informação de melhor qualidade e mais aderentes aos processos de negócio envolvidos. Como exemplo é a apresentada a modelagem (utilizando IDEF0, BPMN e casos de uso) de alguns processos de negócio e informação pertencentes à cadeia produtiva da malacocultura continental. A aqüicultura mundial tem se destacado pelo crescimento e sucessivo aumento de produtividade, conferindo, a este tipo de produção, posição de destaque dentro do setor pecuário internacional. Entre as várias modalidades de aqüicultura, nas duas últimas décadas, a criação de escargots (malacocultura) tem merecido atenção de empresários, órgãos de fomento governamentais e pesquisadores. Em águas continentais, a malacocultura continental especialmente a ampularicultura pode ser reconhecida como forma para produção de moluscos com baixo impacto ambiental, sob sistema de produção compatível com pequenas propriedades, o que contribui na maior oferta de alimento para as famílias rurais, aumento na disponibilidade de alimentos de alto valor nutricional e na renda familiar. / It is proposed the application of some Systems and Software Engeneering techniques to the modeling of agro-industrial systems, in an innovative way, defining a methodology in order to better understand the activities and relationships among the many agents within an specific supply chain. It also permits the productive chain graphical modeling using IDEF0, BPMN and Use Cases. The main goal is to identify information for product traceability and quality through the productive chain. There is also presented, another innovation, the application of this methodology to the Continental Malacoculture Agro-industrial System. Customers\' requirements for agro food products quality, safety and traceability have been rising year after year due to the fear of health problems, such as the mad cow disease. The Productive Chain Modeling helps identifying the information and automation needs of a production chain, exploring its possibilities in order to specify information systems that support the business of the many agents throughout the agro food chain and fulfills customers\' quality and traceability requirements. The application of Use Case Model is also presented for requirements and traceability identification and gathering throughout the productive chain. The Use Case technique applied to the productive chain helps to specify more quality and adherent information systems. As an example of those methods, some business and information processes modeling applied to the Continental Malacoculture Productive Chain are presented, using the IDEF0, BPMN and use case techniques. Worldwide aquaculture has increased in importance due to growth and successive increase in productivity, conferring this type of production an outstanding position in the international animal production sector. Amongst different modalities of aquaculture, in the last two decades, the production of escargots (malacoculture) has deserved attention from businessmen, government and researchers. In continental waters, Continental Malacoculture, especially ampullariculture can be seen as a way of producing low impact mollusks, using a system compatible with small farms production, contributing to a greater increase in the availability of high nutritional value food and also improving rural families\' income.

O crescimento da complexidade e do tamanho dos sistemas computacionais atuais suscitou um aumento na dificuldade de extração e especificação de modelos formais desses sistemas, tornando essa atividade cada vez mais dispendiosa, tanto em tempo quanto em custo. Modelos são utilizados em diversas técnicas da Engenharia de Software, com o intuito de auxiliar em processos que compreendem desde o desenvolvimento de novos softwares, até reconstrução de um sistema a partir de software legado, passando pela realização de manutenção de um software em operação. Portanto, é necessário que essas abstrações sejam confiáveis e representem fielmente o software real. Nesse sentido, a adoção de métodos formais para a construção e análise de modelos computacionais é crescente e motivada, principalmente, pela confiabilidade que os formalismos matemáticos agregam aos modelos. No entanto, a utilização de métodos formais geralmente demanda um alto investimento de recursos humanos e, consequentemente, financeiros, uma vez que a utilização de tais formalismos é condicionada ao estudo profundo de sua fundamentação matemática. Considerando-se a extensa aplicabilidade de modelos em diversas subáreas da Ciência da Computação e as vantagens advindas da utilização de métodos formais para especificar sistemas, é interessante identificar métodos e ferramentas existentes para automatizar os processos de extração e análises de modelos, em conjunto com a adoção de formalismos que possam ser utilizados por profissionais da computação que atuam na indústria de software. Dessa forma, é estimulada nesse trabalho a utilização do formalismo de Gramática de Grafos, um método formal que diferencia-se dos demais por ser intuitivo e possuir uma representação visual gráfica, o que facilita a sua compreensão e não exige um conhecimento avançado sobre o formalismo. Primeiramente, é proposta uma abordagem para a extração de modelos em Gramática de Grafos a partir de código-fonte, extraindo informações de execuções de código Java anotado. Em seguida, é apresentada uma metodologia existente para extração e análise de Gramática de Grafos a partir de Casos de Uso, juntamente com um estudo empírico realizado a fim de validar a metodologia. Por fim, são propostas possíveis verificações adicionais, a fim de extender as análises dessa metodologia. Com isso, busca-se a obtenção de modelos, descritos através do formalismo de grafos, a partir de artefatos criados nos dois pólos do processo de desenvolvimento de software, antes e depois da implementação, no sentido de viabilizar futuras comparações, no contexto de verificação de software. / The growing size and complexity of current computer systems leading to an increase in the difficulty of extraction and specification of formal models of such systems, making it increasingly expensive activity, both in time and in cost. Models are used in various techniques of software engineering in order to assist in processes that range from the development of new software, to rebuild a system from legacy software, passing for performing maintenance of software in operation. Therefore, it is necessary that these abstractions are reliable and faithfully represent the actual software. In this sense, the adoption of formal methods for the construction and analysis of models is growing and motivated mainly by the reliability that the mathematical formalism add to models. However, the use of formal methods generally demands a high investment in human resources and hence financial, since the use of such formalism is conditioned to the deep study of its mathematical foundation. Considering the extensive applicability of models in various subfields of computer science and the benefits arising from the use of formal methods for specifying systems, it is interesting to identify existing methods and tools to automate the process of extracting models, in addition to the adoption of formalism that can be used by computer professionals working in the software industry. Thus, we encourage the use of the Graph Grammar formalism, a formal method that differs from others because it is intuitive and has a graphical visual representation, making it easy to understand and does not require an advanced knowledge of the formalism. First, we propose an approach for extracting models from source code in Graph Grammar, getting information of executions of annotated Java code. Then an existing methodology for extraction and analysis of Graph Grammar from Use Cases is presented, along with an empirical study to validate the methodology. Finally, we propose possible additional checks in order to extend the analysis of this methodology. Thus, this work aims to extract models, described by the formalism of graphs, from artifacts created in the two poles of the software development process, before and after implementation, in order to allow future comparisons, in the context of software verification.

Thesis. 1978. M.Arch--Massachusetts Institute of Technology. Dept. of Architecture. / MICROFICHE COPY AVAILABLE IN ARCHIVES AND ROTCH. / Bibliography: leaves 60-63. / M.Arch

O trabalho apresenta como inovação, inclusive em nível internacional, a utilização de métodos e técnicas de engenharia de software e de sistemas aplicadas aos Sistemas Agroindustriais (SAG), definindo uma metodologia objetivando facilitar maior compreensão dos relacionamentos e atividades dos diversos agentes componentes de um SAG; modelar graficamente as atividades dos agentes e demais envolvidos em cada etapa de uma cadeia produtiva, através de IDEF0, BPMN e Casos de Uso; identificar informações para qualidade, rastreabilidade do produto e seus insumos ao longo da cadeia produtiva. Efetua, também com caráter inovador, a aplicação dessa metodologia na área de produtos exóticos através da modelagem de atividades pertencentes ao SAG da Malacocultura Continental (criação comercial de escargots), agronegócio inserido na política de incentivo à Agroindústria Familiar. As exigências dos consumidores de produtos agropecuários em relação a qualidade, segurança e rastreabilidade tem crescido ano após ano devido ao medo de problemas com saúde, como o mal da vaca louca. A modelagem do Sistema Agroindustrial (SAG) possibilita identificar necessidades de informação e automação em uma cadeia produtiva, explorar essas possibilidades de modo a permitir a especificação de sistemas de informação que suportem os negócios dos diversos agentes ao longo da cadeia produtiva satisfazendo os requisitos de qualidade e rastreabilidade dos consumidores. A aplicação de um modelo de caso de uso também é apresentada, descrevendo as atividades componentes de processos ao longo da cadeia produtiva, permitindo a identificação de requisitos e informações de rastreabilidade e qualidade. A técnica de casos de uso aplicada na cadeia produtiva ajuda na especificação de sistemas de informação de melhor qualidade e mais aderentes aos processos de negócio envolvidos. Como exemplo é a apresentada a modelagem (utilizando IDEF0, BPMN e casos de uso) de alguns processos de negócio e informação pertencentes à cadeia produtiva da malacocultura continental. A aqüicultura mundial tem se destacado pelo crescimento e sucessivo aumento de produtividade, conferindo, a este tipo de produção, posição de destaque dentro do setor pecuário internacional. Entre as várias modalidades de aqüicultura, nas duas últimas décadas, a criação de escargots (malacocultura) tem merecido atenção de empresários, órgãos de fomento governamentais e pesquisadores. Em águas continentais, a malacocultura continental especialmente a ampularicultura pode ser reconhecida como forma para produção de moluscos com baixo impacto ambiental, sob sistema de produção compatível com pequenas propriedades, o que contribui na maior oferta de alimento para as famílias rurais, aumento na disponibilidade de alimentos de alto valor nutricional e na renda familiar. / It is proposed the application of some Systems and Software Engeneering techniques to the modeling of agro-industrial systems, in an innovative way, defining a methodology in order to better understand the activities and relationships among the many agents within an specific supply chain. It also permits the productive chain graphical modeling using IDEF0, BPMN and Use Cases. The main goal is to identify information for product traceability and quality through the productive chain. There is also presented, another innovation, the application of this methodology to the Continental Malacoculture Agro-industrial System. Customers\' requirements for agro food products quality, safety and traceability have been rising year after year due to the fear of health problems, such as the mad cow disease. The Productive Chain Modeling helps identifying the information and automation needs of a production chain, exploring its possibilities in order to specify information systems that support the business of the many agents throughout the agro food chain and fulfills customers\' quality and traceability requirements. The application of Use Case Model is also presented for requirements and traceability identification and gathering throughout the productive chain. The Use Case technique applied to the productive chain helps to specify more quality and adherent information systems. As an example of those methods, some business and information processes modeling applied to the Continental Malacoculture Productive Chain are presented, using the IDEF0, BPMN and use case techniques. Worldwide aquaculture has increased in importance due to growth and successive increase in productivity, conferring this type of production an outstanding position in the international animal production sector. Amongst different modalities of aquaculture, in the last two decades, the production of escargots (malacoculture) has deserved attention from businessmen, government and researchers. In continental waters, Continental Malacoculture, especially ampullariculture can be seen as a way of producing low impact mollusks, using a system compatible with small farms production, contributing to a greater increase in the availability of high nutritional value food and also improving rural families\' income.

The term ontology is defined as the explicit specification of a conceptualization. While much of the prior research has focused on technical aspects of ontology management, little attention has been paid to the investigation of issues that limit the widespread use of ontologies and the evaluation of the effectiveness of ontologies in improving task performance. This dissertation addresses this void through the development of approaches to ontology creation, refinement, and evaluation. This study follows a multi-paper model focusing on ontology creation, refinement, and its evaluation. The first study develops and evaluates a method for ontology creation using knowledge available on the Web. The second study develops a methodology for ontology refinement through pruning and empirically evaluates the effectiveness of this method. The third study investigates the impact of an ontology in use case modeling, which is a complex, knowledge intensive organizational task in the context of IS development. The three studies follow the design science research approach, and each builds and evaluates IT artifacts. These studies contribute to knowledge by developing solutions to three important issues in the effective development and use of ontologies.

<p>Detta examensarbete innehåller en introduktion till informationssystemutveckling och Requirements Engineering (RE). Vikten av att utföra RE på ett effektivt sätt är stor. Hela informationssystemet blir lidande om denna del inte utförs på ett tillfredställande sätt. För att utföra RE finns en rad tekniker och verktyg. Detta arbete behandlar en teknik i RE, nämligen Use Case-modellering. Arbetets syfte är att finna styrkor respektive svagheter med tekniken Use Case-modellering. Dessutom påvisar arbetet hur Use Case-modellering eventuellt kan förbättras.</p><p>Det som framkommer i rapporten visar hur litteraturen ser på Use Case-modellering samt hur personer som praktiskt har använt sig av tekniken ser på den. Resultatet belyser att litteraturen och praktiken har ungefär samma syn på Use Case-modellerings styrkor och svagheter och att tekniken bör förbättras på olika sätt. Arbetet avslutas med en diskussion kring genomförandet av arbetet samt en diskussion kring det uppnådda resultatet.</p>

<p>Use Case-tekniken används för kravutvinning under RE-processen. Under RE-processen utvinns och dokumenteras krav på det nya systemet. I detta arbete undersöks vilka oklarheter systemutvecklare som använder Use Case-tekniken upplever med beskrivningen av denna teknik.</p><p>Hur Use Case-tekniken utvecklats och vilken kritik som riktats mot tekniken beskrivs även detta i arbetet.</p><p>Undersökningen utgår ifrån hur de systemutvecklare som använder tekniken upplever att denna är beskriven och utfördes med enkäter och intervjuer.</p><p>Svaret på undersökningen är att de systemutvecklare som använder Use Case-tekniken upplever att denna som helhet är tydligt beskriven. På detaljnivå upplever dock de svarande att teknikens beskrivning:</p><p>* saknar stöd för på vilken nivå Use Cases skall utformas,</p><p>* saknar bra exempel,</p><p>* inte har tillräckligt fokus på syftet med Use Cases,</p><p>* saknar stöd för hur Use Cases skall utformas,</p><p>* inte beskriver skillnaden mellan generalisering och <<extend>></p><p>* inte beskriver skillnaden mellan <<include>> och <<extend>> tillräckligt väl.</p>

<p>Detta examensarbete ger en introduktion till Requirements Engineering (RE), kravprocessen i informationssystemutveckling. Det slutliga informationssystemet är i stor utsträckning beroende av en effektiv RE-process. Ett framgångsrikt informationssystem beror på hur väl det färdiga systemet stämmer överens med användarens och andra intressenters behov och förväntningar. Use Case är en teknik som kan användas i RE-processen för att representera krav. Arbetets syfte är att finna de för- och nackdelar som finns med Use Case för att representera krav. Dessutom undersöka hur kravrepresentationen anpassas utefter de för- och nackdelar som framkommit.</p><p>Det som presenteras i examensarbetet visar på hur systemutvecklare uppfattar Use Casetekniken utifrån dennas praktiska erfarenheter. Av resultatet framgår en rad olika för- och nackdelar och dessutom vid vilka tillfällen respondenterna valt att komplettera Use Case med annan teknik. Avslutningsvis diskuteras genomförandet av arbetet samt en diskussion kring resultatet av undersökningen.</p>

<p>Ett effektivt användande av ett informationssystem förbättrar informationshanteringen inom en verksamhet. För att ett informationssystem ska kunna fungera effektivt krävs att det motsvarar de krav som ställts på informationssystemet av olika intressenter.</p><p>Requirements Engineering (RE) är en viktig del av systemutvecklingsprocessen för att kunna säkerställa en väl fungerande kravhantering. Use case är en teknik som kan användas som hjälpmedel i RE-processen för att identifiera och dokumentera krav.</p><p>Syftet med detta examensarbete är att undersöka om use case är tillräcklig som enda teknik för att identifiera och dokumentera krav samt vilka eventuella kompletterande tekniker som används bland systemutvecklare. Resultatet av undersökningen visar att use case-tekniken inte är tillräcklig utan måste kompletteras med andra tekniker för att möjliggöra att samtliga krav kan identifieras och dokumenteras.</p>

<p>Examensarbetets frågeställning berör användarnas medverkan i Requirements Engineering (RE). Under RE-fasen skall samtliga krav på det kommande systemet tas fram från intressenterna. En viktig intressentgrupp i kravutvinningsarbetet är de kommande användarna av systemet. Resultatet av RE-fasen är en viktig faktor som påverkar hela den fortsatta utvecklingsprocessen samt hur lyckat det slutliga systemet blir.</p><p>Detta examensarbete innebär en undersökning av vad användarrepresentanterna anser om use case-modelleringen i RE-processen. Undersökningen har påvisat att användarrepresentanterna är positiva till use case-modellering som arbetsmetod för att kartlägga kraven. För att besvara examensarbetets frågeställning har intervjuer med användarrepresentanter genomförts och de har givet vid handen att use case till viss del underlättar kommunikationen, men att det finns ett antal faktorer som försvårar och minskar användarens möjlighet att medverka i arbetet med use case-modelleringen.</p><p>Undersökningen utförs genom en fallstudie inom Volvo Information Technology och de medverkande respondenterna kommer från tre olika projekt av varierande storlek.</p>