BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks

Competição espacial no mercado de revenda da gasolina: uma análise nas principais cidades do Rio Grande do Norte

This study aims to analyze the relationship between average price with the concentration in the markets (municipalities) in the state of Rio Grande do Norte, is using a little tool applied to the Brazilian market is the spatial econometric model. A data base contains all the stations of the major cities in the state of Rio Grande do Norte and includes 142 observations on stations was used. Theoretical models predict the relationship between the number of competitors in a market and the average price; these theoretical models include: the monopolistic competition of Perloff and Salop (1985), and the search-theoretic, of Carlson and McAfee (1983) and Varian (1980). The empirical results showed that a higher density within a geographic area is associated with a lower average price, thus converging with the monopolistic competition model and with the search-theoretic of Carlson and McAfee (1983). The parameters varied little with the inclusion / exclusion of control variables, showing the robustness of them.