Learn More
Astrocytes, the most prominent glial cell type in the brain, send specialized processes named endfeet, which enwrap blood vessels and express a large molecular repertoire dedicated to the physiology of the vascular system. One of the most striking properties of astrocyte endfeet is their enrichment in gap junction protein connexins 43 and 30 (Cx43 and Cx30)(More)
We address in this article the description and usage of component protocols viewed as specific services. In addition to inter-component service composition, our Kmelia component model supports vertical struc-turing mechanisms that allow service composition inside a component. The structuring mechanisms (namely state annotation and transition annotation) are(More)
Component-Based Software Engineering (CBSE) is one of the approaches to master the development of large scale software. In this setting, the verification concern is still a challenge. The current work addresses the composability of components and their services. A component model (Kmelia) is introduced; an associated formalism, simple but expressive is(More)
An efficient mechanism for method lookup is cs-scntial in any reasonable implementation of a cluss-based object-oriented language. One tcchniquc, static caches, provide constant time lookup, but consumes cx-cessive memory. To alleviate the memory consumption problem many systems USC a coloring schcmc that allows cache rows to be shared and thus reduces the(More)
This article presents a formal semantics for UML based on algebraic abstract types. Currently we only consider class diagrams and object diagrams. These diagrams include class structure, association, car-dinality expression, constraint, instance as well as specialization relationship. We give a formal semantics for each of these elements by interpreting the(More)
The Kmelia component model is an abstract formal component model based on services. It is dedicated to the specication and development of correct components. This work enriches the Kmelia language to allow the description of data, expressions and assertions when specifying components and services. The objective is to enable the use of assertions in Kmelia(More)
In this article, we describe the specification of software architectures with Kmelia, a component model based on services. Using Kmelia one can define a simple model of architecture that supports the description of the components and their interactions, the reasonning on incomplete models and refinement. More precisely we study the following issues: i) the(More)
Software coordination and adaptation are tightly related to modular software entities and access points. These entities (components or services) may be complex, dissimilar (various models) and designed at different granularity levels. In order to allow interoperability we need rich interface descriptions including service hierarchisation, flexible(More)