Toward a Formal Semantics for Autonomic Components

Autonomic management can improve the QoS provided by parallel/ distributed applications. Within the CoreGRID Component Model, the autonomic management is tailored to the automatic - monitoring-driven - alteration of the component assembly and, therefore, is defined as the effect of (distributed) management code. This work yields a semantics based on hypergraph rewriting suitable to model the dynamic evolution and non-functional aspects of Service Oriented Architectures and component-based autonomic applications. In this regard, our main goal is to provide a formal description of adaptation operations that are typically only informally specified. We contend that our approach makes easier to raise the level of abstraction of management code in autonomic and adaptive applications.Comment: 11 pages + cover pag

Component Substitution through Dynamic Reconfigurations

Component substitution has numerous practical applications and constitutes an active research topic. This paper proposes to enrich an existing component-based framework--a model with dynamic reconfigurations making the system evolve--with a new reconfiguration operation which "substitutes" components by other components, and to study its impact on sequences of dynamic reconfigurations. Firstly, we define substitutability constraints which ensure the component encapsulation while performing reconfigurations by component substitutions. Then, we integrate them into a substitutability-based simulation to take these substituting reconfigurations into account on sequences of dynamic reconfigurations. Thirdly, as this new relation being in general undecidable for infinite-state systems, we propose a semi-algorithm to check it on the fly. Finally, we report on experimentations using the B tools to show the feasibility of the developed approach, and to illustrate the paper's proposals on an example of the HTTP server.Comment: In Proceedings FESCA 2014, arXiv:1404.043

The imperfect hiding : some introductory concepts and preliminary issues on modularity

In this work we present a critical assessment of some problems and open questions on the debated notion of modularity. Modularity is greatly in fashion nowadays, being often proposed as the new approach to complex artefact production that enables to combine fast innovation pace, enhanced product variety and reduced need for co-ordination. In line with recent critical assessments of the managerial literature on modularity, we sustain that modularity is only one among several arrangements to cope with the complexity inherent in most high-technology artefact production, and by no means the best one. We first discuss relations between modularity and the broader (and much older within economics) notion of division of labour. Then we sustain that a modular approach to labour division aimed at eliminating technological interdependencies between components or phases of a complex production process may have, as a by-product, the creation of other types of interdependencies which may subsequently result in inefficiencies of various types. Hence, the choice of a modular design strategy implies the resolution of various tradeoffs. Depending on how such tradeoffs are solved, different organisational arrangements may be created to cope with ‘residual’ interdependencies. Hence, there is no need to postulate a perfect isomorphism, as some recent literature has proposed, between modularity at the product level and modularity at the organisational level

Forum Session at the First International Conference on Service Oriented Computing (ICSOC03)

The First International Conference on Service Oriented Computing (ICSOC) was held in Trento, December 15-18, 2003. The focus of the conference ---Service Oriented Computing (SOC)--- is the new emerging paradigm for distributed computing and e-business processing that has evolved from object-oriented and component computing to enable building agile networks of collaborating business applications distributed within and across organizational boundaries. Of the 181 papers submitted to the ICSOC conference, 10 were selected for the forum session which took place on December the 16th, 2003. The papers were chosen based on their technical quality, originality, relevance to SOC and for their nature of being best suited for a poster presentation or a demonstration. This technical report contains the 10 papers presented during the forum session at the ICSOC conference. In particular, the last two papers in the report ere submitted as industrial papers

Multilevel Contracts for Trusted Components

This article contributes to the design and the verification of trusted components and services. The contracts are declined at several levels to cover then different facets, such as component consistency, compatibility or correctness. The article introduces multilevel contracts and a design+verification process for handling and analysing these contracts in component models. The approach is implemented with the COSTO platform that supports the Kmelia component model. A case study illustrates the overall approach.Comment: In Proceedings WCSI 2010, arXiv:1010.233

Extending an eco-evolutionary understanding of biofilm-formation at the air-liquid interface to community biofilms

Growing bacterial populations diversify to produce a number of competing lineages. In the Pseudomonas fluorescens SBW25 model system, Wrinkly Spreader mutant lineages, capable of colonising the air-liquid interface of static microcosms by biofilm-formation, rapidly appear in diversifying populations with a fitness advantage over the ancestral wild-type strain. Similarly, a biofilm is rapidly produced by a community containing many biofilm-competent members, and selection by serial transfer of biofilm samples across microcosms results in a gradually changing community structure. Both the adaptive radiation producing Wrinkly Spreaders and the succession of biofilm communities in these static microcosms can be understood through evolutionary ecology in which ecological interactions and evolutionary processes are combined. Such eco-evolutionary dynamics are especially important for bacteria, as rapid growth, high population densities and strong selection in the context of infections can lead to fast changes in disease progression and resistance phenotypes, while similar changes in community function may also affect many microbially-mediated biotechnological and industrial processes. Evolutionary ecology provides an understanding of why bacterial biofilms are so prevalent and why they are such a successful colonisation strategy, and it can be directly linked to molecular analyses to understand the importance of pathways and responses involved in biofilm-formation

Hardware for digitally controlled scanned probe microscopes

The design and implementation of a flexible and modular digital control and data acquisition system for scanned probe microscopes (SPMs) is presented. The measured performance of the system shows it to be capable of 14-bit data acquisition at a 100-kHz rate and a full 18-bit output resolution resulting in less than 0.02-Å rms position noise while maintaining a scan range in excess of 1 µm in both the X and Y dimensions. This level of performance achieves the goal of making the noise of the microscope control system an insignificant factor for most experiments. The adaptation of the system to various types of SPM experiments is discussed. Advances in audio electronics and digital signal processors have made the construction of such high performance systems possible at low cost

Managing Supplier Involvement in New Product Development: A Multiple-Case Study

Existing studies of supplier involvement in new product development have mainly focused on project-related short-term processes and success-factors. This study validates and extends an existing exploratory framework, which comprises both long-term strategic processes and short-term operational processes that are related to supplier involvement. The empirical validation is based on a multiple-case study of supplier collaborations at a manufacturer in the copier and printer industry. The analysis of eight cases of supplier involvement reveals that the results of supplier-manufacturer collaborations and the associated issues and problems can best be explained by the patterns in the extent to which the manufacturer manages supplier involvement in the short-term ànd the long-term. We find that our initial framework is helpful in understanding why certain collaborations are not effectively managed, yet conclude that the existing analytical distinction between four different management areas does not sufficiently reflect empirical reality. This leads us to reconceptualize and further detail the framework. Instead of four managerial areas, we propose to distinguish between the Strategic Management arena and the Operational Management arena. The Strategic Management arena contains processes that together provide long-term, strategic direction and operational support for project teams adopting supplier involvement. These processes also contribute to building up a supplier base that can meet current and future technology and capability needs. The Operational Management arena contains processes that are aimed at planning, managing and evaluating the actual collaborations in a specific development project. The results of this study suggest that success of involving suppliers in product development is reflected by the firm’s ability to capture both short-term and long-term benefits. If companies spend most of their time on operational management in development projects, they will fail to use the ‘leverage’ effect of planning and preparing such involvement through strategic management activities. Also, they will not be sufficiently able to capture possible long-term technology and learning benefits that may spin off from individual projects. Long-term collaboration benefits can only be captured if a company can build long-term relationships with key suppliers, where it builds learning routines and ensures that the capability sets of both parties are aligned and remain useful for future joint projects.Purchasing;Innovation;New Product Development;R&D Management;Supplier Relations

The imperfect hiding: Some introductory concepts and preliminary issues on modularity.

In this work we present a critical assessment of some problems and open questions on the debated notion of modularity. Modularity is greatly in fashion nowadays, being often proposed as the new approach to complex artefact production that enables to combine fast innovation pace, enhanced product variety and reduced need for co-ordination. In line with recent critical assessments of the managerial literature on modularity, we sustain that modularity is only one among several arrangements to cope with the complexity inherent in most high-technology artefact production, and by no means the best one. We first discuss relations between modularity and the broader (and much older within economics) notion of division of labour. Then we sustain that a modular approach to labour division aimed at eliminating technological interdependencies between components or phases of a complex production process may have, as a by-product, the creation of other types of interdependencies which may subsequently result in inefficiencies of various types. Hence, the choice of a modular design strategy implies the resolution of various tradeoffs. Depending on how such tradeoffs are solved, different organisational arrangements may be created to cope with 'residual' interdependencies. Hence, there is no need to postulate a perfect isomorphism, as some recent literature has proposed, between modularity at the product level and modularity at the organisational level.