Software Engineering Day 2016

Who: The Software Engineering research theme from the CRIStAL laboratory
When: Thursday 23 June 2016
Where: IRCICA

9:00 – 9:30 – Co-evolution in software engineering – Anne Etien
9:30 – 10:00 – Carbon et quelques idées – Cédric Dumoulin
10:00 – 10:30 – Correctness attraction – Martin Monperrus

10:30 – 11:00 – Coffee break

11:00 – 11:30 – Structured Hints to Design Diagrams – Xavier Le Pallec
11:30 – 12:00 – AppStore 2.0: Improving the Quality of of Mobile Apps by Leveraging the Crowds – Romain Rouvoy
12:00 – 12:30 – Refactoring in the large – Nicolas Anquetil

Service-Oriented Reengineering of Legacy JEE applications

Hafedh Mili (Full professor Université du Québec à Montréal)
Friday April 29th at 13h
Inria Lille

Abstract:
Service orientation views business applications as orchestrations of reusable services deployed across the enterprise. Service orientation has many purported advantages, including, 1) the packaging of common business and technical functions in a reusable format, 2) IT agility, through the rapid construction of business applications by orchestrating those services, and 3) integrability, thanx to the standardization of invocation interfaces, regardless of implementation technology. Given a legacy enterprise application, it pays to migrate it to an SOA style, to i) capitalize on already implemented reusable functionality, to make it available to other applications, and ii) to facilitate future maintenance and scalability of the application.

Given a legacy Java enterprise application, we propose a three-step SOA migration process:
1) identifying clusters of functionality that could qualify as services
2) package such clusters behind service interfaces, and
3) refactor existing code to invoke the functionality through service interfaces

In this presentation, we will talk about some of the research issues surrounding each one of the three steps, and highlight some of the research directions that we are pursuing.

Speaker:
Hafedh Mili is full professor of computer science at the Université du Québec à Montréal where he leads the Laboratoire de Recherches sur les Technologies du Commerce Électronique (www.latece.uqam.ca). His research spans a wide range of issues in software engineering from business process modeling to software design (architecture, patterns) to aspect oriented development. He has participated in/or led a number of projects with industry, and has published over 120 refereed papers, and two books on software reuse (2001) and business rules (2011). He holds an engineering diploma from Ecole Centrale de Paris (1984), and a PhD in computer Science from the George Washington University (1988).

Service-Oriented Reengineering of Legacy JEE applications

Hafedh Mili (Université du Québec à Montréal) will present his work.

What : Service-Oriented Reengineering of Legacy JEE applications
Where: Inria Lille B21
When : Friday April 29th at 13h

Abstract:
Service orientation views business applications as orchestrations of reusable services deployed across the enterprise. Service orientation has many purported advantages, including, 1) the packaging of common business and technical functions in a reusable format, 2) IT agility, through the rapid construction of business applications by orchestrating those services, and 3) integrability, thanx to the standardization of invocation interfaces, regardless of implementation technology. Given a legacy enterprise application, it pays to migrate it to an SOA style, to i) capitalize on already implemented reusable functionality, to make it available to other applications, and ii) to facilitate future maintenance and scalability of the application.

Given a legacy Java enterprise application, we propose a three-step SOA migration process:
1) identifying clusters of functionality that could qualify as services
2) package such clusters behind service interfaces, and
3) refactor existing code to invoke the functionality through service interfaces

In this presentation, we will talk about some of the research issues surrounding each one of the three steps, and highlight some of the research directions that we are pursuing.

Speaker:
Hafedh Mili is full professor of computer science at the Université du Québec à Montréal where he leads the Laboratoire de Recherches sur les Technologies du Commerce Électronique (www.latece.uqam.ca). His research spans a wide range of issues in software engineering from business process modeling to software design (architecture, patterns) to aspect oriented development. He has participated in/or led a number of projects with industry, and has published over 120 refereed papers, and two books on software reuse (2001) and business rules (2011). He holds an engineering diploma from Ecole Centrale de Paris (1984), and a PhD in computer Science from the George Washington University (1988).

SIS: Singluar Information Systems by Cédrick Béler

Who: Cédrick Béler, permanent researcher at ENIT/LGP in Tarbes, France

What: SIS: Singluar Information Systems

When: Wednesday 20th, 14h

Where: B21

I’m Cédrik Béler, permanent researcher at ENIT/LGP in Tarbes and I’m visiting RMOD for 2 weeks so as to work on a research project called SIS (Singular Information Systems).

The goal of SIS is to provide efficient and secure ways of exchanging information. The simple yet powerful idea is that having a single (unique) information system for each singular entity should enhance dramatically information exchange in the digital society. SIS dedicated to persons are the cornerstone of the project but the concepts also apply to organizations and (smart) objects.

A SIS can store every possible bits of information the owner wants to capitalize and process during his whole life according to a high level of privacy and control. If privacy is guaranteed, the owner can have trust in his system and therefore take advantage of it at their full potential. Each information that is exchanged with others SIS (information transaction) is done according to contracts and update are pushed seamlessly (when a connection is established). Each SIS possesses local versions of the information set that are shared with other SIS. It keeps a (synchronized) list of persons, organizations and objects with whom he shares/exchanges information.

To make use of SIS, lots of services could be developed, whether there are internal or external, commercial or not. Internal services run only private information (private inference, smart assistance, life capitalization, personal planning…) and external services provide means of interactions with other SIS (collaboration, collective planning, trade, meeting, …).

The short term objective of the project is to prototype a SIS applied in the context of an association, and in particular to volley-ball. Personal SIS will be set up for players, managers, referees, parents… Organizational SIS will be set up for teams, club, departmental and regional league, … The functionalities that should be developed are the storage of personal information as the facilities to exchange them with other entities (a SMS server will be used with an API). Collaborative tools should be developed too to help planning, survey as meeting note taking.

Deep Learning Program Analysis: A New Paradigm for Analyzing Computer Programs

Benjamin Bales, from ASSRC, will give a talk on “Deep Learning Program Analysis: A New Paradigm for Analyzing Computer Programs”.

Date: April 1 2016, 11:30 AM
Location: Room B31, Inria Lille

Abstract: Since 2006, Deep Learning has outperformed many state of the art techniques on heterogeneous tasks, such as image recognition, machine translation, and voice recognition. The question remains as to whether or not it will prove effective for analyzing computer programs. In this talk, we discuss the current state of the art in deep learning and the initial approaches taken to apply neural architectures to computer source code. Specifically, we discuss some initial, and very promising, results for deep learning defect detection in computer source code achieved by QbitLogic, a start-up company based in Atlanta, GA (USA). We illuminate the challenges inherent to representing and training deep neural networks on software engineering data. We conclude with a call to action for the program analysis community to re-visit the challenging problems in areas such as defect detection and automated software repair armed with the recently developed deep learning toolkits of QbitLogic.

Deep Learning Program Analysis: A New Paradigm for Analyzing Computer Programs

Benjamin Bales, from ASSRC, will give a talk on “Deep Learning Program Analysis: A New Paradigm for Analyzing Computer Programs”.

Date: April 1 2016, 11:30 AM
Location: Room B31, Inria Lille

abstract: Since 2006, Deep Learning has outperformed many state of the art techniques on heterogeneous tasks, such as image recognition, machine translation, and voice recognition. The question remains as to whether or not it will prove effective for analyzing computer programs. In this talk, we discuss the current state of the art in deep learning and the initial approaches taken to apply neural architectures to computer source code. Specifically, we discuss some initial, and very promising, results for deep learning defect detection in computer source code achieved by QbitLogic, a start-up company based in Atlanta, GA (USA). We illuminate the challenges inherent to representing and training deep neural networks on software engineering data. We conclude with a call to action for the program analysis community to re-visit the challenging problems in areas such as defect detection and automated software repair armed with the recently developed deep learning toolkits of QbitLogic.

Docker workshop

Docker@Spirals workshop on Friday 25th March 2016 afternoon 14:00 – 17:30 in Room B31, Building B, Inria.

The workshop agenda is:
14h00 – 14h10 – Introduction & Agenda – Philippe Merle
14h10 – 14h40 – Dockerization of Benchmarks – Maxime Colmant
14h40 – 15h10 – Dockerization of Hadoop Clusters – Bo Zhang
15h10 – 15h40 – Autonomous Vertical Elasticity of Docker Containers – Yahya Al-Dhuraibi
15h40 – 16h10 – Docker Studio – Fawaz Paraiso
16h10 – 16h40 – OCCI Backend for Docker – Christophe Gourdin
16h40 – 17h10 – Formal Methods Application to Docker Systems – Stéphanie Challita
17h10 – 17h15 – Two Docker Tips: Exporting GUIs and Using Data Volumes – Walter Rudametkin
17h15 – 17h30 – Perspectives around Docker – Romain Rouvoy & Philippe Merle

Une Approche Formelle de Ingénierie Système Basée sur les Modèles

Iulian Ober
Mardi 12 avril à 14h
Bâtiment M3, amphi Turing

Une Approche Formelle de Ingénierie Système Basée sur les Modèles

Résumé : L’ingénierie système connaît actuellement une période de rapide évolution grâce à l’arrivée à maturité de nouvelles méthodes basées sur des modèles et de nouveaux standards comme le langage SysML. Bien que récents, ces langages et méthodes ont réussi à pénétrer de manière remarquable dans les pratiques industrielles car ils ouvrent la voie vers une formalisation et une uniformisation des spécifications du système, fournissant un référentiel unique pour tous les acteurs impliqués dans le développement. Ceci est particulièrement important dans le développement des systèmes complexes composés d’éléments logiciels et matériels hétérogènes hautement intégrés, tels qu’on peut en trouver dans des domaines comme l’aérospatial, le transport ou les bâtiments intelligents. Si les modèles prennent une place aussi centrale dans l’ingénierie système, leur précision et leur correction revêtent de lors une importance particulière. Dans ce séminaire nous allons présenter les principaux résultats de nos recherches visant à appliquer des méthodes de validation formelles comme l’analyse statique, la simulation ou le model-checking à des modèles SysML. Une place particulière sera faite aux recherches récentes sur la définition de contrats pour les composants en SysML et sur le raisonnement compositionnel à base de contrats. La présentation sera étayée par des exemples issus d’un cas d’étude industriel du domaine spatial.

Mots clé : ingénierie système, ingénierie de modèles (IDM), systèmes critiques, temps réel, UML, SysML, simulation, model checking

Internet Speed Software Evolution

What: Internet Speed Software Evolution
Who: Xavier Blanc http://www.labri.fr/perso/xblanc/
When: Tuesday, February the 2nd, 10:30
Where: Inria Lille, B21

Abstract:
The success of Internet has provoked a mess in software maintenance. All applications that are designed to run on the Internet must not only fulfill all user requirements, which are more and more frequent and heterogeneous, but also must support the Internet evolutions. Further, they have to evolve at the Internet speed for not being deprecated and then unused.

The main problem is that internal factors that drive the maintenance of traditional applications, such as code quality for instance, becomes unpromising in front of external factors that broadly consider the evolution of Internet.

This talk addresses Internet speed software evolution. It aims to define factors and facilities that will drive the maintenance of applications designed to run on the Internet. For that purpose, it uses source code analysis coupled with statistical measures of large set of applications with the objective to exhibit evolution trends, and to leverage on them.

Requirements-Driven Mediation for Collaborative Security

Who: Amel BENNACEUR, PhD
When: Tuesday, December 16th 15th at 11h30.
Where: Inria Lille B21.
What: Requirements-Driven Mediation for Collaborative Security

Collaborative security exploits the capabilities of the components available in the ubiquitous computing environment in order to protect assets from intentional harm. By dynamically composing the capabilities of multiple components, collaborative security implements the security controls by which requirements are satisfied. However, this dynamic composition is often hampered by the heterogeneity of the components available in the environment and the diversity of their behaviours.

In this talk I will first present an approach for the automated synthesis of mediators that reconcile the differences between the interfaces of the components and coordinate their behaviours from the application down to the middleware layers. Then, I will present a systematic, tool-supported approach for collaborative security based on a combination of feature modelling and mediator synthesis. I will show how we used the FICS (Feature-driven MedIation for Collaborative Security) tool to make two robots—a humanoid robot and a vacuum cleaner—collaborate in order to protect a mobile phone from theft.

Bio
Amel Bennaceur (http://amel.me) is a Research Associate at the Open University, UK. She received the PhD degree in Computer Science from the University of Paris VI in July 2013. Her research interests include dynamic mediator synthesis for interoperability and collaborative security.