Jean-Claude Royer

Learn 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)
Software product line (SPL) engineering is a recent approach to software development where a set of software products are derived for a well defined target application domain, from a common set of core assets using analogous means of production(for instance, through Model Driven Engineering). Therefore, such family of products are built from reuse, instead(More)
Component-Based Software Engineering (CBSE) has now emerged as a discipline for system development. Important issues in CBSE such as composition incompatibility detection and (dynamic) adaptation can only be addressed with the help of formal component models with Behavioural Interface Description Languages (BIDLs) and explicit protocols. The issue is then(More)
Methods are needed to help using formal speciications in a practical way. We herein present a method for the development of mixed systems, i.e. systems with both a static and a dynamic part. Our method helps the speciier providing means to structure the system in terms of communicating subcomponents and to give the sequential components using a(More)
Our Korrigan formalism is devoted to the structured formal specification of mixed systems through a model based on a hierarchy of views [4, 20]. In our unifying approach, views are used to describe the different aspects of a component (both internal and external structur-ing). We propose a semi-formal method with guidelines for the development of mixed(More)
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that our components are equipped with a protocol description, namely a Symbolic Transition System. These descriptions glue together a protocol with guards and input/output notations(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)
Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reuse, coordination, adaptation and verification issues. Such protocol languages often deal with synchronous communication. However, in the context of distributed systems, components(More)