Conférence francophone sur l'Architecture Logicielle

  • Soumission de résumé : 17 février 2014
  • Soumission article complet : 31 mars 2014
  • Notification aux auteurs : 28 avril 2014
  • Soumission version finale : 12 mai 2014

CNAM
IRIT
GDR GPL


Programme

Mardi 10 juin

10h30-11h : Accueil et Pause café (Galerie d'honneur)
11h-13h : Session commune CAL et CIEL (Amphithéatre Planté)
13h-14 : Repas (Salon d'honneur)
14h-15h30 : Session 1 CAL (salle 21-2-23)
15h30-16h : Pause café (Galerie d'honneur)
16h-17h30 : Session commune CAL et CIEL (Amphithéatre Planté)
  • S. Adjoyan, A. Seriai et A. Shatnawi: Service Identification Based on Quality Metrics - Object-Oriented Legacy System Migration Towards SOA (accepté à SEKE - présentation longue par S. Adjoyan)
  • S. Kebir et D. Meslati : Un modèle de composants unifié pour l’évolution dynamique des systèmes logiciels
  • S. Kallel, C. Tibermacine, M-R. Skay, C. Dony et A-H. Kacem : Génération de métaprogrammes Java à partir de contraintes architecturales OCL
  • A. Mokni, M. Huchard, C. Urtado, S. Vauttier et H-Y. Zhang : Modélisation et vérification formelles en B d’architectures logicielles à trois niveaux d’abstraction

Mercredi 11 juin

9h-10h30 : Session commune AFADL, CAL, CIEL et GDR GPL (Amphithéatre Friedmann)
  • Ouverture des journées
  • 9h00-10h30 : Conférence Invitée - Roland Ducourneau (LIRMM) - Les talons d’Achille de la programmation par objets
10h30-11h : Pause café (Galerie d'honneur)
11h-13h : Session 2 CAL - Méthodes formelles et Composants (salle 21-2-23)
13h-14h : Repas (Salon d'honneur)
14h-15h30 : Session 3 CAL (salle 21-2-31)
15h30-16h : Pause café (Galerie d'honneur)
16h-18h : Session commune AFADL, CAL, CIEL et GDR GPL Posters et démonstrations (Galerie d'honneur)


Résumé des contributions


Manel Tekaya, Mohamed Taha Bennani, Samir Ben Ahmed and Anis Youssef Equivalence entre Propriétés Simulink et Critères de Couverture (contribution originale)
Abstract: Les normes de sécurité, telles que la norme ISO 26262, mettent l'accent sur le "Model Based Development at software level" afin d'argumenter la conformité entre un modèle et son implémentation. Dans ce cadre, des critères de couverture structurelle et comportementale sont définis afin de générer un ensemble d' entrées de test. Le modèle ainsi que son implémentation génèrent leurs résultats respectifs aprés l'exécution des entrées de test. Si ces résultats sont différents, un problème de conformité sera levé. TELNET Innovation Labs modélise les systèmes de contrôle automobile et aéronautique en utilisant Simulink/Stateflow (SL/SF). Le test unitaire de ces solutions est effectué en utilisant un processus semi-automatique. Dans l'objectif d'automatiser cette phase, nous définissons dans ce papier notre processus qui permet la génération de l'ensemble des entrées de test. Ce processus exploite le potentiel du model checker de générer des contre-exemples relatifs à la violation des propriétés. Nous montrons dans ce papier comment nous définissons un ensemble de propriétés qui permettent de générer des contre-exemples équivalents à des entrées de test assurant des critères de couverture standards.
Sam Rottenberg, Sebastien Leriche, Chantal Taconet, Claire Lecocq and Thierry Desprats. MuScA: A Multiscale Distributed Systems Scale-Awareness Framework (contribution originale)
Abstract: Nowadays, complex systems are distributed over several levels of Information and Communications Technology (ICT) infrastructures. They may involve very small devices such as sensors and RFID, but also powerful systems such as Cloud computers and knowledge bases, as well as intermediate devices such as smartphones and personal computers. These systems are sometimes referred to as multiscale systems. The word "multiscale" may qualify various distributed systems according to different viewpoints such as their geographic dispersion, the networks they are deployed on, or their users' organizations. For one entity of the multiscale system, communication technologies, non-functional components (for persistence or security purpose) or architectures to be favored may vary from one scale to another. Ad hoc development and management of such complex systems are costly and non-sustainable. In this paper, we propose a scale-awareness framework, called MuScA. This framework includes a characterization process that is based on the concepts of viewpoints, dimensions and scales. These concepts constitute the core of a dedicated metamodel. The proposed framework allows multiscale software designers to share a vocabulary for qualifying their own system. At system design time, the result of such a qualification is a model from which the framework produces scale-awareness artifacts. At runtime, those artifacts provide scale-awareness capabilities for autonomous management of the components of the multiscale system. As an illustration of this model-driven approach, we show how multiscale probes are generated to provide multiscale components with an embedded scale-awareness ability.
Mariam Chaabane and Ismael Bouassida Rodriguez. Le monitoring pour la construction de la représentation graphique de l'architecture des applications orientées services (contribution originale)
Abstract: Ce travail se situe dans le cadre des applications logicielles conçues selon le modèle architectural orienté service. Ces applications sont construites par composition de plusieurs services web provenant de sources différentes et fonctionnant ensemble, indépendamment de leur emplacement afin de réaliser une fonctionnalité complexe. Ainsi, lors de l'interaction entre ces Services Web, plusieurs événements surviennent, à savoir la dégradation de qualité de service, les pannes des services déployés, etc. Ceci engendre des perturbations de communications. Ce travail a permis le développement d'une application orientée services appelée Smart City, la mise en place des mécanismes de monitoring afin de scruter l’architecture de cette application, suivre ses interactions et construire la représentation graphique de son architecture en utilisant les graphes. Les résultats des expérimentations sont affichés et discutés.
Imen Abdennadher, Ismael Bouassida Rodriguez and Mohamed Jmaiel. Approche de sélection d'architecture basée augmentation de désordre pour les Systèmes Collaboratifs Ubiquitaires (contribution originale)
Abstract: Dans notre travail, nous nous intéressons à l'adaptation des Systèmes Collaboratifs Ubiquitaires (SCU) aux changements de leur contexte, en choisissant la configuration architecturale la plus adéquate à la situation courante. Le framework ``Framework for Adaptive Collaborative Ubiquitous Systems'' (FACUS) est l'un des frameworks intéressants qui assure l'adaptation architecturale des SCU. FACUS est basé sur la sémantique et les grammaires de graphes afin de générer des configurations architecturales correctes par construction. Dans le contexte du framework FACUS, nous proposons une approche de sélection inspirée de la politique de sélection entropie, pour choisir la configuration architecturale la plus adéquate à la situation contextuelle de l'application. Notre approche prend en considération les changements dans la répartition des composants sur les dispositifs, entre la configuration architecturale courante (qui n'est plus adéquate au contexte courant) et une configuration architecturale candidate à la sélection. Nous appliquons notre approche à un cas d'étude ``Smart Building". Notre cas d'étude décrit la collaboration entre des capteurs et des actionneurs, et vise la réduction de la consommation de l'énergie du bâtiment.
Jean-Paul Arcangeli, Valérie Camps, Thierry Desprats, Romain Laborde, Emmanuel Lavinal, André P éninou, Pascale Zaraté, Raja Boujbel, Arnaud Oglaza, Pierrick Marie (IRIT) - Amel Bouzeghoub, Sophie Chabridon, Denis Conan, Chantal Taconet, Léon Lim, Samer Machara Marquez, Clément Mignard, Sam Rottenberg (TSP) - Sébastien Leriche (ENAC) - Mohamed Mbarki, Hervé Maurel (ARTAL). Projet INCOME : INfrastucture de gestion de COntexte Multi-Echelle pour l’Internet des Objets (description projet)
Abstract: Cet article donne un aperçu du projet de recherche INCOME financé par l’Agence Nationale de la Recherche française en décrivant la fiche d’identité du projet, ses principaux enjeux scientifiques ainsi que les premiers résultats obtenus.
Fatma Krichen, Mohamed Jmaiel, Fairouz Fakhfakh. Modes generation of Reconfigurable Embedded Systems (contribution originale)
Abstract: In our work, we propose a development process to design Distributed Real-time Embedded (DRE) systems and particularly reconfigurable ones. Due to the complexity of the development of these systems and their hard temporal and resource constraints, our process offers two strategies of generation: code generation and modes generation. Code generation allows model transformations to get code while modes generation allows to add all possible modes in our developed middleware from high level model. In this paper, we detail the modes generation strategy.
Seza Adjoyan, Abdelhak Seriai and Anas Shatnawi. Service Identification Based on Quality Metrics - Object-Oriented Legacy System Migration Towards SOA (accepté à SEKE)
Abstract: Migrating towards Service Oriented Architecture SOA has become a major topic of interest during the recent years. Since emerging service technologies have forced non-service based software systems to become legacy, many efforts and researches have been carried out to enable these legacy systems to survive. In this context, several service identification solutions have been proposed. These approaches are either manual, thus considered expensive, or rely on ad-hoc criteria that fail to identify relevant services. In this paper, within the big picture of migrating object-oriented legacy systems towards SOA, we address automatic service identification from source code based on service quality characteristics. To achieve this, we propose a quality measurement model where characteristics of services are refined to measurable metrics. The approach was validated via two realistic case studies and has produced satisfying results.
Hind Lamharhar, Laila Benhlima and Dalila Chiadmi. Architecture de services OWL-S pour e-gouvernement : OwlsGov (contribution originale)
Abstract: Le développement des services électroniques dans le contexte du domaine e-gouvernement devient le challenge majeur de plusieurs pays du monde. Par conséquent, un système qui permet le développement, l’intégration, la découverte et l’exécution de ces services est nécessaire. A ce propos, nous présentons dans cet article un système de gestion des services e-gouvernement fondé sur les technologies sémantiques, en particulier, l’ontologie de service OWL-S. Nous avons enrichie cette ontologie par des nouvelles extensions afin de décrire des connaissances appropriées aux services publics. Au niveau de ce papier, nous proposons notre modèle d’ontologie de service : OwlsGov (OWL-S pour e-gouvernement). Nous exposons ensuite la modélisation et l’implémentation de l’architecture de notre système. Cette architecture est basée sur l’ontologie de service OwlsGov et un ensemble de technologies sémantiques. Afin de montrer la faisabilité de notre système, nous avons développé et intégré plusieurs ontologies du domaine e-Douanes.
Manel Gherari, Abdelkrim Amirat and Mourad Oussalah. Towards Smart Cloud Gate Middleware: An approach based on Profiling Technique (contribution originale)
Abstract: Mobile Cloud Computing (MCC) is a new paradigm whose mobile technology aims to exploit the advantages offered by the cloud in order to provide ubiquitous PC-like functionality to mobile users. Cloud services provisioning is continuously operating activity, unfortunately, services that has recently been deployed in the Cloud infrastructure remain unused or unknown by mobile devices. It is noteworthy that despite the benefits associated with the adoption of the Cloud by mobile technology the gate to the Cloud remains frozen. This means that mobile applications often use the same services without having an update of the novelty in Cloud. Thus, applications lack awareness of new services which are more advantageous in terms of features and qualities than the currently used ones. This is due to the fact that the interest of researchers in the field of MCC has been focused on how to enhance the performance of the computing counterpart of mobile technology. Actually, cloud computing is largely unexplored and considered only as a resource for provisioning on demand services. To enable mobile applications to exploit the Cloud intelligently, we propose Smart Mobile Cloud Architecture. We consider this new architecture as referential allowing MCC users to have a full awareness of both contexts (Cloud and Mobile) at the same time. We introduce a new concept called Smart Cloud Gate (SCG), which aims to profile both mobile applications and the cloud to extract knowledge that will be used as a criterion to select the appropriate services, which will be suggested to mobile applications and give each different application the appropriate view of the Cloud.
Oscar Carrillo, Samir Chouali and Hassan Mountassir. Incremental Modeling of System Architecture Satisfying SysML Functional Requirements (accepté à FACS)
Abstract: This is a paper accepted in the the 10th International Symposium on Formal Aspects of Component Software (FACS 2013) held in Nanchang, China.
The aim of this work is to propose a methodological approach to model and verify Component-Based Systems (CBS), directly from SysML requirement diagrams, and to ensure formally the architecture consistency of the specified systems. The architecture consistency is guaranteed, when the components that interact in CBS are compatible and all component requirements are preserved by the composition. We propose to exploit functional requirements of CBS, specified with SysML diagrams, and the composition of components to specify incrementally system architecture. Component interfaces are specified with SysML sequence diagrams to capture their behaviors (protocols). From a requirement diagram, we associate atomic requirements, represented as LTL properties, to reusable components satisfying them. LTL properties are verified on the components with SPIN model-checker. Then, we specify system architecture incrementally, with SysML Block Definition Diagram (BDD) and Internal Block Diagram (IBD), by treating, one by one the atomic requirements.
Fatiha Ouazar, Malika Ioualalen and Mohand Cherif Boukala. verification des systèmes modulaires (contribution originale courte)
Abstract: La vérification des systèmes par model-checking est souvent confrontée au problème de l’explosion combinatoire de l’espace d’états du système. La modularité est l’une des approches qui permet de pallier à ce problème. Cette approche permet de représenter et de vérifier des systèmes de grande taille sous forme de modules. Dans ce travail, nous nous intéressons à la vérification des propriétés spécifiques exprimées en logique temporelle CTL sur un réseau de Petri modulaire. Nous avons alors proposé des algorithmes de vérification des propriétés CTL sur des systèmes modélisés par un réseau de Petri modulaire.
Goulven Guillou and Jean-Philippe Babau. Génération de code multi-plates-formes pour la mise au point de modèles IMOCA (contribution originale courte)
Abstract: Les systèmes de contrôle de processus embarquées en environnement perturbé sont généralement développés au cas par cas pour des plates-formes de déploiement spécifiques, avec un comportement dépendant étroitement des caractéristiques de l’environnement. Le code obtenu est non portable et non reconfigurable. Pour aider à maîtriser le développement logiciel de telles applications, IMOCA offre des outils de modélisation au niveau architectural. Le générateur de code associé permet de produire du code adaptatif et reconfigurable pour un simulateur ainsi que du code embarqué pour différentes plates-formes. L’approche est appliquée à une brique NXT Lego ainsi qu’à un mini char à voile équipé d’une carte Arduino.
Manel Amel Djenouhat, Faïza Belala and Kamel Barkaoui. A K-Based Specification of Web Services (contribution originale)
Abstract: The Web service description language WSDL has been the subject of numerous researches and known a constant evolution.Nevertheless, it is almost impossible to define a semantics allowing a flawless interoperability. Indeed, in spite of its success, WSDL doesn't ensure conveniently its role in the service interaction process due to its lack of operational semantics which often leads to a loss of behavior control and creates a dichotomy in the composition process. Therefore,various approaches have been conducted in order to formalize the semantics of service description , but while coupling more than two formalisms. To cope with this problem we propose the provision of a semantic support to Web service description language by using Rewriting logic. This article sets out to study an extension of the interface grammar of WSDL by endowing it with a rewrite rules-based semantics using the K framework. Our contribution is twofold; on the one hand, it gives a rewrite operational semantics to the WSDL language and on the other hand, it provides a transparent WSDL-Maude translation. Thus, the description stemming from this translation is executable and analyzable under Maude system taking advantage from its environment as well as its tools.
Brahim Djoudi, Chafia Bouanaka and Nadia Zeghib. A component based approach for Context-Aware Systems specification (contribution originale)
Abstract: Adaptation of software systems is almost an inevitable process, due to changes in customer requirements, needs for faster development of new, or maintenance of existing software systems, etc. System adaptability is its ability to change its structure and/or behavior in response to changes in the environment. This paper proposes a generic formal model for specifying context-aware self-adaptive applications. The approach is based on Maude language and takes advantages of its reflection feature to specify in the same formal framework both structural and behavioral aspects of software systems. A component based approach is adopted where system components are specified in an entirely independent manner from context ones and only context changes impact on system functionalities and structure is specified. Thanks to this model, we promote reusability and facilitate extensibility of both system elements and context ones. Moreover, the formal analysis may be easily performed due to the use of Maude tools.
Abbas Abdulhameed, Ahmed Hammad, Hassan Mountassir and Bruno Tatibouet. An Approach Combining Simulation and Verification for SysML using SystemC and Uppaal (contribution originale)
Abstract: Ensuring the correction of heterogeneous and complex systems is an essential stage in the process of engineering systems. In this paper we propose a methodology to verify and validate complex systems specified with SysML language using a combination of the two techniques of simulation and verification. We translate SysML specifications into SystemC models to validate the designed systems by simulation, then we propose to verify the derived SystemC models by using the Uppaal model checker. A case study is presented to demonstrate the effectiveness of our approach.
Djaouida Dahmani, Mohand Cherif Boukala and Hassan Mountassir. Reusing and Adapting Components using atomic and non-atomic Strong Synchronisations (contribution originale)
Abstract: Composition of heterogeneous software components is required in many domains to build complex systems. However, such compositions raise mismatches between components. Software adaptation aims at generating adaptors to correct mismatches between components to be composed. In this paper, we propose a formal approach which relies on mapping rules to generate automatically adaptors and check compatibilities of components. Our solution allows both atomic and non-atomic synchronisations. We adopt a strong synchronisation semantic which comes naturally with the semantic of the synchronous product of automata.
Raoudha Maraoui, Mohamed Graiet, Eric Cariou and Béchir Ayeb. Vérification formelle des contrats structurels et de QdS d'une composition de services Web (contribution originale)
Abstract: Les services peuvent proposer des fonctions très simples (du type requête/réponse) ou un ensemble complet d’outils, permettant d’aller jusqu’à la composition des services pour proposer une application complète. Par la suite, la composition des services exige une communication fiable entre ses composants et doit ainsi être formalisée par des contrats gérant non seulement les configurations structurelles et comportementales, mais aussi celles qui garantissent la fiabilité et la qualité de services de ces applications. L’objectif principal de notre travail consiste de vérifier les contrats de services pour la composition des Services Web avec l’ADL ACME. Pour se faire, nous modélisons en premier lieu le méta-modèle d’un Service Web décrivant les aspects structurels et ceux de QdS. Puis, nous spécifions les propriétés et les contraintes non fonctionnelles avec CQML et WSLA. Enfin, nous élaborons formellement les deux contrats de qualité de services, CQML et WSLA, avec ACME en se référant à ARMANI qui fournit un langage de prédicats assez puissant pour réconcilier toute inadéquation et donc vérifier et assurer formellement une composition fiable de Services Web.
Meriem Ouederni, Gwen Salaun and Tevfik Bultan. Compatibility Checking for Asynchronously Communicating Software (accepté à FACS)
Abstract: Compatibility is a crucial problem that is encountered while constructing new software by reusing and composing existing compo- nents. A set of software components is called compatible if their composition preserves certain properties, such as deadlock freedom. However, checking compatibility for systems communicating asynchronously is an undecidable problem, and asynchronous communication is a common interaction mechanism used in building software systems. A typical approach in analyzing such systems is to bound the state space. In this paper, we take a different approach and do not impose any bounds on the number of participants or the sizes of the message buffers. Instead, we present a sufficient condition for checking compatibility of a set of asynchronously communicating components. Our approach relies on the synchronizability property which identifies systems for which interaction behavior remains the same when asynchronous communication is replaced with synchronous communication. Using the synchronizability property, we can check the compatibility of systems with unbounded message buffers by analyzing only a finite part of their behavior. We have implemented a prototype tool to automate our approach and we have applied it to many examples.
Lamia Atma. Performance Study in service-oriented applications (contribution originale)
Abstract: One of the fundamental problems of software engineering is the ability to reuse software components already developed. Even if the object approach and the component gave a first answer to this problem, they have the disadvantage of being dependent on language and runtime environment. The service concept then emerged to address the limitations of reuse. This approach represents the functions or business applications as functionality exposed as part of a business process. Services are characterized loose coupling, interoperability, etc.., And propose mechanisms for publication and discovery (consumer and provider).
In this context, we plan to develop a service-oriented development framework in which we can facilitate the development of service-oriented software considering several quality attributes such as reusability, interoperability and performance.
Our project is based on the (Service Oriented Architectures). SOA is based on the services and not applications. Its main strength is found in its ability to provide concepts (qualities) such as flexibility, low coupling, reusability, etc.. An example or instance of SOA is the concept of web services. SOA facilitates integration of heterogeneous systems.
The main objective of our project is the study of performance in service-oriented applications.

CAL 2014




2014

Paris, France, 10-11 Juin 2014