Reasoning about Requirements Evolution Using Clustered Belief Revision

During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple conflicting viewpoints are embodied in the specification, or when the specification itself is at a transient stage of evolution. These inconsistencies cannot always be resolved immediately. As a result, we argue that a formal framework for the analysis of evolving specifications should be able to tolerate inconsistency by allowing reasoning in the presence of inconsistency without trivialisation, and circumvent inconsistency by enabling impact analyses of potential changes to be carried out. This paper shows how clustered belief revision can help in this process. Clustered belief revision allows for the grouping of requirements with similar functionality into clusters and the assignment of priorities between them. By analysing the result of a cluster, an engineer can either choose to rectify problems in the specification or to postpone the changes until more information becomes available.

QoS-aware model driven architecture through the UML and CIM

The specification of Quality of Service (QoS) constraints over software design requires measures that ensure such requirements are met by the delivered product. Achieving this goal is non-trivial, as it involves, at least, identifying how QoS constraint specifications should be checked at the runtime. In this paper we present an implementation of a Model Driven Architecture (MDA) based framework for the runtime monitoring of QoS properties. We incorporate the UML2 superstructure and the UML profile for Quality of Service to provide abstract descriptions of component-and-connector systems. We then define transformations that refine the UML2 models to conform with the Distributed Management Taskforce (DMTF) Common Information Model (CIM) (Distributed Management Task Force Inc. 2006), a schema standard for management and instrumentation of hardware and software. Finally, we provide a mapping the CIM metamodel to a .NET-based metamodel for implementation of the monitoring infrastructure utilising various .NET features including the Windows Management Instrumentation (WMI) interface.

Invasive Aquatic Invasion: The Spread of Variable Leaf Milfoil in Maine

Variable leaf milfoil, Myriophyllum heterophyllum, has been present in Maine since 1970. We created an analysis area including seventeen infestation sites and all bodies of water within a forty mile buffer. We also eliminated all water locations with a size less than 7,101 km2, the size of the smallest infestation site, Shagg Pond. Within those specifications we randomly selected seventeen un-infested bodies of water and used them as our uncontaminated sample. We looked for relationships between presence and number of boat launches, and proximity to a populated area. Using the Mann-Whitney test, we compared the sample size of non-infested lakes to the infested lakes. We found there was no significant difference in all three variables on the infestation of variable leaf milfoil.

Extensão de um modelo OO formal com aspectos temporais

Na área de Engenharia de Software, há vários modelos formais de especificação orientado a objetos (OO). Um destes é o OO-Method / OASIS. OO-Method se baseia nos seguintes princípios: - dar suporte às noções do modelo conceitual orientado a objetos; - integrar os modelos formais com metodologias de aceitação industrial; - possibilitar a produção de software avançado que inclua a geração completa de código (estática e dinâmica) do desenvolvimento comercial. O processo de desenvolvimento consiste em levantar as propriedades principais do sistema em desenvolvimento (modelo conceitual) por parte do engenheiro de software, e construir de forma automática, em qualquer momento (por um processo de conversão gráfico-textual) a especificação formal orientada a objetos em OASIS (Open and Active Specifications of Information System) que constituirá um repositório de alto nível do sistema. O objetivo de OASIS é expressar os requisitos funcionais de um sistema de informação, em um marco formal, que facilite sua validação e geração automática de programas. OASIS não inclui a especificação de aspectos temporais. A modelagem de aspectos temporais é um importante tópico da modelagem de sistemas de informação, porque através destes são representadas as características dinâmicas das aplicações e a interação temporal entre diferentes processos. A especificação de requisitos de aplicações através de modelos orientados a objetos permite representar não só os seus estados, mas também, seu comportamento. Modelos temporais representam também a evolução de objetos com o tempo. Como o estado de um objeto pode ser alterado devido à ocorrência de um evento (fato ocorrido em um determinado instante no tempo), é importante que o modelo utilizado permita apresentar a história destes eventos. O presente trabalho tem por finalidade propor uma extensão temporal a um modelo formal de especificação OO. Esta extensão inclui tanto aspectos estáticos quanto dinâmicos. A extensão de aspectos estáticos estende OASIS com atributos temporais. A extensão dos aspectos dinâmicos, contribuição central do trabalho, estende OASIS com eventos temporais.

Estudo da viabilidade técnica da utilização de escórias de aciaria do processo LD como adição em cimentos

A reciclagem de resíduos apresenta-se como uma alternativa adequada com relação à preservação dos recursos naturais e do meio ambiente. As escórias de aciaria são resíduos siderúrgicos originados na fabricação do aço, e são geradas em grandes quantidades. Estes resíduos são estocados nos pátios siderúrgicos, onde permanecem, na sua maioria, sem qualquer destino. Normalmente, as escórias de aciaria são volumetricamente instáveis, apresentando características expansivas, e por esta razão, a aplicação das mesmas em materiais de construção torna-se restrita. Esta pesquisa tem como objetivo estudar a viabilidade técnica do uso das escórias de aciaria LD como adição em cimentos, propondo um método de estabilização por meio de granulação por resfriamento brusco destas escórias, buscando, desta forma, a eliminação do fenômeno da expansão, e visando a melhoria das características destes resíduos. No processo de estabilização, a escória líquida foi granulada em uma usina siderúrgica. Estudos complementares de granulação foram realizados nos laboratórios da UFRGS, empregando-se escórias refundidas. A granulação por resfriamento brusco favoreceu a redução do CaOlivre, a eliminação do MgO na forma de periclásio, e a eliminação do bC2S das escórias, considerados agentes causadores da expansão. No entanto, a elevada basicidade da escória LD dificulta a formação da estrutura vítrea e a separação da fração metálica após o resfriamento brusco. Foram realizados ensaios de expansão das escórias, atividade pozolânica, e resistência mecânica de argamassas com escórias granuladas. O resfriamento brusco proporcionou a eliminação da expansão e o desenvolvimento das propriedades pozolânicas/cimentícias da escória granulada. Como adição em cimentos, do ponto de vista da resistência mecânica, as argamassas compostas com escórias granuladas e clínquer apresentaram níveis de resistência à compressão axial compatíveis com as especificações referentes ao cimento Portland composto, apesar destes resultados serem inferiores aos obtidos para as argamassas de referência.

Brazilian international and inter-state trade flows: an exploratory analysis using the gravity model

Recent efforts toward a world with freer trade, like WTO/GATT or regional Preferential Trade Agreements(PTAs), were put in doubt after McCallum's(1995) finding of a large border effect between US and Canadian provinces. Since then, there has been a great amount of research on this topic employing the gravity equation. This dissertation has two goals. The first goal is to review comprehensively the recent literature about the gravity equation, including its usages, econometric specifications, and the efforts to provide it with microeconomic foundations. The second goal is the estimation of the Brazilian border effect (or 'home-bias trade puzzle') using inter-state and international trade flow data. It is used a pooled cross-section Tobit model. The lowest border effect estimated was 15, which implies that Brazilian states trade among themselves 15 times more than they trade with foreign countries. Further research using industry disaggregated data is needed to qualify the estimated border effect with respect to which part of that effect can be attributed to actual trade costs and which part is the outcome of the endogenous location problem of the firm.

Debt composition and exchange rate balance sheet effects in Brazil: A firm level analysis

In this paper we study the interaction between macroeconomic environment and firms’ balance sheet effects in Brazil during the 1990’s. We start by assessing the influence of macroeconomic conditions on firms’ debt composition in Brazil. We found that larger firms tend to change debt currency composition more in response to a change in the exchange rate risk than small firms. We then proceed to investigate if and how exchange rate balance sheet effects affected the firms’ investment decisions. We test directly the exchange rate balance sheet effect on investment. Contrary to earlier findings (Bleakley and Cowan, 2002), we found that firms more indebted in foreign currency tend to invest less when there is an exchange rate devaluation. We tried different controls for the competitiveness effect. First, we control directly for the effect of the exchange rate on exports and imported inputs. We then pursue an alternative investigation strategy, inspired by the credit channel literature. According to this perspective, Tobin’s q can provide an adequate control for the competitiveness effect on investment. Our results provide supporting evidence for imperfect capital markets, and for a negative exchange rate balance sheet effect in Brazil. The results concerning the exchange rate balance sheet effect on investment are statistically significant and robust across the different specifications. We tested the results across different periods, classified according to the macroeconomic environment. Our findings suggest that the negative exchange rate balance sheet effect we found in the whole sample is due to the floating exchange rate period. We also found that exchange rate devaluations have important negative impact on both cash flows and sales of indebted firms. Furthermore, the impact of exchange rate variations is asymmetric, and the significant effect detected when no asymmetry is imposed is engendered by exchange rate devaluations.

Produtividade agregada brasileira (1970-2000): declínio robusto e fraca recuperação

This study explores the productivity performance of the Brazilian economy between 1970 and 1998. We assess how much of the TFP downfall can be explained by some departures from the standard procedure. We incorporate to the standard measure utilization of capacity, changes in the workweek of capital, services of capital from electricity consumption, relative prices distortions, human capital, and investment in specific technology. We conclude that the downfall in productivity is quite robust to those specifications. The only case that presents a marked difference from the standard TFP measure occurs when relative prices of capital are corrected. The implications of this finding are a topic for future research.

A family of autoregressive conditional duration models

This paper develops a family of autoregressive conditional duration (ACD) models that encompasses most specifications in the literature. The nesting relies on a Box-Cox transformation with shape parameter λ to the conditional duration process and a possibly asymmetric shocks impact curve. We establish conditions for the existence of higher-order moments, strict stationarity, geometric ergodicity and β-mixing property with exponential decay. We next derive moment recursion relations and the autocovariance function of the power λ of the duration process. Finally, we assess the practical usefulness of our family of ACD models using NYSE transactions data, with special attention to IBM price durations. The results warrant the extra flexibility provided either by the Box-Cox transformation or by the asymmetric response to shocks.

Aplicações de modelos de procura para bens duráveis de baixa liquidez

I use Search models to study decentralized markets of durable goods. I explore the concept of market liquidity of Lippman and McCall (1986) and show that the theory of optimal search is useful to address the following issues: What governs the time required to make a transaction on these markets? What is the relationship between the price of goods and the time required to make transactions? Why is optimal to wait to make a transaction in markets where individuals discount future utility? What is the socially optima search level? Two specifications are used, the traditional model of job search and a version of Krainer and LeRoy (2001) model.

Ensaios sobre o fator estocástico de descontos

Este trabalho propõe maneiras alternativas para a estimação consistente de uma medida abstrata, crucial para o estudo de decisões intertemporais, o qual é central a grande parte dos estudos em macroeconomia e finanças: o Fator Estocástico de Descontos (SDF, sigla em Inglês). Pelo emprego da Equação de Apreçamento constrói-se um inédito estimador consistente do SDF que depende do fato de que seu logaritmo é comum a todos os ativos de uma economia. O estimador resultante é muito simples de se calcular, não depende de fortes hipóteses econômicas, é adequado ao teste de diversas especificações de preferência e para a investigação de paradoxos de substituição intertemporal, e pode ser usado como base para a construção de um estimador para a taxa livre de risco. Alternativas para a estratégia de identificação são aplicadas e um paralelo entre elas e estratégias de outras metodologias é traçado. Adicionando estrutura ao ambiente inicial, são apresentadas duas situações onde a distribuição assintótica pode ser derivada. Finalmente, as metodologias propostas são aplicadas a conjuntos de dados dos EUA e do Brasil. Especificações de preferência usualmente empregadas na literatura, bem como uma classe de preferências dependentes do estado, são testadas. Os resultados são particularmente interessantes para a economia americana. A aplicação de teste formais não rejeita especificações de preferências comuns na literatura e estimativas para o coeficiente relativo de aversão ao risco se encontram entre 1 e 2, e são estatisticamente indistinguíveis de 1. Adicionalmente, para a classe de preferência s dependentes do estado, trajetórias altamente dinâmicas são estimadas para a tal coeficiente, as trajetórias são confinadas ao intervalo [1,15, 2,05] e se rejeita a hipótese de uma trajetória constante.

Can a habit formation model really explain the forward premium anomaly?

Verdelhan (2009) shows that if one is to explain the foreign exchange forward premium behavior using Campbell and Cochrane (1999)’s habit formation model one must specify it in such a way to generate pro-cyclical short term risk free rates. At the calibration procedure, we show that this is only possible in Campbell and Cochrane’s framework under implausible parameters specifications given that the price-consumption ratio diverges in almost all parameters sets. We, then, adopt Verdelhan’s shortcut of fixing the sensivity function λ(st) at its steady state level to attain a finite value for the price-consumption ratio and release it in the simulation stage to ensure pro-cyclical risk free rates. Beyond the potential inconsistencies that such procedure may generate, as suggested by Wachter (2006), with procyclical risk free rates the model generates a downward sloped real yield curve, which is at odds with the data.

A family of autoregressive conditional duration models

This paper develops a family of autoregressive conditional duration (ACD) models that encompasses most specifications in the literature. The nesting relies on a Box-Cox transformation with shape parameter λ to the conditional duration process and a possibly asymmetric shocks impact curve. We establish conditions for the existence of higher-order moments, strict stationarity, geometric ergodicity and β-mixing property with exponential decay. We next derive moment recursion relations and the autocovariance function of the power λ of the duration process. Finally, we assess the practical usefulness of our family of ACD models using NYSE price duration data on the IBM stock. The results warrant the extra flexibility provided either by the Box-Cox transformation or by the asymmetric response to shocks.

A stochastic discount factor approach to asset pricing using panel data asymptotics

Using the Pricing Equation in a panel-data framework, we construct a novel consistent estimator of the stochastic discount factor (SDF) which relies on the fact that its logarithm is the "common feature" in every asset return of the economy. Our estimator is a simple function of asset returns and does not depend on any parametric function representing preferences. The techniques discussed in this paper were applied to two relevant issues in macroeconomics and finance: the first asks what type of parametric preference-representation could be validated by asset-return data, and the second asks whether or not our SDF estimator can price returns in an out-of-sample forecasting exercise. In formal testing, we cannot reject standard preference specifications used in the macro/finance literature. Estimates of the relative risk-aversion coefficient are between 1 and 2, and statistically equal to unity. We also show that our SDF proxy can price reasonably well the returns of stocks with a higher capitalization level, whereas it shows some difficulty in pricing stocks with a lower level of capitalization.

A note on convergence of Peck-Shell and Green-Lin mechanisms in the Diamond-Dybvig model

We study the effects of population size in the Peck-Shell analysis of bank runs. We find that a contract featuring equal-treatment for almost all depositors of the same type approximates the optimum. Because the approximation also satisfies Green-Lin incentive constraints, when the planner discloses positions in the queue, welfare in these alternative specifications are sandwiched. Disclosure, however, it is not needed since our approximating contract is not subject to runs.