Learn More
BACKGROUND Stenospermocarpy is a mechanism through which certain genotypes of Vitis vinifera L. such as Sultanina produce berries with seeds reduced in size. Stenospermocarpy has not yet been characterized at the molecular level. RESULTS Genetic and physical maps were integrated with the public genomic sequence of Vitis vinifera L. to improve QTL analysis(More)
The lack of a formal semantics for UML-RT makes it inadequate for rigourous system development, especially if the preservation of behaviour is a major concern when applying well-known model transformations , like refactorings and refinements. In this paper, we propose a semantics for UML-RT active classes through a mapping into Circus, a specification(More)
We propose refinement laws for the top level design elements of Real Time UML (UML-RT): classes and capsules. These laws can be used to develop concrete design models from abstract analysis models. Laws for introducing and decomposing classes and capsules are presented. Standard data refinement techniques are adapted for classes, and process refinement(More)
In this paper, we propose a systematic approach, based on the CSP process algebra, to preserve deadlock-and livelock-freedom by construction in I/O component composition. In contrast to existing classical approaches, we allow components to have complex behaviour, protocols and contracts. As a consequence, it is possible to predict the behaviour of a wide(More)
A major challenge related to the composition of software frameworks is to ensure that certain services provided by the frameworks are preserved. Since, in general, such a composition might involve heterogeneous frameworks with incompatible interfaces (distinct signatures or protocols), some <i>glue code</i> is usually needed for an integration. Naturally,(More)
In component-based development, software components are taken as units of composition. Nevertheless, to achieve the widely disseminated status of components being plugged together as simple 'Lego Pieces', the integration of components must be carefully designed, systematised and verified; only this can ensure reliable architectures. In this work, we propose(More)
In previous work we presented a CSP-based systematic approach that fosters the rigorous design of component-based development. Our approach is strictly defined in terms of composition rules, which are the only permitted way to compose components. These rules guarantee the preservation of properties (particularly deadlock freedom) by construction in(More)