RIGAULT , Jean-Paul

This document briefly describes FrameLib, a C++ library to manipulate "frames" as they are used in the Artificial Intelligence world. The library provides a general framework (!) for creating new frames (!!) by inheritance. The intended use is to generate new frames automatically, from a frame description language. But nothing prevents from...

This paper deals with dynamic adaption of software architecture in response to context changes. In the line of "models at run time", we keep a model of the system and its context in parallel with the running system itself. We adopted an enriched Feature Model approach to express the variability of the architecture as well as of the context. A...

International audience

BLOCKS is an answer to the software engineering needs of the design of knowledge-based system engines. It is a framework composed of reusable and adaptable software components. However , its safe and correct use is complex and we supply formal models and associated tools to assist using it. These models and tools are based on behavioral...

Building large scale systems involves many design decisions, both at specification and implementation levels. This is due to numerous variants in the description of the task to achieve and its execution context as well as in the assembly of software components. We adopt a model-driven perspective, relying on different models and their...

When using a component framework developers need to respect the behavior implemented by the components. Static information about the component interface is not sufficient. Dynamic information such as the description of valid sequences of operations is required. Instead of being in some external documentation, this information should be formally...

When using a component framework, developers need to respect the behavior implemented by the components. Static information about the component interface is not sufficient. Dynamic information such as the description of valid sequences of operations is required. In this paper we propose a mathematical model and a formal language to describe the...