外露
发表于 2025-3-30 11:14:28
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 , but they do not provide parallel beh
Heart-Attack
发表于 2025-3-30 12:41:21
http://reply.papertrans.cn/24/2318/231790/231790_52.png
变化
发表于 2025-3-30 19:47:52
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
情感脆弱
发表于 2025-3-30 21:56:44
http://reply.papertrans.cn/24/2318/231790/231790_54.png
countenance
发表于 2025-3-31 02:14:26
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
发表于 2025-3-31 07:23:11
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
发表于 2025-3-31 12:01:16
http://reply.papertrans.cn/24/2318/231790/231790_57.png
Iniquitous
发表于 2025-3-31 17:13:37
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
细菌等
发表于 2025-3-31 20:03:34
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
发表于 2025-3-31 22:07:56
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).