Specification and Verification of Context-dependent Services

Current approaches for the discovery, specification, and provision of services ignore the relationship between the service contract and the conditions in which the service can guarantee its contract. Moreover, they do not use formal methods for specifying services, contracts, and compositions. Without a formal basis it is not possible to justify through formal verification the correctness conditions for service compositions and the satisfaction of contractual obligations in service provisions. We remedy this situation in this paper. We present a formal definition of services with context-dependent contracts. We define a composition theory of services with context-dependent contracts taking into consideration functional, nonfunctional, legal and contextual information. Finally, we present a formal verification approach that transforms the formal specification of service composition into extended timed automata that can be verified using the model checking tool UPPAAL.Comment: In Proceedings WWV 2011, arXiv:1108.208

Components of Alaska Fuel Costs: An Analysis of the Market Factors and Characteristics that Influence Rural Fuel Prices

Many Alaskans face extremely high, volatile fuel prices. Little is publicly known about the actual structure of Alaska’s rural fuel markets and what drives prices at the community level. The Alaska State Senate Finance Committee asked economists at the University of Alaska Anchorage, Institute of Social and Economic Research (ISER) to investigate rural Alaska fuel markets and identify policy options that could be considered for legislative action to reduce fuel prices. This study is both an update and an evolution of previous ISER Components of Fuel Costs studies.1 It does not include road-accessible communities.Alaska State Legislature Senate Finance CommitteeAcknowledgements / Executive Summary / Introduction / Western Alaska Fuel Market / Ice Free Coastal Alaska Fuel Market / Community Fuel Survey Results / Policy Options / References / Glossary of Terms / Appendix A. Results of Community Fuel Price Survey January 201

When prices hardly matter: Incomplete insurance contracts and markets for repair goods

This paper looks at markets characterized by the fact that the demand side is insured. In these markets a consumer purchases a good to compensate consequen¬ces of unfavorable events, such as an accident or an illness. Insurance policies in most lines of insurance base indemnity on the insured’s actual expenses, i.e., the insured would be partially or completely reimbursed when purchasing certain goods. In this setting we discuss the interaction between insurance and repair markets by focusing, on the one hand, upon the development of prices and the structure of markets with insured consumers, and, on the other hand, the resulting backlash on optimal insurance contracting. We show that even in the absence of ex post moral hazard the extension of insurance coverage will lead to an increase in prices as well as to a socially undesirable increase in the number of repair service suppliers, if repair markets are imperfect

Assessing the value dimensions of outsourced maintenance services

Purpose - The purpose of this paper is to investigate the diverse nature of tangible and intangible value dimensions that contribute to customers' perception of value from outsourced maintenance services. Design/methodology/approach - A multiple case study approach has been adopted. Repertory grid, an in-depth structured interviewing technique, has been used in order to draw out the respondents' hidden constructs in evaluating outsourced maintenance services. Data have been collected from four customer organizations of outsourced maintenance services, and a total of 33 interviews have been undertaken. Findings - The paper has identified a range of tangible and intangible value dimensions that are of importance in maintenance outsourcing decision making. The most important value dimensions for maintenance outsourcing were found to be specialist knowledge, accessibility (of the service provider), relational dynamic, range of products and services, delivery, pricing and locality. Although the paper has identified the most important value dimensions the paper also emphasizes the need to take into account the full range of value dimensions in order to understand the whole value pattern in an organization. Practical implications - The results will be of use for maintenance service providers to help them to improve value-adding capacity of maintenance services. The results can also be applied by customers to help them assess the value they receive from outsourced maintenance services. Originality/value - A different perspective on maintenance outsourcing value is provided. The value patterns in different organizations and the viewpoints of respondents in different organizational roles are described. The dynamic nature of these tangible or intangible values over time and their interrelationships has also been explored

The Economics of Competition Policy: Recent Developments and Cautionary Notes in Antitrust and Regulation

Competition policy has become more prominent while the thinking underlying those policies has undergone substantial revision. We survey advances in antitrust economics and the economics of regulation. Increasing reliance on non-cooperative game theory as a foundation for antitrust has led to rethinking conventional approaches. We review some of these contributions in the context of mergers, vertical restraints, and competition in "network industries." Turning to regulation, we review standard rationales and identify some major contemporary refinements, with examples of the motives behind them and their application. After brief thoughts on privatization, we conclude with suggestions on design and implementation, with some observations on whether these developments are as valuable in the corridors of policy as they may be in the halls of academe.

Fueling Fair Practices: A Road Map to Improved Public Policy for Used Car Sales and Financing

Examines inequalities in the used car sales and financing market and recommends federal and state reforms to protect buyers from abuse, dangerous cars, and arbitrary repossession and ensure the strongest protections

Interactions between competition and consumer policy

This paper discusses complementarities and tensions between competition policies and consumer protection policies. The paper argues that markets will often supply adequate customer protection without the need for extra public intervention. Special areas where intervention might be needed are discussed, including the need to combat deceptive marketing and the need to provide additional market transparency (about both headline prices and shrouded product attributes). A few instances are presented of how more intense competition can worsen the outcomes for (some) consumers. Situations in which poorly designed consumer policies can harm consumers are discussed, including how they can be used to protect incumbent suppliers, how they can relax competition between oligopolists, how they can reduce consumer choice, how they can focus on one aspect of market performance at the expense of others, and how they can lead consumers to take insufficient care in the market.Competition policy; consumer protection; fraud; market transparency; add-on pricing

Incentive Regulation, Investments and Technological Change

Based on an idiosyncratic reading of the literature I propose intermediate (rather than tight or soft) regulation for balancing investment incentives with allocative efficiency and competition objectives. Intermediate regulation is compatible with incentive regulation and helps lengthening the regulatory commitment period necessary for incentives. However, such commitment for the whole time horizon of infrastructure or innovation investments is impossible. The compatibility of incentive regulation and efficient investment is thus in doubt. Incentive regulation for regular infrastructure investments therefore needs periodic updating based on rate-of-return regulation criteria. Innovative infrastructure investments may warrant regulatory holidays, which should be conditioned on strict criteria.

Moving from a Product-Based Economy to a Service-Based Economy for a More Sustainable Future

Traditionally, economic growth and prosperity have been linked with the availability, production and distribution of tangible goods as well as the ability of consumers to acquire such goods. Early evidence regarding this connection dates back to Adam Smith's Wealth of Nations (1776), in which any activity not resulting in the production of a tangible good is characterized as unproductive of any value." Since then, this coupling of economic value and material production has been prevalent in both developed and developing economies throughout the world. One unintended consequence of this coupling has been the exponential increase in the amount of solid waste being generated. The reason is that any production and consumption of material goods eventually generates the equivalent amount of (or even more) waste. Exacerbating this problem is the fact that, with today's manufacturing and supply chain management technologies, it has become cheaper to dispose and replace most products rather than to repair and reuse them. This has given rise to what some call a disposable society." To put things in perspective: In 2012 households in the U.K. generated approximately 22 thousand tons of waste, which amounted to 411 kg of waste generated per person (Department for Environment, Food & Rural Affairs, 2015). During the same time period, households in the U.S. generated 251 million tons of waste, which is equivalent to a person generating approximately 2 kg of waste every day (U.S. Environmental Protection Agency, 2012). Out of these 251 million tons of total waste generated, approximately 20% of the discarded items were categorized as durable goods. The disposal of durable goods is particularly worrisome because they are typically produced using material from non- renewable resources such as iron, minerals, and petroleum-based raw materials