• Publications
  • Influence
Making Components Contract Aware
TLDR
In this article 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.
A dynamic component model for cyber physical systems
TLDR
¼-Kevoree 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.
A General Framework for Cooperative Manipulation in Virtual Environments
TLDR
A general framework able to take into account problems specific of cooperative manipulation setups is presented and is compatible with physically simulated objects and has been implemented using Java, VRML and a distributed approach.
A toolkit for weaving aspect oriented UML designs
TLDR
This paper presents the UMLAUT framework as a toolkit for easily building application specific "weavers" for generating detailed design models from high level, aspect oriented UML models.
An eclipse modelling framework alternative to meet the models@runtime requirements
TLDR
This paper highlights specific Models@Runtime requirements, discusses the benefits and limitations of EMF in this context, and presents an alternative implementation to meet these requirements.
Detecting atomic sequences of predicates in distributed computations
TLDR
This paper defines formally a class of unstable non-monotonic global predicates, proposes a distributed algorithm to detect their occurrences and gives a sketch of a proof of correctness of this algorithm.
Extra-Functional Contract Support in Components
TLDR
This paper proposes a language called QoSCL (defined as an add-on to the UML2.0 component model) to let the designer explicitly describe and manipulate higher level contracts and their dependencies, and illustrates the approach with the example of a GPS software component, from its functional and contractual specifications to its implementation in a .Net framework.
Kevoree Modeling Framework (KMF): Efficient modeling techniques for runtime use
TLDR
This paper identifies several properties the generated tools must comply with to be usable in other domains than desktop-based software systems and challenges EMF on these properties and describes the approach to overcome the limitations.
A Precise Metamodel for Open Cloud Computing Interface
TLDR
The validation of the proposed metamodel defines rigourously the static semantics of the OCCI core concepts, of a precise type classification system, of an extensible data type system, and of both extension and configuration concepts.
...
1
2
3
4
5
...