Langages et Modèles à Objets: LMO'05 (L'Objet logiciel, bases de données, réseaux, RSTI série l'Objet Vol. 11 N° 1-2/2005)

Oscar Nierstrasz, Marianne Huchard, Ducasse Stéphane

Description

...

La thématique du CyberMonde et ses implications. CyberMonde, meilleur des mondes ? -D. Stern. Les avatars des clones dans le CyberMonde -G. Poulain. Les émotions et leur expression dans les interactions humaines et homme-machine -N. Chateau, V. Maffiolo. Évolution des interfaces humaines dans les TIC : du symbole à l'icône, du virtuel au matériel -G. Privat. Le rêve paradoxal -M. Antonicelli. Technologies du CyberMonde. Des systèmes mixtes en mobilité et leurs utilisations -L. Pasqualetti. Vers l'autonomie des humains virtuels -D. Pelé, G. Breton. Visualisation interactive de scènes vastes et complexes en 3D à travers un réseau -Ch. Bouville. Vers l'intelligence ambiante -G. Privat. Bibliographies. Glossaire. Cahier photos.

Sujets

• Sciences & Techniques
• Informatique
• Programmation
• Computers
• Techniques
• Ordinateur
• Langage informatique
• Développement de logiciel
• Technique
• Programmation informatique

Informations

• Publié par: Hermès - Editions Lavoisier
• Date de parution: 22 février 2005
• Nombre de lectures: 94
• EAN13: 9782746237797
• Licence : Tous droits réservés
• Langue: Français
• Poids de l'ouvrage: 3 Mo

Extrait

RSTI
Revue des sciences et technologies de l’information
SERIE
L’ObjetRevue des sciences
et technologies de l’information
Comité scientifique
Jean-Charles Pomerol – LIP6/UPMC, Paris
Jean-Pierre Briot – CNRS-LIP6, Paris
Claude Chrisment – IRIT, Toulouse
André Flory – INSA, Lyon
Laurent Fribourg – ENS, Cachan
Jean-Louis Giavitto – LaMI, Evry
Jean-Marie Pierrel – ATILF, Nancy
Jean-Claude Royer – Ecole des Mines, Nantes
Brigitte Trousse – INRIA, Sophia-Antipolis
RSTI - séries ISI, L’OBJET, RIA, TSI
© Lavoisier, 2005
11, rue Lavoisier – F-75008 Paris
ISSN 1262-1137
ISBN 2-7462-1125-4
Commission paritaire n° 75967
Directeur de publication : Patrick Fenouil
Edition : Lavoisier
14, rue de Provigny – F-94236 Cachan cedex
tél. : [phone]
fax : [phone]
[e-mail]
http://www.revuesonline.com
http://objet.revuesonline.com
Le Code de la propriété intellectuelle n’autorisant, aux termes de l’article L. 122-5, d’une part, que les « copies
ou reproductions strictement réservées à l’usage privé du copiste et non destinées à une utilisation collective »
et, d’autre part, que les analyses et les courtes citations dans un but d’exemple et d’illustration, « toute
représentation ou reproduction intégrale, ou partielle, faite sans le consentement de l’auteur ou de ses ayants
droit ou ayants cause, est illicite » (article L. 122-4).
Cette représentation ou reproduction, par quelque procédé que ce soit, constituerait donc une contrefaçon
sanctionnée par les articles L. 335-2 et suivants du Code de la propriété intellectuelle.L’objet
logiciel, bases de données, réseaux
Rédacteurs en chef
Bertrand Meyer
Swiss Federal Institute of Technology
Zurich
Jean-Marc Nerson
Groupe Cap Gemini, Paris
Jean-Claude Royer
Ecole des Mines, Nantes
Comité de rédaction
Jean-Marc Andréoli – XEROX, Grenoble
Antoine Beugnard – ENST, Brest
Isabelle Borne – Valoria, Vannes
Bernard Carré – LIFL, Lille
Yves Caseau – Bouygues Telecom, Paris
Dominique Colnet – LORIA, Nancy
Bernard Coulange – Telelogic France, Toulouse
Guido Dedene – Université Catholique, Louvain, Belgique
Philippe Desfray – Softeam, Paris
Theo D’hondt – Vrije Universiteit, Brussel
Christophe Dony – LIRMM, Montpellier
Stéphane Ducasse – Université de Berne, Suisse
Jérôme Euzenat – INRIA Rhône-Alpes, Montbonnot
André Flory – INSA, Lyon4 RSTI - L’objet – 11/2005. LMO’05
Agnès Front – LSR-IMAG, St Martin d’Hères
Benoît Garbinato – Université de Lausanne, Suisse
Robert Godin – UQAM, Montréal, Canada
Jean-Marc Jézéquel – IRISA, Université Rennes 1, Rennes
Nasser Kettani – Rational Software Corporation, Montigny
Jacques Malenfant – LIP6, Paris
Philippe Merle – INRIA, Lille
Hafedh Mili – UQAM, Montréal, Canada
Jacques Noyé – Ecole des Mines, Nantes
François Pachet – SONY-CSL, Paris
Christian Percebois – IRIT, Toulouse
Roger Rousseau – I3S, Nice
Houari Sahraoui – IRO, Montréal, Canada
Dalila Tamzalit – LINA, Nantes
Les noms commerciaux cités dans cet ouvrage sont des marques déposées par leurs
propriétaires respectifs.L’objet
logiciel, bases de données, réseaux
Sommaire Volume 11 – n° 1-2/2005
LMO 2005
M. HUCHARD, S. DUCASSE, O. NIERSTRASZ
Editorial .................................... 7
Exposés invités
M. SAKKINEN
Wishes for object-oriented languages .................... 11
Y. CASEAU
SLA-based routing for EAI middleware. A step towards
self-optimizing BPM ............................. 13
Session 1. Langages
J. PRIVAT, R. DUCOURNAU
Raffinement de classes dans les langages à objets statiquement typés .... 17
F. MINJAT, A. BERGEL, P. COINTE, S. DUCASSE
Mise en symbiose des traits et des classboxes.
Application à l’expression des collaborations ................ 33
A. BEUGNARD
Peut-on réaliser des composants avec un langage à objets ?
L’impact de l’héritage et de la surcharge sur les boîtes noires ........ 47
Session 2. Ingénierie dirigée par les modèles
H.-M. TRAN, L. DUCHIEN, P. BEDU, H.-Q. NGUYEN, J. PERRIN
Figures de transformation pour des architectures logicielles ......... 63
A. FLISSI, P. MERLE
Une démarche dirigée par les modèles pour construire les machines
de déploiement des intergiciels à composants ................ 79



6 RSTI - L’objet – 11/2005. LMO’05
Session 3. Patrons
Y.-G. GUÉHÉNEUC, H. A. SAHRAOUI
Des signatures numériques pour améliorer
la recherche structurelle de patrons ...................... 97
H. MILI, G. EL BOUSSAIDI, A. SALAH
Mise en œuvre des patrons de conception
par représentation explicite du problème ................... 113
O. HACHANI, D. BARDOU
Modélisation par aspects et transformation vers AspectJ et Hyper/J ..... 127
Session 4. Génie logiciel
C. NEBUT, F. FLEUREY
Une méthode de formalisation progressive des exigences
basée sur un modèle simulable ........................ 145
G. LANGELIER, H. A. SAHRAOUI, P. POULIN
Visualisation et analyse de logiciels de grande taille ............. 159
Session 5. Structures
F. LE BER, A. NAPOLI
Relations, structures et objets : quelques variations ............. 177
C.-C. XING, B. BELKHOUCHE
Représentation graphique des objets et sous-typage 191
Session 6. Contrats
R. FLEURQUIN, C. TIBERMACINE, S. SADOU
Le contrat d’évolution d’architectures. Un outil pour le maintien
de propriétés non fonctionnelles ....................... 209
P. COLLET, R. ROUSSEAU
ConFract, un système pour contractualiser des composants
logiciels hiérarchiques ............................ 223
H. CHANG, P. COLLET
Vers la négociation de contrats dans les composants
logiciels hiérarchiques 239
Volume 11 – n° 1-2/2005




Editorial
Pour sa onzième édition, la conférence LMO (Langages et Modèles à Objets) est
à nouveau accueillie en Suisse : après s’être tenue à Leysin en 1996, elle a lieu à
Berne en cette année 2005. Elle réunit comme chaque année depuis 1994 des
chercheurs étudiant les concepts d’objet, de composant et de modèle dans toutes
leurs acceptions. Convergences, divergences et nouvelles tendances y sont abordées
dans les contextes de la programmation, de la représentation des connaissances,
des bases de données, du génie logiciel, de la programmation répartie, des
intergiciels et du système.
Les actes de la présente édition rassemblent quinze articles choisis parmi
quarante-cinq soumissions. Cette sélection est organisée en six sessions traitant des
langages de programmation, d’ingénierie dirigée par les modèles, de patrons de
conception, de génie logiciel, de structures et de l’utilisation de contrats pour les
composants et les architectures. LMO 2005 a également le plaisir et l’honneur
d’accueillir deux conférenciers invités : Markku Sakkinen, Professeur à l’Université
de Jyväskylä, qui aborde divers points sur lesquels les langages de programmation
mériteraient des améliorations, notamment le concept d’héritage ; Yves Caseau,
Directeur Central des Systèmes d’Information à Bouygues Télécom, qui nous décrit
comment introduire des méthodes déclaratives de routage des messages dans une
architecture EAI, à base de composants autour d’un bus, afin d’optimiser la
satisfaction des niveaux de services associés aux processus métier de l’entreprise.
Nous sommes profondément reconnaissants envers les membres du comité de
programme, les relecteurs qui les ont aidés, les membres du comité d’organisation
et du comité de pilotage, pour leur travail et leur soutien. L’organisation de la
réunion du comité de programme a une fois de plus bénéficié de l’aide de Mikal
Ziane auquel nous exprimons notre gratitude. Dans ces remerciements, nous ne
saurions oublier tous les auteurs des soumissions et tous les participants pour leur
intérêt renouvelé à LMO. Enfin nous remercions chaleureusement les sponsors de
LMO 2005 : France Télécom, Bouygues Télécom et CHOOSE, le groupe d’intérêt
suisse pour les systèmes à objets.
Marianne Huchard
LIRMM, Montpellier
Stéphane Ducasse
IAM, Berne
Oscar Nierstrasz
IAM, Berne8 RSTI - L’objet – 11/2005. LMO’05
COMITE D’ORGANISATION (IAM, Berne)
Co-Présidents : Oscar Nierstrasz, Stéphane Ducasse
Inscriptions : Therese Schmid
Relations publiques: Gabriela Arévalo, Laura Ponisio
Communication et site web : Alexandre Bergel, Stéphane Ducasse
COMITE DE PILOTAGE
Président : Amedeo Napoli, LORIA, Nancy
Jean-Pierre Briot, LIP6, Paris Jérôme Euzenat, INRIA Rhône-Alpes
Bernard Carré, LIFL, Lille Mourad Oussalah, LINA, Nantes
Pierre Cointe, Ecole des Mines, Nantes Jean-François Perrot, LIP6, Paris
Roland Ducournau, LIRMM, Montpellier
COMITE DE PROGRAMME
Présidente : Marianne Huchard, LIRMM, Montpellier
Patrick Albert, ILOG, Gentilly Philippe Lahire, I3S, Sophia-Antipolis
Françoise André, IRISA/Univ. de Rennes Nadira Lammari, Cedric, CNAM
Françoise Baude, I3S, Sophia Antipolis Florence Le Ber, ENGEES, Strasbourg
Xavier Blanc, LIP6, Univ. Paris 6 Tom Mens, Univ. de Mons-Hainaut
Mireille Blay-Fornarino, I3S, Sophia-Antipolis Amedeo Napoli, LORIA, Nancy
Isabelle Borne, VALORIA, Vannes Jean-Claude Royer, Ecole des Mines, Nantes
Cécile Capponi, LIF, Marseille Salah Sadou, VALORIA, Vannes
Yves Caseau, Bouygues Télécom, Boulogne- Houari Sahraoui, Univ. de Montréal
Billancourt Dalila Tamzalit, LINA, Univ. de Nantes
Michel Dao, France Télécom, Issy-les-Mx Christelle Urtado, LGI2P, Ecole des Mines d’Alès
Stéphane Ducasse, IAM, Berne Marlène Villanova, LSR-IMAG, Grenoble
Laurence Duchien, LIFL, Lille Olivier Zendra, LORIA, Nancy
Roland Ducournau, LIRMM, Montpellier Mikal Ziane, LIP6, Univ. Paris 6
Jérôme Euzenat, INRIA Rhône-Alpes
RELECTEURS NE FAISANT PAS PARTIE DU COMITE DE PROGRAMME
Yolande Ahronovitz, LIRMM, Montpellier Thérèse Libourel, LIRMM, Montpellier
Samir Ammour, LIP6 et SOFTEAM, Paris Raphaël Marvie, LIFL, Lille
Olivier Barais, LIFL, Lille Noël Plouzeau, IRISA, Rennes
Daniel Bardou, LSR-IMAG, Grenoble Michel Riveill, I3S, Sophia-Antipolis
Alexandre Bergel, Université de Berne Cyril Roume, LIRMM, Montpellier
Bernard Carré, LIFL, Lille Lionel Seinturier, LIP6 et INRIA, Paris
Yann-Gaël Guéhéneuc, DIRO, Univ. de Montréal Sylvain Vauttier, LGI2P, Ecole des Mines d’Alès
Thomas Lambolais, LGI2P, Ecole des Mines d’AlèsEXPOS