Retour au site du LAAS-CNRS

Laboratoire d’analyse et d’architecture des systèmes

Publications personnelle

Choisir la langue : FR | EN

78documents trouvés

17598
03/11/2017

Mining Approach for Software Architectures' Description Discovery

M.CHAABANE, I.BOUASSIDA, K.DRIRA, M.JMAIEL

ReDCAD Laboratory, SARA

Manifestation avec acte : ACS/IEEE International Conference on Computer Systems and Applications ( AICCSA ) 2017 du 31 octobre au 03 novembre 2017, Hammamet (Tunisie), Novembre 2017, 12p. , N° 17598

Lien : https://hal.laas.fr/hal-01731365

Diffusable

Plus d'informations

Abstract

System of Systems (SoS) is a new class of complex software systems resulting from the integration of several independent systems working together. Within a SoS, many participant systems may be integrated and deleted operationally over the time. Each system has an Architecture Model modeled at design time. Thus, the SoS' software architecture description is represented by an aggregated Architecture Model. This aggregated Architecture Model represents participant systems but not necessarily their interactions and communications over the time. In literature, several research studies addressed issues related to SoS. However, we noticed a lack of studies that address the problem of how to describe the whole SoS' software architecture for each change of a participant system over the time. Moreover, studies dealing with checking conformity between the whole SoS' software architecture description and the aggregated Architecture Model, are still lacking. This paper presents an approach for the discovery of SoS' software architecture description from execution traces. For this purpose, the proposed approach records execution traces of all participant systems belonging to the SoS, their interactions and communications in a data base. Then, our approach relies on mining techniques to extract software architecture from the data base and describes it via a model called Architecture Model. In addition, this paper offers a solution for checking conformity between the aggregated Architecture Model and the Discovered Model. The diagnosis results may suggest new rules/constraints to enhance the aggregated Architecture Model

142913
17033
01/02/2017

A Bigraphical multi-scale modeling methodology for system of systems

A.GASSARA, I.BOUASSIDA, M.JMAIEL, K.DRIRA

ReDCAD Laboratory, SARA

Revue Scientifique : Computers and Electrical Engineering, Vol.58, pp.113-125, Février 2017 , N° 17033

Lien : https://hal.laas.fr/hal-01471315

Diffusable

Plus d'informations

Abstract

In this paper, we present a multi-scale modeling methodology for software System of Systems (SoS) using the formal technique of Bigraphical Reactive System. This methodology provides a correct by design approach ensuring the correctness of the SoS architectures. A first scale is defined by the designer. Then, it is refined by successively adding lower scale details. The transition between scales is implemented following a rule-oriented refinement process. The executed rules respect the system constraints ensuring, in this way, the correctness of the obtained scale architectures. Moreover, we address the dynamic aspect of SoS by providing model-based rules of reconfiguration actions. We illustrate our approach with a Smart Buildings case study.

139253
16561
01/12/2016

Editorial : Adaptive and reconfigurable software systems and architectures

S.KALLEL, I.BOUASSIDA, K.DRIRA

ReDCAD Laboratory, SARA

Rédacteur invité : Journal of Systems and Software, Décembre 2016, Vol.122, pp.342-343 , N° 16561

Lien : https://hal.laas.fr/hal-01476340

Diffusable

Plus d'informations

Abstract

Adaptation is a key requirement for many software systems, such as cloud-based, cyber-physical and mobile systems. These systems are designed to satisfy different needs and expectations of users, in particular the need to take advantage of a service permanently. Such system should be able to adapt its structure and/or behaviour at runtime to cope with changes in their operating environment and user needs.

139320
16427
01/11/2016

Encoding bigraphical reactive systems into graph transformation systems

A.GASSARA, I.BOUASSIDA, M.JMAIEL, K.DRIRA

ReDCAD Laboratory, SARA

Revue Scientifique : Electronic Notes in Discrete Mathematics, Vol.55, pp.207-210, Novembre 2016, doi 10.1016/j.endm.2016.10.051 , N° 16427

Lien : https://hal.archives-ouvertes.fr/hal-01399477

Diffusable

Plus d'informations

Abstract

In this paper, we present a solution for executing bigraphical reactive systems based on an investigation on graph transformation systems. For this, we encode a bigraph into a ranked graph. This encoding is ensured, formally, by defining a faithful functor that allows to move from bigraph category to ranked graph category. Then, we show that reaction rules can be simulated with graph rules.

139892
16427
06/06/2016

Encoding bigraphical reactive systems into graph transformation systems

A.GASSARA, I.BOUASSIDA, M.JMAIEL, K.DRIRA

ReDCAD Laboratory, SARA

Manifestation avec acte : Cologne-Twente Workshop on Graphs and Combinatorial Optimization ( CTW ) 2016 du 06 juin au 08 juin 2016, Gargnano (Italie), doi 10.1016/j.endm.2016.10.051, Juin 2016, pp.216-219 , N° 16427

Lien : https://hal.archives-ouvertes.fr/hal-01399477

Diffusable

Plus d'informations

Abstract

In this paper, we present a solution for executing bigraphical reactive systems based on an investigation on graph transformation systems. For this, we encode a bigraph into a ranked graph. This encoding is ensured, formally, by defining a faithful functor that allows to move from bigraph category to ranked graph category. Then, we show that reaction rules can be simulated with graph rules.

138335
15750
01/06/2015

A Formal method for modeling deployment architectures based on bigraphs

A.GASSARA, I.BOUASSIDA, M.JMAIEL, K.DRIRA

ReDCAD Laboratory, SARA

Revue Scientifique : ACM SIGAPP Applied Computing Review, Vol.15, N°2, pp.8-16, Juin 2015 , N° 15750

Diffusable

Plus d'informations

Abstract

Software deployment is executed according a deployment architecture which describes the allocation of software components to its hardware hosts. In this paper, we tackle the issue of constructing correct deployment architectures for large distributed systems. Actually, such architectures should satisfy various constraints related to the software components and the target environment such as the hierarchical description of components , their connections and the resource constraints. We present a formal method for constructing deployment architectures using a formal language called BRS (Bigraphical Reactive System). This method provides a correct by design approach based on multi-scale modeling ensuring the correctness of the obtained deployment architectures. Following our approach, the designer starts by modeling the first scale architecture which is refined automatically by successively adding smaller scale components until obtaining the last scale deployment architecture.

139762
13179
15/04/2015

Threshold-based context analysis approach for ubiquitous systems

N.KHABOU, I.BOUASSIDA

ReDCAD Laboratory, SARA

Revue Scientifique : Concurrency and Computation: Practice and Experience, Vol.27, N°6, pp.1378-1390, Avril 2015, DOI: 10.1002/cpe.3047 , N° 13179

Lien : http://hal.archives-ouvertes.fr/hal-00812341

Diffusable

Plus d'informations

Abstract

In ubiquitous computing systems, applications must be able to respond to dynamic context changes in order to provide suitable services to users. A promising solution consists of developing context aware applications which automatically change their behavior according to the user needs, the user preferences, the available resources and the surrounding environment. Furthermore, a context aware application is characterized by a closed feed back loop (MAPE) with four phases: Monitoring, Analysis, Planning and Execution. In this paper, we focus on the second phase of the MAPE loop. We elaborate a layered approach composed of a context capture layer, a context management layer and a context adaptation layer. Our approach enables systems to become pervasive in a transparent manner handling context monitoring and context analysis. We focus our work on the second layer (i.e context management). We propose first a context classification which takes into acount the context parameters evolution behavior. Then, we propose a context analysis approach for ubiquitous systems which aims at analyzing context information and detecting significant changes. The proposed approach uses a threshold based technique in order to detect context changes. When relevant context changes are detected, the context aware application will be notified to trigger its suitable process dynamically in order to deal with the changes.

134455
15163
13/04/2015

A multi-scale modeling approach for software architecture deployment

A.GASSARA, I.BOUASSIDA, M.JMAIEL

ReDCAD Laboratory, SARA

Manifestation avec acte : Annual ACM Symposium on Applied Computing ( ACM-SAC ) 2015 du 13 avril au 17 avril 2015, Salamanque (Espagne), Avril 2015, 7p. , N° 15163

Lien : https://hal.archives-ouvertes.fr/hal-01145339

Diffusable

Plus d'informations

Abstract

For large component-based applications, identifying a valid deployment architecture has emerged as a major challenge. Actually, this deployment architecture (i.e, allocation of software components to its hardware hosts) should satisfy various constraints related to the software components and the target environment such as the hierarchical description of components, their connections and the resource constraints. The numerous constraints make hard to construct manually the correct deployment architecture. In this work, we propose a formal method based on a formal language called BRS (Bigraphical Reactive System) in order to guarantee the correctness of the deployment architecture. Furthermore , in order to support its automatic construction, our proposed method follows a multi-scale modeling. In fact, the designer starts by modeling the first scale architecture which is refined automatically by successively adding smaller scale components until obtaining the deployment architecture at the last scale. This refinement is ensured by applying a set of rules. In this paper, we address communicating systems as a study domain.

134597
15194
01/02/2015

Self-adaptive communication for collaborative mobile entities in ERCMS

I.BOUASSIDA, J.LACOUTURE, K.DRIRA

SARA, IRIT

Revue Scientifique : International Journal of Autonomous and Adaptive Communications Systems, Vol.8, N°1, pp.1-22, Février 2015 , N° 15194

Lien : https://hal.archives-ouvertes.fr/hal-01145312

Diffusable

Plus d'informations

Abstract

Adaptation of communication is required for maintaining the connectivity and the quality of communication in group-wide collaborative activities. This becomes challenging to handle when considering mobile entities in a wireless environment, requiring responsiveness and availability of the communication system. We address these challenges in the context of the ROSACE project where mobile ground and flying robots have to collaborate with each other and with remote human and artificial actors to save and rescue in case of disasters such as forest fires. This paper aims to expose a communication component architecture allowing to manage a cooperative adaptation which is aware of the activity and resource context into pervasive environment. This allows to provide the appropriate adaptation of the activity in response to evolutions of the activity requirements and the changes in relation with the communication resource constraints. In this paper, we present a simulation of a ROSACE use case. The results show how ROSACE entities collaborate to maintain the connectivity and to enhance the quality of communications.

134751
14670
01/12/2014

Special Issue on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures

I.BOUASSIDA, S.KALLEL, F.OQUENDO

SARA, ReDCAD Laboratory, Univ Bretagne Sud

Ouvrage (éditeur) : International Journal of Autonomous and Adaptive Communications Systems, Décembre 2014 , N° 14670

Lien : https://hal.archives-ouvertes.fr/hal-01114149

Non disponible

134110
Les informations recueillies font l’objet d’un traitement informatique destiné à des statistiques d'utilisation du formulaire de recherche dans la base de données des publications scientifiques. Les destinataires des données sont : le service de documentation du LAAS.Conformément à la loi « informatique et libertés » du 6 janvier 1978 modifiée en 2004, vous bénéficiez d’un droit d’accès et de rectification aux informations qui vous concernent, que vous pouvez exercer en vous adressant à
Pour recevoir une copie des documents, contacter doc@laas.fr en mentionnant le n° de rapport LAAS et votre adresse postale. Signalez tout problème de dysfonctionnement à sysadmin@laas.fr. http://www.laas.fr/pulman/pulman-isens/web/app.php/