Nicolas Biri

Learn More
In this paper, we propose a new data structure, called resource tree, that is a node-labelled tree in which nodes contain resources which belong to a partial monoid. We define the resource tree model and a new separation logic (BI-Loc) that extends the Bunched Implications logic (BI) with a modality for locations. In addition we consider quantifications on(More)
Model Driven Engineering (MDE) was identified as a viable software development paradigm to help improve the product derivation phase of the Software Product Line (SPL) engineering process. Existing model-driven derivation approaches fail to properly address the behavioural derivation part, yielding a frustrating situation. In this paper we first introduce a(More)
SOA have been deployed as a mean to offer a better flexibility, to increase efficiency through reuse of services and also to improve interoperability by providing new opportunities to connect heterogeneous platforms. However, those benefits make security more difficult to control. Fortunately, new standards are proposed to treat this issue, but their(More)
This paper explains how we have designed a service-oriented architecture by combining and extending several open source environments. We show how the IT architecture of the National Family Benefits Fund in Luxembourg got systematically modernized by solving issues related to Enterprise Application Integration, before introducing concepts like Enterprise(More)
When using SOAs in mission critical environments, quality and performance related aspects may not be ignored. Service Level Agreements (SLAs) have to be defined and applied during runtime. In this paper we present a method to enhance an existing SOA container to take into account Quality of Service (QoS) related aspects and enforce these aspects during(More)
Software product line (SPL) paradigm aims to explore commonalities and variabilities in a set of applications for developing an efficient derivation of products. One of the most common ways to model variability in this paradigm is to use a Feature Model. However, variability in SPL is often limited to functional features. The User Interface (UI) variations(More)