Titlebook: Component-Based Software Engineering; 11th International S Michel R. V. Chaudron,Clemens Szyperski,Ralf Reuss Conference proceedings 2008 S

外露

Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systemstial systems can be checked. Parallel systems can be described often by well known Petri nets, but it is not possible to model recursive behaviour. On the other hand sequential systems based on pushdown automata can capture recursion and recursive callbacks [27], but they do not provide parallel beh

Heart-Attack

變化

Towards Component-Based Design and Verification of a ,-Controllerquality of software systems. Although the idea of assembling systems from pre-fabricated components is appealing, quality becomes a major issue, especially for embedded systems. Quality defects in one component might not affect the quality of the component but that of others. This paper presents an

情感脆弱

countenance

Experiences from Developing a Component Technology Agnostic Adaptation Frameworke for self-adaptation is the increasing heterogeneity of applications and services, integrating multiple systems implemented in different platform and language technologies. In order to cope with this heterogeneity, self-adaptive systems need to support the integration of various technologies, allow

Pulmonary-Veins

A Practical Approach for Finding Stale References in a Dynamic Service Platformly growing. OSGi specific problems make it harder to validate such components. The absence of separate object spaces to isolate components may lead to inconsistencies when they are stopped. The platform cannot ensure that objects from a stopped component will no longer be referenced by active code (

shrill

Iniquitous

Life-Cycle Aware Modelling of Software Componentsnt, and runtime. Therefore, reasoning techniques for component-based models (e.g., protocol checking, QoS predictions, etc.) are often limited to a particular life-cycle stage. We propose modelling software components in different design stages, after implemenatation, and during deployment. Abstract

細(xì)菌等

A Component Selection Framework for COTS Librariesrefore, the main development effort is required in selection of the components that fit the specific needs of an application. In this article, we propose a mechanism allowing the automatic selection of a component among a set of candidate COTS, according to functional and non-functional properties.

neologism

Life-Cycle Aware Modelling of Software Components models for newly designed components can be combined with refined models for already implemented components. As a proof-of-concept, we have implemented the new modelling techniques as part of our Palladio Component Model (PCM).