Alignement de modèles métiers et applicatifs : Une approche pragmatique par transformations de ...

170 Pages·2014·17.03 MB·French

Troisième Conférence en IngénieriE du Logiciel
CIEL 2014
Conservatoire National des Arts et Métiers
Paris, du 10 au 12 Juin 2014
Sous la direction de :
Catherine Dubois, Nicole Levy,
Marie-Agnès Peraldi-Frati et Christelle Urtado

Après Rennes en 2012, et Nancy en 2013, la troisième édition de CIEL à lieu du 10 au 12 Juin
2014 au CNAM à Paris.
La conférence CIEL (Conférence en IngénieriE du Logiciel) remplace depuis 2012 les
journées IDM (journées sur l'Ingénierie Dirigée par les Modèles) et la!conférence LMO
(Langages et Modèles à Objets).
!
Elle reprend donc leurs!thématiques, liées aux technologies à objets et à l'ingénierie des
modèles!dans le domaine des langages, de la représentation des connaissances, des!bases de
données, du génie logiciel et des systèmes. Partant de ces thématiques historiques, la
conférence étend naturellement les thèmes abordés aux agents, aspects, composants, services
et lignes de produits logiciels.
Son objectif est de réunir les chercheurs et industriels intéressés par ces différentes
thématiques pour faciliter l'échange d'idées, la diffusion de résultats et d'expériences, la
structuration de la communauté et l'identification de nouveaux défis.
Pour cette édition 2014, la conférence CIEL se tient conjointement avec les journées
nationales du GDR GPL 2014 ainsi qu’avec les conférences AFADL (Approches Formelles
dans l'Assistance au Développement de Logiciels) et CAL (Conférence francophone sur les
Architectures Logicielles).
Le comité de programme de CIEL 2014 a reçu 23 soumissions parmi lesquelles 7 articles
longs, 5 articles courts, 3 résumés de papiers internationaux, 4 résumés de thèse et 4
démonstrations d’outils. Chacun de ces papiers a été évalué par 3 relecteurs. Dans l’optique
de permettre une communication et une discussion très large, le comité de programme a
accepté la présentation de 19 contributions. A ceci s’ajoutent deux contributions
supplémentaires présentées dans la cadre de sessions communes avec CAL 2014.
Les présidentes du comité de programme remercient!:
! Les membres du comité de programme et les relecteurs additionnels pour le travail
d’évaluation fourni,
! Les auteurs pour leur mobilisation à faire de cet événement le leur,
! Les membres du comité d’organisation,
! Les président et présidentes des comités de,programmes de CAL 2014 et AFADL
2014,
! La directrice du GDR GPL.
Nous vous souhaitons une excellente édition 2014 de la conférence CIEL!!
Marie-Agnès Peraldi-Frati et Christelle Urtado
Co-Présidentes de CIEL 2014
Page i
Page ii
Comité de programme
Marie-Agnès Peraldi-Frati, Université Nice Sophia Antipolis – I3S!/!CNRS ! Co-Présidente
Christelle Urtado, LGI2P / Ecole Nationale Supérieure des Mines d’Alès ! Co-Présidente
Nicolas Anquetil, Université de Lille 1 - INRIA Lille Nord Europe
Jean-Philippe Babau, Université de Bretagne Occidentale - Lab-STICC
Olivier Barais, Université de Rennes 1 - IRISA
Alexandre Bergel, Université du Chili - DCC - PLEIAD Lab
Antoine Beugnard, Telecom Bretagne - IRISA
Xavier Blanc, Université de Bordeaux 1 - LaBRI
Isabelle Borne, Université de Bretagne Sud - IRISA
Jordi Cabot, École des Mines de Nantes - LINA, INRIA Rennes Bretagne Atlantique
Eric Cariou, Université de Pau – LIUPPA
Sorana Cimpan, LISTIC, Université de Savoie
Philippe Collet, Université Nice Sophia Antipolis - I3S/CNRS
Bernard Coulette, Université de Toulouse 2 Le Mirail - IRIT
Julien DeAntoni, Polytech'Nice - I3S EPC INRIA Aoste
Sophie Dupuy-Chessa, Université de Grenoble - LIG
Vincent Englebert, Université de Namur
Franck Fleurey, SINTEF
Marie-Pierre Gervais, Université Paris Ouest Nanterre La Défense - LIP6
Jérôme Le Noir, Thales Research and Technology
Yves Le Traon, Université du Luxembourg
Jacques Malenfant, Université Pierre et Marie Curie - LIP6
Philippe Merle, !INRIA Lille Nord Europe
Naouel Moha, Université du Québec à Montréal
Amédéo Napoli, LORIA – CNRS
Clémentine Nebut, LIRMM, Université de Montpellier 2
Ileana Ober, Université Paul Sabatier - IRIT
Marc Pantel, ENSEEIHT, Université de Toulouse – IRIT
Noël Plouzeau, !Université de Rennes 1 - IRISA
Pascal Poizat, !Université Paris Ouest Nanterre La Défense - LIP6
Jean-Claude Royer, École des Mines de Nantes - LINA, INRIA Rennes Bretagne Atlantique
Dalila Tamzalit, LINA, IUT de Nantes
Sara Tucci Piergiovanni, CEA LIST
Chouki Tibermacine, Université de Montpellier 2 - LIRMM
Sylvain Vauttier, !LGI2P - École des Mines d'Alès
Olivier Zendra, INRIA Nancy Grand Est
Comité d’organisation
Catherine Dubois, ENSIIE - CEDRIC, Evry ! Co-Présidente
Nicole Levy, CNAM - CEDRIC, Paris ! Co-Présidente
Reda Bendraou, Université Pierre & Marie Curie, LIP6
Tristan Crolard, CNAM – CEDRIC
David Delahaye, CNAM – CEDRIC
Frédéric Gava, Université Paris Est - LACL
Page iii
Pascal Poizat, Université Paris Ouest Nanterre La Défense - LIP6
Renaud Rioboo, ENSIIE - CEDRIC, Evry
Relecteurs additionnels
Bouchra El Asri, Laboratoire de Génie Informatique - ENSIAS, Rabat, Maroc
Fatma Krichen, Ecole Nationale d'Ingénieurs de Sfax (ENIS), Tunisie
Page iv
Programme de CIEL 2014
Paris, CNAM, 10 - 12 Juin 2014
Mardi 10 Juin
10h30-11h Pause café - accueil
Ouverture de la conférence CIEL
11h00-12h30 Conférence invitée CAL/ CIEL,
Didier Donsez LIG
Session 1 commune CAL / CIEL : Composants
Papier international
12h30-13h00
Compatibility Checking for Asynchronously Communicating Software
Meriem Ouederni, Gwen Salaun and Tevfik Bultan
13h00-14h00 Repas
Session 2 : IDM et validation
Papier international
Une revue des techniques de vérification formelle pour la transformation de modèles : Une classification
tridimensionnelle
Moussa Amrani, Benoit Combemale, Pierre Kelsen et Yves Le Traon
14h00-15h30 Papier long
Alignement de modèles métiers et applicatifs : Une approche pragmatique par transformations de modèles
Jonathan Pépin, Pascal André, Christian Attiogbe et Erwan Breton
Papier long
Vers la vérification formelle de transformations de modèles orientées objet
Moussa Amrani, Pierre Kelsen et Yves Le Traon
15h30-16h Pause Café
Session 3 commune CAL / CIEL : Cycle de vie des architectures logicielles
Papier international
Service Identification Based on Quality Metrics - Object-Oriented Legacy System Migration Towards SOA
Seza Adjoyan, Abdelhak-Djamel Seriai et Anas Shatnawi:
Papier court
Un modèle de composants unifié pour l’évolution dynamique des systèmes logiciels
Salim Kebir et Djamel Meslati
16h-18h
Papier long
Génération de métaprogrammes Java à partir de contraintes architecturales OCL
Sahar Kallel, Chouki Tibermacine, Mohamed Reda Skay, Christophe Dony et Ahmed Hadj Kacem
Papier court
Modélisation et vérification formelles en B d’architectures logicielles à trois niveaux d’abstraction
Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier et Huaxi Yulin Zhang
Page v
Mercredi 11 Juin
Ouverture officielle GDR
9h-10h30 Conférence invitée CAL/CIEL/AFADL/GDR
Roland Ducournau LIRMM
10h30-11h Pause café
Session 4 : Travaux de doctorants
Framework for heterogeneous modeling and composition
Matias Vara Larsen, Julien Deantoni et Frédéric Mallet
Graphe de dépendance pour la recontextualisation de modèles
11h-13h Paola Vallejo, Mickael Kerboeuf et Jean-Philippe Babau
Simulation orientée utilisateur des Systèmes d'Information des Smart Grids
Rachida Seghiri, Frédéric Boulanger, Vincent Godefroy et Claire Lecocq
Contribution to model verification: operational semantic for System Engineering modeling languages
Blazo Nastov
13h-14h Repas
Session 5 : Modélisation de la dynamique
Papier long
Une sémantique multi-paradigme pour simuler des modèles SysML avec SystemC-AMS
Daniel Chaves Café, Filipe Vinci Dos Santos, Cécile Hardebolle, Christophe Jacquet et Frédéric Boulanger
14h00-15h30
Papier long
Etendre les patrons de flot de contrôle dynamique avec des dépendances transactionnelles
Imed Abbassi et Graiet Mohamed
15h30-16h Pause café
Session commune Posters/démos CAL/CIEL/AFADL/GDR
ModHel'X, un outil expérimental pour la modélisation multi-paradigmes
Christophe Jacquet, Cecile Hardebolle et Frédéric Boulanger
Evaluation de la substituabilité comportementale de composants UML
Thomas Lambolais, Anne-Lise Courbis et Thanh Liem Phan
16h-18h
BUT4Reuse Feature identifier: Identifying reusable features on software variants
Jabier Martinez, Tewfik Ziadi, Jacques Klein et Yves Le Traon
Recherche de sous-modèles
Gilles Vanwormhoudt, Bernard Carré, Olivier Caron et Christophe Tombelle
Jeudi 12 Juin
Conférence invitée CIEL/AFADL/GDR
9h-10h30
Christine Paulin LRI
10h30-11h Pause café
Session 6 : Modélisation de propriétés non fonctionnelles
Papier international
ORQA : modélisation de l'énergie et de la qualité de service
Borjan Tchakaloff, Sébastien Saudrais et Jean-Philippe Babau
Papier court
11h-13h
Mise à jour dynamique des applications JavaCard: Une approche pour une mise à jour sûre du tas.
Razika Lounas, Mohamed Mezghiche et Lanet Jean-Louis
Papier long
Challenges in security engineering of systems-of-systems
Vanea Chiprianov, Laurent Gallon, Manuel Munier, Philippe Aniorte et Vincent Lalanne
13h-14h Repas
15h30-16h Pause café
Vendredi 13 Juin
Conférence invitée GDR
9h-10h30
Gérard Morin Esterel Tech
10h30-11h Pause café
13h-14h Repas
Page vi
Table des matières
Conférences invitées Page 1
Internet des Choses, Cloud Computing et Big Data - Nouvelles frontières pour le Génie
Logiciel
Didier Donsez Page 3
Les talons d'Achille de la programmation par objets
Roland Ducournau Page 4
Preuves formelles d’algorithmes probabilistes
Christine Paulin Page 5
SCADE Model-Based Requirements Engineering
Gérard Morin et Yves Guido Page 6
Session 1 commune CAL / CIEL : Composants Page 7
Compatibility Checking for Asynchronously Communicating Software
Meriem Ouederni, Gwen Salaun and Tevfik Bultan Page 9
Session 2 : IDM et validation Page 11
Une revue des techniques de vérification formelle pour la transformation de modèles : Une
classification tridimensionnelle
Moussa Amrani, Benoit Combemale, Pierre Kelsen et Yves Le Traon Page 13
Alignement de modèles métiers et applicatifs : Une approche pragmatique par transformations
de modèles
Jonathan Pépin, Pascal André, Christian Attiogbe et Erwan Breton Page 17
Vers la vérification formelle de transformations de modèles orientées objet
Moussa Amrani, Pierre Kelsen et Yves Le Traon Page 32
Session 3 commune CAL / CIEL : Cycle de vie des architectures logicielles Page 47
Service Identification Based on Quality Metrics - Object-Oriented Legacy System Migration
Towards SOA
Seza Adjoyan, Abdelhak-Djamel Seriai et Anas Shatnawi Page 49
Un modèle de composants unifié pour l’évolution dynamique des systèmes logiciels
Salim Kebir et Djamel Meslati Page 50
Génération de métaprogrammes Java à partir de contraintes architecturales OCL
Sahar Kallel, Chouki Tibermacine, Mohamed Reda Skay, Christophe Dony et Ahmed Hadj
Kacem Page 56
Modélisation et vérification formelles en B d’architectures logicielles à trois niveaux
d’abstraction
Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier et Huaxi Yulin
Zhang Page 71
Page vii
Session 4 : Travaux de doctorants Page 79
Framework for heterogeneous modeling and composition
Matias Vara Larsen, Julien Deantoni et Frédéric Mallet Page 81
Graphe de dépendance pour la recontextualisation de modèles
Paola Vallejo, Mickael Kerboeuf et Jean-Philippe Babau Page 83
Simulation orientée utilisateur des Systèmes d'Information des Smart Grids
Rachida Seghiri, Frédéric Boulanger, Vincent Godefroy et Claire Lecocq Page 86
Contribution to model verification: operational semantic for System Engineering modeling
languages
Blazo Nastov Page 88
Session 5 : Modélisation de la dynamique Page 91
Une sémantique multi-paradigme pour simuler des modèles SysML avec SystemC-AMS
Daniel Chaves Café, Filipe Vinci Dos Santos, Cécile Hardebolle, Christophe Jacquet et
Frédéric Boulanger Page 93
Etendre les patrons de flot de contrôle dynamique avec des dépendances transactionnelles
Imed Abbassi et Graiet Mohamed Page 97
Session commune Posters et démos AFADL / CAL / CIEL / GDR GPL Page 113
ModHel'X, un outil expérimental pour la modélisation multi-paradigmes
Christophe Jacquet, Cecile Hardebolle et Frédéric Boulanger Page 115
Evaluation de la substituabilité comportementale de composants UML
Thomas Lambolais, Anne-Lise Courbis et Thanh Liem Phan Page 119
BUT4Reuse Feature identifier: Identifying reusable features on software variants
Jabier Martinez, Tewfik Ziadi, Jacques Klein et Yves Le Traon Page 123
Recherche de sous-modèles
Gilles Vanwormhoudt, Bernard Carré, Olivier Caron et Christophe Tombelle Page 126
Session 6!: Modélisation de propriétés non fonctionnelles Page 131
ORQA : modélisation de l’énergie et de la qualité de service
Borjan Tchakaloff, Sébastien Saudrais et Jean-Philippe Babau Page 133
Mise à jour dynamique des applications Java Card - Une approche pour une mise à jour sûre
du tas
Razika Lounas, Mohamed Mezghiche et Jean-Louis Lanet Page 137
Challenges in Security Engineering of Systems-of-Systems
Vanea Chiprianov, Laurent Gallon, Manuel Munier, Philippe Aniorte et Vincent
Lalanne Page 143
Page viii