• Publications
  • Influence
Making Components Contract Aware
TLDR
The authors define a general model of sofware contracts and show how existing mechanisms could be used to turn traditional components into contract-aware ones. Expand
  • 667
  • 22
  • PDF
A General Framework for Cooperative Manipulation in Virtual Environments
TLDR
It is compatible with physically simulated objects and has been implemented using Java, VRML and a distributed approach. Expand
  • 71
  • 4
A toolkit for weaving aspect oriented UML designs
TLDR
We present our UMLAUT framework as a toolkit for easily building application specific "weavers" for generating detailed design models from high level, aspect oriented UML models. Expand
  • 72
  • 3
  • PDF
An eclipse modelling framework alternative to meet the models@runtime requirements
TLDR
Models@Runtime aims at taming the complexity of software dynamic adaptation by pushing further the idea of reflection and considering the reflection layer as a first-class modeling space. Expand
  • 49
  • 3
  • PDF
A Precise Metamodel for Open Cloud Computing Interface
TLDR
We propose a precise semantics for OCCI implemented as an Ecore metamodel with OCL invariants, and validate them on seven OCCi extensions published in the literature previously. Expand
  • 34
  • 3
  • PDF
Expression qualitative de politiques d'adaptation pour les composants Fractal
TLDR
We propose to use model composition as means to address flexibility needs in requirements integration. Expand
  • 6
  • 3
  • PDF
A dynamic component model for cyber physical systems
TLDR
This paper presents ¼-Kevoree, the projection of Kevoree (a component model based on models@runtime) to microcon- trollers, which provides the advantages of a dynamically reconfigurable component-based model (safe, fine-grained, and efficient reconfiguration) compared to tra- ditional techniques for dynamic firmware upgrades. Expand
  • 72
  • 2
Detecting atomic sequences of predicates in distributed computations
TLDR
This paper deals with a class of unstable non-monotonic global predicates, called atomic sequences, and proposes a distributed algorithm to detect their occurrences. Expand
  • 61
  • 2
Extra-Functional Contract Support in Components
TLDR
We propose a language called QoSCL (defined as an add-on to the UML2.0 component model) to let the designer explicitly describe and manipulate these higher level contracts and their dependencies. Expand
  • 30
  • 2
  • PDF
Kevoree Modeling Framework (KMF): Efficient modeling techniques for runtime use
TLDR
In this paper, we identify several properties the generated tools must comply with to be usable in other domains than desktop-based software systems. Expand
  • 24
  • 2
  • PDF