Feature Nets: behavioural modelling of software product lines

Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.

From software extensions to product lines of dataflow programs

Abstract Dataflow programs are widely used. Each program is a directed graph where nodes are computations and edges indicate the flow of data. In prior work, we reverse-engineered legacy dataflow programs by deriving their optimized implementations from a simple specification graph using graph transformations called refinements and optimizations. In MDE-speak, our derivations were PIM-to-PSM mappings. In this paper, we show how extensions complement refinements, optimizations, and PIM-to-PSM derivations to make the process of reverse engineering complex legacy dataflow programs tractable. We explain how optional functionality in transformations can be encoded, thereby enabling us to encode product lines of transformations as well as product lines of dataflow programs. We describe the implementation of extensions in the ReFlO tool and present two non-trivial case studies as evidence of our work’s generality

Microfluidic based on aqueous two-phase system for plasmidic DNA purification

Dissertação de mestrado em Bioquímica Aplicada (área de especialização em Biotecnologia)

Implementation of the I.S. EN 16001:2009 energy management standard into GlaxoSmithKline (GSK) Ltd, Cork

As manufacturers face an increasingly competitive environment, they seek out opportunities to reduce production costs without negatively affecting the yield or the quality of their finished products. The challenge of maintaining high product quality while simultaneously reducing production costs can often be met through investments in energy efficient technologies and energy efficiency practices. Energy management systems can offer both technological and best practice efficiencies in order to achieve substantial savings. A strong energy management system provides a solid foundation for an organisation to reduce production costs and improve site efficiency. The I.S EN16001 energy management standard specifies the requirements for establishing, implementing, maintaining and improving an energy management system and represents the latest best practice for energy management in Ireland. The objective of the energy management system is to establish a systematic approach for improving energy performance continuously. The I.S EN16001 standard specifies the requirements for continuous improvement through using energy more efficiently. The author analysed how GlaxoSmithKline’s (GSK) pharmaceutical manufacturing facility in Cork implemented the I.S. EN16001 energy management system model, and defined how energy saving opportunities where identified and introduced to improve efficiency performance. The author performed an extensive literature research in order to determine the current status of the pharmaceutical industry in Ireland, the processes involved in pharmaceutical manufacturing, the energy users required for pharmaceutical manufacturing and the efficiency measures that can be applied to these energy users in order to reduce energy consumption. The author then analysed how energy management standards are introduced to industry and critically analysed the driving factors for energy management performance in Ireland through case studies. Following an investigation as to how the I.S. EN16001 energy management standard is operated in GSK, a critical analysis of the performance achieved by the GSK energy management system is undertaken in order to determine if implementing the I.S EN16001 standard accelerates achieving energy savings. Since its introduction, the I.S. EN16001 model for energy management has enabled GSK to monitor, target and identify energy efficiency opportunities throughout the site. The model has put in place an energy management system that is continuously reviewed for improvement and to date has reduced GSK’s site operations cost by over 30% through technical improvements and generating energy awareness for smarter energy consumption within the GSK Cork site. Investment in I.S. EN16001 has proved to be a sound business strategy for GSK especially in today's manufacturing environment.

An alternative way to model merit good arguments

Besley (1988) uses a scaling approach to model merit good arguments in commodity tax policy. In this paper, I question this approach on the grounds that it produces 'wrong' recommendations--taxation (subsidisation) of merit (demerit) goods--whenever the demand for the (de)merit good is inelastic. I propose an alternative approach that does not suffer from this deficiency, and derive the ensuing first and second best tax rules, as well as the marginal cost expressions to perform tax reform analysis.

A Multisectorial model of prices: the SAM approach

Social Accounting Matrices (SAM) are normally used to analyse the income generation process. They are also useful, however, for analysing the cost transmission and price formation mechanisms. For price contributions, Roland-Holst and Sancho (1995) used the SAM structure to analyse the price and cost linkages through a representation of the interdependence between activities, households and factors. This paper is a further analysis of the cost transmission mechanisms, in which I add the capital account to the endogenous components of the Roland-Holst and Sancho approach. By doing this I reflect the responses of prices to the exogenous shocks in savings and investment. I also present an additive decomposition of the global price effects into categories of interdependence that isolates the impact on price levels of shocks in the capital account. I use a 1994 Social Accounting Matrix to make an empirical application of the Catalan economy. Keywords: social accounting matrix, cost linkages, price transmission, capital account. JEL Classification: C63, C69, D59.

The Total fiscal cost of indirect taxation: an approximation using Catalonia's recent input-output table

In this note we quantify to what extent indirect taxation influences and distorts prices. To do so we use the networked accounting structure of the most recent input-output table of Catalonia, an autonomous region of Spain, to model price formation. The role of indirect taxation is considered both from a classical value perspective and a more neoclassical flavoured one. We show that they would yield equivalent results under some basic premises. The neoclassical perspective, however, offers a bit more flexibility to distinguish among different tax figures and hence provide a clearer disaggregate picture of how an indirect tax ends up affecting, and by how much, the cost structure.

Multi-product firms and product variety

The goal of this paper is to study the role of multi-product firms in the market provision of product variety. The analysis is conducted using the spokes model of non-localized competition proposed by Chen and Riordan (2007). Firstly, we show that multi-product firms are at a competitive disadvantage vis-a-vis single-product firms and can only emerge if economies of scope are sufficiently strong. Secondly, under duopoly product variety may be higher or lower with respect to both the first best and the monopolistically competitive equilibrium. However, within a relevant range of parameter values duopolists drastically restrict their product range in order to relax price competition, and as a result product variety is far below the efficient level.

Comparing impact and cost-effectiveness of primary prevention strategies for lipid-lowering.

BACKGROUND: Lipid-lowering therapy is costly but effective at reducing coronary heart disease (CHD) risk. OBJECTIVE: To assess the cost-effectiveness and public health impact of Adult Treatment Panel III (ATP III) guidelines and compare with a range of risk- and age-based alternative strategies. DESIGN: The CHD Policy Model, a Markov-type cost-effectiveness model. DATA SOURCES: National surveys (1999 to 2004), vital statistics (2000), the Framingham Heart Study (1948 to 2000), other published data, and a direct survey of statin costs (2008). TARGET POPULATION: U.S. population age 35 to 85 years. Time Horizon: 2010 to 2040. PERSPECTIVE: Health care system. INTERVENTION: Lowering of low-density lipoprotein cholesterol with HMG-CoA reductase inhibitors (statins). OUTCOME MEASURE: Incremental cost-effectiveness. RESULTS OF BASE-CASE ANALYSIS: Full adherence to ATP III primary prevention guidelines would require starting (9.7 million) or intensifying (1.4 million) statin therapy for 11.1 million adults and would prevent 20,000 myocardial infarctions and 10,000 CHD deaths per year at an annual net cost of $3.6 billion ($42,000/QALY) if low-intensity statins cost $2.11 per pill. The ATP III guidelines would be preferred over alternative strategies if society is willing to pay $50,000/QALY and statins cost $1.54 to $2.21 per pill. At higher statin costs, ATP III is not cost-effective; at lower costs, more liberal statin-prescribing strategies would be preferred; and at costs less than $0.10 per pill, treating all persons with low-density lipoprotein cholesterol levels greater than 3.4 mmol/L (>130 mg/dL) would yield net cost savings. RESULTS OF SENSITIVITY ANALYSIS: Results are sensitive to the assumptions that LDL cholesterol becomes less important as a risk factor with increasing age and that little disutility results from taking a pill every day. LIMITATION: Randomized trial evidence for statin effectiveness is not available for all subgroups. CONCLUSION: The ATP III guidelines are relatively cost-effective and would have a large public health impact if implemented fully in the United States. Alternate strategies may be preferred, however, depending on the cost of statins and how much society is willing to pay for better health outcomes. FUNDING: Flight Attendants' Medical Research Institute and the Swanson Family Fund. The Framingham Heart Study and Framingham Offspring Study are conducted and supported by the National Heart, Lung, and Blood Institute.

Cost-effectiveness of low-molecular-weight heparin for secondary prophylaxis of cancer-related venous thromboembolism.

Although extended secondary prophylaxis with low-molecular-weight heparin was recently shown to be more effective than warfarin for cancer-related venous thromboembolism, its cost-effectiveness compared to traditional prophylaxis with warfarin is uncertain. We built a decision analytic model to evaluate the clinical and economic outcomes of a 6-month course of low-molecular-weight heparin or warfarin therapy in 65-year-old patients with cancer-related venous thromboembolism. We used probability estimates and utilities reported in the literature and published cost data. Using a US societal perspective, we compared strategies based on quality-adjusted life-years (QALYs) and lifetime costs. The incremental cost-effectiveness ratio of low-molecular-weight heparin compared with warfarin was 149,865 dollars/QALY. Low-molecular-weight heparin yielded a quality-adjusted life expectancy of 1.097 QALYs at the cost of 15,329 dollars. Overall, 46% (7108 dollars) of the total costs associated with low-molecular-weight heparin were attributable to pharmacy costs. Although the low-molecular-weigh heparin strategy achieved a higher incremental quality-adjusted life expectancy than the warfarin strategy (difference of 0.051 QALYs), this clinical benefit was offset by a substantial cost increment of 7,609 dollars. Cost-effectiveness results were sensitive to variation of the early mortality risks associated with low-molecular-weight heparin and warfarin and the pharmacy costs for low-molecular-weight heparin. Based on the best available evidence, secondary prophylaxis with low-molecular-weight heparin is more effective than warfarin for cancer-related venous thromboembolism. However, because of the substantial pharmacy costs of extended low-molecular-weight heparin prophylaxis in the US, this treatment is relatively expensive compared with warfarin.

A General model of bilateral migration agreements

Unilateral migration policies impose externalities on other countries. In order to try to internalize these externalities, countries sign bilateral migration agreements. One element of these agreements is the emphasis on enforcing migration policies: immigrant-receiving countries agree to allow more immigrants from their emigrant-sending partner if they cooperate in enforcing their migration policy at the border. I present a simple theoretical model that justifies this behavior in a two-country setting with welfare maximizing governments. These governments establish migration quotas that need to be enforced at a cost. I prove that uncoordinated migration policies are inefficient. Both countries can improve welfare by exchanging a more "generous" migration quota for expenditure on enforcement policy. Contrary to what could be expected, this result does not depend on the enforcement technology that both countries employ.

The Good, the Bad and the Populist: A Model of Political Agency with Emotional Voters

This paper attempts to extend existing models of political agency to an environment in which voting may be divided between informed and instrumental, informed and ‘expressive’ (Brennan and Lomasky (1993)) and uninformed due to ‘rational irrationality’ (Caplan (2007)). It constructs a model where politicians may be good, bad or populist. Populists are more willing than good politicians to pander to voters who may choose inferior policies in a large-group electoral setting because their vote is insignificant compared with those that voters would choose were their vote decisive in determining the electoral outcome. Bad politicians would ideally like to extract tax revenue for their own ends. Initially we assume the existence of only good and populist politicians. The paper investigates the incentives for good politicians to pool with or separate from populists and focuses on three key issues – (1) how far the majority of voter’s preferences are from those held by the better informed incumbent politician (2) the extent to which the population exhibits rational irrationality and expressiveness (jointly labelled as emotional) and (3) the cost involved in persuading uninformed voters to change their views in terms of composing messages and spreading them. This paper goes on to consider how the inclusion of bad politicians may affect the behaviour of good politicians and suggests that a small amount of potential corruption may be socially useful. It is also argued that where bad politicians have an incentive to mimic the behaviour of good and populist politicians, the latter types of politician may have an incentive to separate from bad politicians by investing in costly public education signals. The paper also discusses the implications of the model for whether fiscal restraints should be soft or hard.

Technical progress and product reliability under competition and monopoly

Technical progress lowers costs and prices but appears to have an ambiguous effect on product reliabilty. This paper presents a simple model which explains this observation.

On the cost of rent-seeking by government bureaucrats in a Real-Business-Cycle framework

This paper studies the wasteful e ffect of bureaucracy on the economy by addressing the link between rent-seeking behavior of government bureaucrats and the public sector wage bill, which is taken to represent the rent component. In particular, public o fficials are modeled as individuals competing for a larger share of those public funds. The rent-seeking extraction technology in the government administration is modeled as in Murphy et al. (1991) and incorporated in an otherwise standard Real-Business-Cycle (RBC) framework with public sector. The model is calibrated to German data for the period 1970-2007. The main fi ndings are: (i) Due to the existence of a signi ficant public sector wage premium and the high public sector employment, a substantial amount of working time is spent rent-seeking, which in turn leads to signifi cant losses in terms of output; (ii) The measures for the rent-seeking cost obtained from the model for the major EU countries are highly-correlated to indices of bureaucratic ineffi ciency; (iii) Under the optimal scal policy regime,steady-state rent-seeking is smaller relative to the exogenous policy case, as the government chooses a higher public wage premium, but sets a much lower public employment, thus achieving a decrease in rent-seeking.

A cost-benefit analisys of chagas disease control

Chagas disease transmission can be effetively interrupted by insecticidal control of its triatomine bug vectors. We present here a simple model comparing the costs and benefits of such a programme, designed to eliminate domestic populations of Triatoma infestans throughout its known area of distribution over the seven southernmost countries of Latin America. The model has been simplified to require only four financial estimates relating to the unit cost of housing spraying and benefits due to avoidance of premature death in the acute phase of the disease, avoidance of supportive treatment and care in the chronic phase of the disease, and avoidance of corrective digestive and cardiac surgery. Exceptfor these direct medical costs, al other potential benefits have been ignored. Nevertheless, the model shows that the direct financial benefits of such a programme would far outweigh the costs, and the project would support a remarkably high internal rate of return under the least optimistic estimates.