Relevant market delineation with the use of strategic business information.

In his paper a, overview of methods used in antitrust analysis to delineate relevant markets is provided and shortcomings are pointed out. A practical methodology to delineate relevant geographical and product markets is developed, starting from the theoretical definition of a relevant antitrust market. Based on criteria used by business strategists in segmenting markets, the new methodology makes use of strategic information on the position of a company and its competitors in a specific industry sector to delineate relevant markets. The usefulness of the new methodology is illustrated from the European truck industry.

Session Types as Generic Process Types

Behavioural type systems ensure more than the usual safety guarantees of static analysis. They are based on the idea of "types-as-processes", providing dedicated type algebras for particular properties, ranging from protocol compatibility to race-freedom, lock-freedom, or even responsiveness. Two successful, although rather different, approaches, are session types and process types. The former allows to specify and verify (distributed) communication protocols using specific type (proof) systems; the latter allows to infer from a system specification a process abstraction on which it is simpler to verify properties, using a generic type (proof) system. What is the relationship between these approaches? Can the generic one subsume the specific one? At what price? And can the former be used as a compiler for the latter? The work presented herein is a step towards answers to such questions. Concretely, we define a stepwise encoding of a pi-calculus with sessions and session types (the system of Gay and Hole) into a pi-calculus with process types (the Generic Type System of Igarashi and Kobayashi). We encode session type environments, polarities (which distinguish session channels end-points), and labelled sums. We show forward and reverse operational correspondences for the encodings, as well as typing correspondences. To faithfully encode session subtyping in process types subtyping, one needs to add to the target language record constructors and new subtyping rules. In conclusion, the programming convenience of session types as protocol abstractions can be combined with the simplicity and power of the pi-calculus, taking advantage in particular of the framework provided by the Generic Type System.Comment: In Proceedings EXPRESS/SOS 2014, arXiv:1408.127

Testing-based process for component substitutability

Software components have emerged to ease the assembly of software systems. However, updates of systems by substitution or upgrades of components demand careful management due to stability risks of deployed systems. Replacement components must be properly evaluated to identify if they provide the expected behaviour affected by substitution. To address this problem, this paper proposes a substitutability assessment process in which the regular compatibility analysis is complemented with the use of black-box testing criteria. The purpose is to observe the components' behaviour by analysing their internal functions of data transformation, which fulfils the observability testing metric. The approach is conceptually based on the technique Back-to-Back testing. When a component should be replaced, a specific Test Suite TS is built in order to represent its behavioural facets, viz. a Component Behaviour TS. This TS is later exercised on candidate upgrades or replacement components with the purpose of identifying the required compatibility. Automation of the process is supported through the testooj tool, which constrains the conditions and steps of the whole process in order to provide a rigorous and reliable approach.Fil: Flores, Andrés Pablo. Universidad Nacional del Comahue. Facultad de Informática. Departamento Ingeniería de Sistemas; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Patagonia Confluencia; ArgentinaFil: Polo, Macario. Universidad de Castilla-La Mancha; Españ

An integrated core competence evaluation framework for portfolio management in the oil industry

Drawing upon resource-based theory, this paper presents a core competence evaluation framework for managing the competence portfolio of an oil company. It introduces a network typology to illustrate how to form different types of strategic alliance relations with partnering firms to manage and grow the competence portfolio. A framework is tested using a case study approach involving face-to-face structured interviews. We identified purchasing, refining and sales and marketing as strong candidates to be the core competencies. However, despite the company's core business of refining oil, the core competencies were identified to be their research and development and performance management (PM) capabilities. We further provide a procedure to determine different kinds of physical, intellectual and cultural resources making a dominant impact on company's competence portfolio. In addition, we provide a comprehensive set of guidelines on how to develop core competence further by forging a partnership alliance choosing an appropriate network topology

Effects of Changed Aircraft Noise Exposure on the Use of Outdoor Recreational Areas

This paper examines behavioural responses to changes in aircraft noise exposure in local outdoor recreational areas near airports. Results from a panel study conducted in conjunction with the relocation of Norway’s main airport in 1998 are presented. One recreational area was studied at each airport site. The samples (n = 1,264/1,370) were telephone interviewed about their use of the area before and after the change. Results indicate that changed aircraft noise exposure may influence individual choices to use local outdoor recreational areas, suggesting that careful considerations are needed in the planning of air routes over local outdoor recreational areas. However, considerable stability in use, and also fluctuations in use unrelated to the changes in noise conditions were found. Future studies of noise impacts should examine a broader set of coping mechanisms, like intra- and temporal displacement. Also, the role of place attachment, and the substitutability of local areas should be studied

Orchestrated Session Compliance

We investigate the notion of orchestrated compliance for client/server interactions in the context of session contracts. Devising the notion of orchestrator in such a context makes it possible to have orchestrators with unbounded buffering capabilities and at the same time to guarantee any message from the client to be eventually delivered by the orchestrator to the server, while preventing the server from sending messages which are kept indefinitely inside the orchestrator. The compliance relation is shown to be decidable by means of 1) a procedure synthesising the orchestrators, if any, making a client compliant with a server, and 2) a procedure for deciding whether an orchestrator behaves in a proper way as mentioned before.Comment: In Proceedings ICE 2015, arXiv:1508.0459

Timed Session Types

Timed session types formalise timed communication protocols between two participants at the endpoints of a session. They feature a decidable compliance relation, which generalises to the timed setting the progress-based compliance between untimed session types. We show a sound and complete technique to decide when a timed session type admits a compliant one. Then, we show how to construct the most precise session type compliant with a given one, according to the subtyping preorder induced by compliance. Decidability of subtyping follows from these results