Laboratoire d’Analyse et d’Architecture des Systèmes
E.MEZGHANI, R.BEN HALIMA, K.DRIRA
SARA
Rapport de Contrat : IMAP, Airbus, Mars 2012, 30p. , N° 12154
Non diffusable
126877I.ABDENNADHER, M.JMAIEL, C.CHASSOT, K.DRIRA
SARA, ReDCAD Laboratory
Rapport LAAS N°12150, Mars 2012, 16p.
Diffusable
126872E.MEZGHANI, R.BEN HALIMA, K.DRIRA
SARA
Rapport de Contrat : IMAP, Airbus, Mars 2012, 27p. , N° 12155
Non diffusable
126879M.BEN ALAYA, T.MONTEIL, K.DRIRA, T.GUEROUT
SARA
Manifestation avec acte : International Conference on Autonomic and Autonomous Systems (ICAS 2012), St Marteen (Pays Bas), 25-30 Mars 2012, 4p. , N° 11644
Diffusable
127084C.DIOP, E.EXPOSITO, K.DRIRA, C.CHASSOT
SARA
Manifestation avec acte : Interoperability for Enterprise Systems and Applications (I-ESA 2012). Workshop: Factories of the future (FoF) - Enabling Interoperability over the Complete Supply Chain, Valence (Espagne), 20-21 Mars 2012, pp.259-266 , N° 12073
Diffusable
126937E.MEZGHANI, R.BEN HALIMA, I.BOUASSIDA, K.DRIRA
SARA, ReDCAD Laboratory
Rapport LAAS N°12123, Mars 2012, 12p.
Lien : http://hal.archives-ouvertes.fr/hal-00675352
Diffusable
Plus d'informations
In this paper, we propose a model driven approach automating the design of autonomic systems. We handle non-functional properties with a focus on managing QoS degradation for cooperative M2M applications such as health care. Nowadays, service delivery becomes close to end-users such as M2M applications, which are being incorporated into the existing infrastructure. The Remote Health Care System and specialized sensors for in-home patient monitoring are at the current forefront of new technologies. While there are benefits from technologies such as reducing costs and medical errors, associated architecture and communication infrastructure have to ensure care continuity and quality of service (QoS). In this paper, we propose a model driven approach which enables the generation of autonomic architecture from high level functional and non-functional requirements. Our work instantiates the Model Driven Architecture (MDA) approach. We elaborate formal rules using graph grammars to transform a high level functional requirements to an autonomic architecture implemented under GMTE, a Graph Matching tool. We generate a Service Component Architecture (SCA) at the MDA low level (PSM) to implement the architecture in different technologies such as EJB, JMS, SOAP, etc. The Remote Health Care System shows the feasibility and the efficiency of our approach.
I.BOUASSIDA, A.KAMOUN, S.RAMANATHAN, K.DRIRA
SARA
Rapport LAAS N°12124, Mars 2012, 16p.
Lien : http://hal.archives-ouvertes.fr/hal-00674843
Diffusable
Plus d'informations
In collaborative communication, adaptation is required to maintain the reliable connection. Within the framework of a wireless environment, it is very challenging for the host entities to handle a sudden/unexpected change in communication and available resources. This issue is addressed in the context of save and rescue missions carried out during natural disasters such as floods and forest fires by human and voluntary operators aided by ground mobile devices and autonomous robots. This paper proposes a multi level architecture that supports reconfigurable adaptive group communications using semantic model. Modeling follows the well-known SWRL (Semantic Web Rule Language) instructions which establish the degree of importance of each communication link or component. Adaptation is then achieved through initializing between various configurations and for a given entity, the latter is modified as need be. Providing generic and scalable solutions for automated self-reconfiguration is driven by rule-based reconfiguration policies using ontologies. Finally, we illustrate constraints capable of meeting evolving requirements and the solutions followed by implementation of this scenario.
E.MEZGHANI, R.BEN HALIMA, K.DRIRA
SARA
Rapport LAAS N°12122, Mars 2012, 26p.
Lien : http://hal.archives-ouvertes.fr/hal-00675439
Diffusable
Plus d'informations
The development and the provisioning of autonomic networked services are essential for enterprises and factories of the future. Endowing services with autonomic properties allows one to maintain at runtime the Quality of Service (QoS) including different parameters related to performance, availability and reputation such as response time and successful execution rate. Handling the autonomic properties requires the ability to deal with permanent requirement evolving and constraint changes. For instance, managing QoS degradation requires the capacity of identifying its possible or actual sources and the capacity of reconfiguration planning and execution. Dealing with these issues is especially challenging for web services since the autonomic solution has to be seamless for the service requesters, ensuring that Web Services are always usable under the different deployment constraints. To implement such autonomic systems, the literature provides different approaches, varying from the design to the full implementation of autonomic primitives. In this chapter, we present DRAAS: a Dynamically Reconfigurable Architecture for Autonomic Services able to provide autonomic properties for QoS management in web service-based distributed applications. DRAAS has been implemented and experimented successfully with different use cases. It covers the whole cycle of autonomic management including monitoring and analysis of QoS parameters , planning and execution.
I.TOUNSI, M.HADJ KACEM, A.HADJ KACEM, K.DRIRA
ReDCAD Laboratory, SARA
Rapport LAAS N°12125, Mars 2012, 20p.
Lien : http://hal.archives-ouvertes.fr/hal-00676203
Diffusable
Plus d'informations
Using design patterns has become increasingly popular. Most design patterns are proposed in an informal way, which can give rise to ambiguity and may lead to incorrect usage. Patterns, proposed by the SOA design pattern community, are described with an appropriate notation. So they require modeling with a standard notation and then formalization. In this paper, we propose a formal architecture-centric approach that aims first to model message-oriented SOA design patterns with the SoaML standard language and second to formally specify these patterns at a high level of abstraction using the Event-B language. These two steps are performed before undertaking the effective coding of a design pattern providing correct by design solutions. Our approach is experimented through an example we present in this paper. We implemented our approach under the Rodin platform which we use to prove model consistency.
C.EICHLER, I.BOUASSIDA, T.MONTEIL, P.STOLF, K.DRIRA
IRIT-UPS, SARA
Rapport LAAS N°12071, Mars 2012, 21p.
Lien : http://hal.archives-ouvertes.fr/hal-00674092
Diffusable
Plus d'informations
Architectural adaptation is studied for handling adaptation in autonomic distributed systems. It is achieved by implementing a model-based approach for managing reconfiguration of dynamic architectures. Describing such architectures includes defining rules for describing both architectural styles and theirs reconfiguration mechanisms. Within this research context, the work presented in this paper is conducted using formal specification based on graphs and graph rewriting appropriately for tackling architectural adaptation problems. A graph-based general approach for describing architectures and handling their dynamic reconfiguration is introduced. Our approach is illustrated in the context of a distributed hierarchical application. The formal models that allow the generation of a graph grammar for dynamic architecture description and the automatic definition of transformation rules for achieving intern self-protecting during the adaptation are elaborated.