O objetivo deste trabalho é estudar o impacto proporcionado pelo comércio eletrônico, através do instrumento denominado Business-to-Business, nos Custos de Transação das empresas do setor varejista do Rio Grande do Sul. O trabalho se propõe analisar a abrangência teórica dos Custos de Transação, com uma rápida abordagem sobre a análise da chamada corrente Neo-Institucional. Contudo, para chegar a esta meta principal o estudo vai primeiramente fazer uma incursão pelas abordagens teóricas da teoria dos Custos de Transação, clareando para o leitor, quais os preceitos que fundamentam esta teoria. Na seqüência o trabalho faz uma abordagem sobre os instrumentos eletrônicos de troca de informações, comerciais ou não, posteriormente tratando de maneira mais específica à questão do B2B na economia atual. Neste sentido aborda-se as evidências mundiais da aplicabilidade destes instrumentos. Posteriormente o trabalho faz uma ligação entre os CT e o comércio eletrônico, para determinar corretamente onde o trabalho pretende chegar. Como o trabalho pretende analisar o caso de empresas, nosso estudo primeiramente caracterizou o setor varejista à que as empresas pertencem, para na seqüência apresentar as firmas e os dados levantados n estudo de caso, que nos propusemos verificar. Diante de arranjo que criamos, encerramos o trabalho, apresentando as conclusões verificadas bem como propostas para estudos futuros.

Orientador: Oscar Dalfovo. / Dissertação (mestrado) - Universidade Regional de Blumenau, Centro de Ciências Sociais Aplicadas, Programa de Pós-Graduação em Administração.

O objetivo deste trabalho é estudar o impacto proporcionado pelo comércio eletrônico, através do instrumento denominado Business-to-Business, nos Custos de Transação das empresas do setor varejista do Rio Grande do Sul. O trabalho se propõe analisar a abrangência teórica dos Custos de Transação, com uma rápida abordagem sobre a análise da chamada corrente Neo-Institucional. Contudo, para chegar a esta meta principal o estudo vai primeiramente fazer uma incursão pelas abordagens teóricas da teoria dos Custos de Transação, clareando para o leitor, quais os preceitos que fundamentam esta teoria. Na seqüência o trabalho faz uma abordagem sobre os instrumentos eletrônicos de troca de informações, comerciais ou não, posteriormente tratando de maneira mais específica à questão do B2B na economia atual. Neste sentido aborda-se as evidências mundiais da aplicabilidade destes instrumentos. Posteriormente o trabalho faz uma ligação entre os CT e o comércio eletrônico, para determinar corretamente onde o trabalho pretende chegar. Como o trabalho pretende analisar o caso de empresas, nosso estudo primeiramente caracterizou o setor varejista à que as empresas pertencem, para na seqüência apresentar as firmas e os dados levantados n estudo de caso, que nos propusemos verificar. Diante de arranjo que criamos, encerramos o trabalho, apresentando as conclusões verificadas bem como propostas para estudos futuros.

Electronic commerce is an important application that has evolved significantly in recent past. However, electronic commerce systems are complex and difficult to be designed correctly. Current most approaches are ad-hoc, frequently leading to expensive and unreliable systems that may take a long time to implement due to the great amount of errors. Moreover, guaranteeing the correctness of an e-commerce system is not an easy task due to the great amount of scenarios where subtle errors may occur. Such task is quite hard and laborious if only tests and simulation, common techniques for system validation, are used. In this work we propose a methodology that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify that these designs satisfy properties such as atomicity, isolation, and consistency. Using the proposed methodology, the designer is able to identify errors early in the design process and correct them before they propagate to later stages. Thus, its possible to generate more reliable applications, developed faster and at low costs. In order to demonstrate the applicability and feasibility of the technique, we have modeled and verified a virtual store m which multiple buyers compete for product items. For instance, the verification process pointed out a concurrency control error which allowed the same item to be sold twice. The proposed method can be applied in general e-commerce systems, where the business rules can be modeled by state transitions of the items on sale. As the method is based on CTL-formulas, the business rules should be represented by them, what can be considered a limitation of the method. We are currently studying other features of electronic commerce systems that we have not yet been formalized, as well as the possibility of generating the actual code that will implement the system from its specification. In this context, we have been developing a set of design patterns to be used in the design and verification process of e-commerce systems. The idea is to define a model checking pattern hierarchy, which specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research the first step for the development of a framework, which will integrate the methodology, an e-commerce specification language based on business rules, and a model checker. A future research is to apply our methodology in other application areas, such as mobile e-commerce and telecommunications. / Comércio eletrônico é uma importante área de aplicação associada à computação que tem evoluído significativamente nos últimos anos. Entretanto, sistemas de comércio eletrônico são complexos e difíceis de serem projetados corretamente. Atualmente, a maioria das abordagens é ad-hoc, o que normalmente torna os sistemas menos confiáveis e implica em alto custo em termos de tempo e recursos. Além disso, garantir a corretude de um sistema de comercio eletrônico não é tarefa trivial devido à grande variedade de erros, muitos deles muito sutis. Tal tarefa é complexa e trabalhosa se apenas testes e simulação, técnicas comuns de validação de sistemas, são utilizados. Neste trabalho propõe-se uma metodologia que utiliza métodos formais, especificamente verificação simbólica de modelos, para projetar aplicações de comércio eletrônico e verificar automaticamente se suas regras de negócio são satisfeitas. Usando a metodologia proposta, o projetista é capaz de identificar, antecipadamente, erros no processo de desenvolvimento do projeto e corrigi-los antes que se propaguem a estágios posteriores da implementação. Dessa forma, torna-se possível gerar aplicações mais confiáveis, desenvolvidas mais rapidamente e a baixo custo. A fim de demonstrar a aplicabilidade e a praticabilidade da técnica proposta, modelou-se e verificouse uma loja virtual, na qual múltiplos compradores competem para adquirir itens de um produto. A utilização de verificação automática se mostrou de extrema importância, pois indicou erros difíceis de serem detectados durante o projeto da aplicação como, por exemplo, uma falha do controle de concorrência que permitia que o mesmo artigo fosse vendido para clientes distintos. A metodologia proposta pode ser aplicada em sistemas de comércio eletrônico em geral, onde as regras de negócio podem ser modeladas através de transições no estado dos itens a venda. Como o método proposto é baseado em fórmulas CTL, as regras de negócio devem ser representadas através das mesmas, o que pode ser considerado uma limitação da metodologia. Estamos estudando outras características dos sistemas de comércio eletrônico que ainda não foram formalizadas, assim como a possibilidade de geração do atual código que implementa o sistema a partir de sua especificação. Neste contexto, estamos desenvolvendo um conjunto de padrões de projeto a serem utilizados no projeto e verificação de sistemas de comércio eletrônico. A idéia principal é definir uma hierarquia de padrões para verificação de modelos, que especifique padrões para construção e verificação de modelos formais de comércio eletrônico. Consideramos esse trabalho o primeiro passo para o desenvolvimento de um ambiente que integre a metodologia, uma linguagem de especificação de sistemas de comércio eletrônico baseada em regras de negócio, e um verificador de modelos. Um trabalho futuro é aplicar a metodologia proposta em outras áreas, tais como comércio eletrônico móvel e telecomunicações.

O objetivo deste trabalho é estudar o impacto proporcionado pelo comércio eletrônico, através do instrumento denominado Business-to-Business, nos Custos de Transação das empresas do setor varejista do Rio Grande do Sul. O trabalho se propõe analisar a abrangência teórica dos Custos de Transação, com uma rápida abordagem sobre a análise da chamada corrente Neo-Institucional. Contudo, para chegar a esta meta principal o estudo vai primeiramente fazer uma incursão pelas abordagens teóricas da teoria dos Custos de Transação, clareando para o leitor, quais os preceitos que fundamentam esta teoria. Na seqüência o trabalho faz uma abordagem sobre os instrumentos eletrônicos de troca de informações, comerciais ou não, posteriormente tratando de maneira mais específica à questão do B2B na economia atual. Neste sentido aborda-se as evidências mundiais da aplicabilidade destes instrumentos. Posteriormente o trabalho faz uma ligação entre os CT e o comércio eletrônico, para determinar corretamente onde o trabalho pretende chegar. Como o trabalho pretende analisar o caso de empresas, nosso estudo primeiramente caracterizou o setor varejista à que as empresas pertencem, para na seqüência apresentar as firmas e os dados levantados n estudo de caso, que nos propusemos verificar. Diante de arranjo que criamos, encerramos o trabalho, apresentando as conclusões verificadas bem como propostas para estudos futuros.

Dissertação (mestrado)—Universidade de Brasília, Departamento de Engenharia Elétrica, Programa de Pós-Graduação em Engenharia Elétrica, 2011. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2011-12-09T14:38:08Z No. of bitstreams: 1 2011_VictorMelloBenzi.pdf: 1116557 bytes, checksum: 3ee899d3e60e66dc07d3821fffd1dd19 (MD5) / Approved for entry into archive by Leila Fernandes (leilabiblio@yahoo.com.br) on 2011-12-12T11:26:01Z (GMT) No. of bitstreams: 1 2011_VictorMelloBenzi.pdf: 1116557 bytes, checksum: 3ee899d3e60e66dc07d3821fffd1dd19 (MD5) / Made available in DSpace on 2011-12-12T11:26:01Z (GMT). No. of bitstreams: 1 2011_VictorMelloBenzi.pdf: 1116557 bytes, checksum: 3ee899d3e60e66dc07d3821fffd1dd19 (MD5) / A dissertação apresenta um modelo de confiança aplicado ao comércio eletrônico. Discorre sobre definições de comércio eletrônico, sua evolução e características de emprego. Discorre também sobre reputação e confiança explicitando alguns tipos e apresentando modelos de confiança e reputação aplicados em áreas distintas. Para isso aborda os impactos da confiança no comércio eletrônico, onde estudos recentes identificam que organizações virtuais com a agregação de sistemas de reputação e confiança obtêm vantagens em relação às concorrentes. Nesse contexto aborda o entendimento de que o rumo seguro está vinculado à confiança que contribui para o alcance dos resultados objetivados pela gestão, desde que seja controlada e medida, levando a que as lojas adquiram maior eficácia na gestão do negócio. A implementação do Modelo proposto foi realizada por intermédio de uma loja pronta - Prestashop, tendo sido elaborado um diagnóstico da situação, empregando requisitos consagrados de confiança associados aos processos pertinentes à sua atividade fim. O Modelo apresenta como um diferencial a possibilidade de contrabalançar a contaminação dos sistemas de reputação por informações falsas ou levianas, ao valorizar os avaliadores que apresentam maior experiência na interação com a loja. ______________________________________________________________________________ ABSTRACT / This lecture presents a trust model applied to electronic commerce. It discourses about electronic commerce definitions, its evolution and utilization characteristics. Also discourses about reputation and trust presenting some kinds as well as trust and reputation models applied to distinct areas. In order to do that, broaches the impacts of trust in electronic commerce, in which recent studies have identified that virtual organizations with added reputation and trust systems get advantages toward their competitors. In that scenario, approaches the understanding that the safe way is bound to trust, which contributes to reaching the administration desired results, as long as it’s controlled and measured, what leads to a higher effectiveness in business management. The implementation of the proposed model has been executed through an e-commerce solution – Prestashop, for which a diagnosis report has been worked out making use of renowned trust requirements associated to processes related to its main activity. The model presents as a differential the possibility to counterbalance reputation systems contamination by false or frivolous information, by appraising evaluators who presents more experience in interacting with the store.

A ascensão de um grande número de pessoas em países em desenvolvimento para a classe média, no inicio do século XXI, aliado ao movimento político para transferência de base energética para os biocombustíveis vêm aumentando a pressão sobre os preços das commodities agrícolas e apresentando novas oportunidades e cenários administrativos para os produtores agrícolas dessas commodities, em especial aquelas que podem se diversificar em muitos subprodutos para atender diferentes mercados, como o de alimentos, químico, têxtil e de energia. Nesse novo ambiente os produtores podem se beneficiar dividindo adequadamente a produção entre os diferentes subprodutos, definindo o melhor momento para a comercialização através de estoques, e ainda controlar sua exposição ao risco através de posições no mercado de derivativos. A literatura atual pouco aborda o tema da diversificação e seu impacto nas decisões de produção e comercialização agrícola e portanto essa tese tem o objetivo de propor um modelo de decisão fundado na teoria de seleção de portfólios capaz de decidir a divisão da produção entre diversos subprodutos, as proporções a serem estocadas e o momento mais adequado para a comercialização e por fim as posições em contratos futuros para fins de proteção ou hedge. Adicionalmente essa tese busca propor que esse modelo seja capaz de lidar com incerteza em parâmetros, em especial parâmetros que provocam alto impacto nos resultados, como é o caso dos retornos previstos no futuro. Como uma terceira contribuição, esse trabalho busca ainda propor um modelo de previsão de preços mais sofisticado que possa ser aplicado a commodities agrícolas, em especial um modelo híbrido ou hierárquico, composto de dois modelos, um primeiro modelo fundado sob a teoria de processos estocásticos e do Filtro de Kalman e um segundo modelo, para refinar os resultados do primeiro modelo de previsão, baseado na teoria de redes neurais, com a finalidade de considerar variáveis exógenas. O modelo híbrido de previsão de preços foi testado com dados reais do mercado sucroalcooleiro brasileiro e indiano, gerando resultados promissores, enquanto o modelo de decisão de parâmetros de produção, comercialização, estocagem e hedge se mostrou uma ferramenta útil para suporte a decisão após ser testado com dados reais do mercado sucroalcooleiro brasileiro e do mercado de milho, etanol e biodiesel norte-americano. / The rise of a large number of people in developing countries for the middle class at the beginning of the century, combined with the political movement to transfer the energy base for biofuels has been increasing pressure on prices of agricultural commodities and presenting new opportunities and administrative scenarios for agricultural producers of these commodities, especially those who may diversify into many products to meet different markets such as food, chemicals, textiles and energy. In this new environment producers can achieve benefits properly dividing production between different products, setting the best time to market through inventories, and still control their risk exposure through positions in the derivatives market. The literature poorly addresses the issue of diversification and its impact on agricultural production and commercialization decisions and therefore this thesis aims to propose a decision model based on the theory of portfolio selection able to decide the division of production between different products, the proportions to be stored and timing for marketing and finally the positions in futures contracts to hedge. Additionally this thesis attempts to propose that this model is capable of dealing with uncertainty in parameters, especially parameters that cause high impact on the results, as is the case of expected returns in the future. As a third contribution this paper seeks to also propose a model more sophisticated to forecast prices that can be applied to agricultural commodities, especially a hybrid or hierarchical model, composed of two models, a first one based on the theory of stochastic processes and Kalman filter and a second one to refine the results of the first prediction model, based on the theory of neural networks in order to consider the exogenous variables. The hybrid model for forecasting prices has been tested with real data from the Brazilian and Indian sugar ethanol market, generating promising results, while the decision model parameters of production, commercialization, storage and hedge proved a useful tool for decision support after being tested with real data from Brazilian sugar ethanol market and the corn, ethanol and biodiesel market in U.S.A.

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2016-06-30T14:30:19Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) 3 - Dissertação - Jean Turet.pdf: 1592836 bytes, checksum: 61a949904ef7ff39905b9ae5637c906f (MD5) / Made available in DSpace on 2016-06-30T14:30:19Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) 3 - Dissertação - Jean Turet.pdf: 1592836 bytes, checksum: 61a949904ef7ff39905b9ae5637c906f (MD5) Previous issue date: 2015-12-10 / FACEPE / Dado o crescente aumento na utilização de smartphones e tablets, investimentos em m-commerce tornam-se uma boa oportunidade para o aumento nas vendas e, consequentemente, mais lucratividade para as empresas. Entretanto, para que haja sucesso neste investimento, torna-se necessário aumentar o grau de confiança dos usuários com o ambiente m-commerce das empresas que investem nesta modalidade de venda (também conhecidas como empresas em tempo real). As companhias têm se deparado com diversos desafios tecnológicos e organizacionais em m-commerce que podem, se não tratados corretamente, influenciar negativamente na confiança dos usuários e, consequentemente, afastar estes consumidores da utilização desta plataforma. Desta forma, a organização que deseja investir em m-commerce necessita minimizar ou sanar os impactos negativos que podem afastar o cliente do m-commerce. O uso adequado da Tecnologia da Informação e dos Sistemas de Informação são fundamentais para atender aos objetivos estratégicos da organização, bem como o sucesso neste ambiente de comércio virtual. Assim, para minimizar os problemas que os desafios do ambiente m-commerce impõem e aumentar esse grau de confiança dos usuários, as empresas deparam-se com a necessidade de executar melhorias no setor de Tecnologia da Informação. A impossibilidade de executar as ações estratégicas em paralelo impõe a necessidade de priorização de ações, que nem sempre é uma tarefa fácil. Nesse contexto, este trabalho procurou classificar esses desafios e apresentar um modelo multicritério baseado no modelo aditivo com veto para priorização das ações necessárias para melhorias neste ambiente de comércio virtual. Esse modelo procura minimizar alguns inconvenientes que podem acontecer devido ao efeito compensatório do modelo aditivo tradicional. / Due to the growth of the use of smartphones and tablets, investments in m-commerce seems to be a good opportunity to increase sales and, consequently companies’ profitability. However to achieve a successful investment is necessary increase the user confidence in m-commerce environment. In order to make it possible, enterprises are dealing with several technological and organizational challenges, which, if not well treated, can influence in a negative way, and move clients away. Therefore, any organization that wants to invest in m-commerce environment should solve those challenges or at least work to minimize the negative impacts that may exist. Moreover, the suitable use of information technology (IT) and information systems (IS) are essential to reach this goal and for sure the strategic objectives of the company. Aiming to increase the user confidence in m-commerce, companies are dealing with the necessity to improve their business plan and processes. For sure ranking a set of necessary actions is not an easy task. And so, this study tries to classify those challenges and proposes a multicriteria decision model based on the additive model with veto to ranking a set of actions. This model achieves the goal to minimize some inconvenient caused by the compensatory effect of the traditional additive model.

Este trabalho tem por objetivo analisar as disputas entre os estados envolvendo a tributação pelo ICMS das operações de circulação de mercadoria contratadas pela internet. A despeito da extensa disciplina sobre o tributo na Constituição Federal de 1988, intensificam-se os conflitos entre os estados em torno do ICMS. No caso do comércio eletrônico, a internet impulsiona o aumento das operações de compra e venda realizadas de forma remota. Tendo em vista que o parâmetro de origem foi adotado pela Constituição Federal na tributação das operações interestaduais destinadas a consumidores finais não contribuintes do imposto, alguns estados sustentam que o crescimento do comércio eletrônico afeta o equilíbrio horizontal da arrecadação do ICMS. Com base nesse argumento, editaram legislações estaduais e firmaram o Protocolo ICMS nº 21/2011 para exigir a cobrança de adicional do imposto na entrada das mercadorias em seus territórios. Diante disso, em primeiro lugar, será analisado o conceito de comércio eletrônico, suas modalidades e seus modelos de negócios. Será feito também um breve exame da evolução histórica da tributação das operações de circulação de mercadoria, assim como das características do federalismo brasileiro que justificam as disputas entre os entes. Em seguida, será analisada a legitimidade dessa nova exigência tributária e a concessão de incentivos fiscais aos estabelecimentos virtuais. Por fim, serão examinadas as propostas para a solução deste conflito entre os estados. / The present work has the purpose of analyzing the disputes between Brazilian states regarding the taxation of electronic trade of goods. Despite of the extensive regulation of the Value added tax on sales and services ICMS in the Federal Constitution of 1988, the conflicts between the states are still increasing. Regarding electronic commerce, the internet enhances the expressive development of transactions performed remotely. Considering that the Federal Constitution adopted the source of principle to tax interstate transactions destined to non-taxpayers, some states claim that the expansion of electronic commerce affects the horizontal balance of the collection of ICMS. Based on that, these states published laws and celebrated the ICMS Protocol n. 21/2011 to levy a tax in the entrance of goods purchased on-line. The present study will, at first, analyze the concept of electronic commerce, its modalities and business models. Then, the historical evolution of the taxation of trade of goods will be examined, as well as the characteristics of the Brazilian federalism that may justify the disputes between the states. Afterwards, the legitimacy of this new tax levy will be scrutinized, along with the fiscal incentives granted to virtual establishments. Finally, the propositions to solve this conflict between the states will be evaluated.

Este estudo dedica-se a levantar elementos que configurem a dinâmica da rua de comércio dentro de um contexto de transformações recentes da atividade comercial na cidade de São Paulo. O método envolve primeiro, num âmbito geral, o estudo da dinâmica da rua de comércio sob três diferentes aspectos: pela evolução urbana, pelas transformações sócio-econômicas e pelos hábitos de compra do consumidor. A síntese se apóia em pesquisas quantitativas para relacionar as principais ruas de comércio, categorias de produtos mais procurados e as razões pelas quais as pessoas freqüentam estas ruas de comércio. Apresenta, em conclusão, os principais atributos de uma rua de comércio, através do levantamento do seu mix de lojas, ocupação e transformações. / This study proposes to come up with elements which configurate the commerce street dynamic inside a recent transformation context of commercial activity in São Paulo city. The method envolves the study of the street dynamic upon three different aspects: through the urban evolution, the socio-economic transformation and the consumer shopping habits. The synthesis is supported on quantitative researches to relate the main commerce streets, products categories most required and the reason why people go to those commerce streets. It presents the main attributes of a commerce street, through the survey of its mix, occupation and present transformation.