Learn 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)
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)
Safe and effective manipulation of soft tissue during laparoscopic procedures can be achieved by the use of mucoadhesive polymer films. A series of novel adhesive polymer films were formulated in house based on either Carbopol or Chitosan modified systems. The mechanical properties of the polymers and their adherence to bowel were evaluated using ex-vivo(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)
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)
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)