07/05/04 réunion gt mfi - paris - p. aniorte1 un modèle pour linteraction entre composants...

29
07/05/04 Réunion GT MFI - Paris - P. ANIORTE 1 Un modèle pour l’interaction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM [email protected]

Upload: philippe-philippot

Post on 04-Apr-2015

109 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

1

Un modèle pour l’interaction entre composants logiciels

Philippe ANIORTE

LIUPPA - IUT Bayonne

Equipe ISIHM

[email protected]

Page 2: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

2

Plan de la présentation

1. Introduction

2. Problématique (générale) de nos travaux

3. Solutions apportées en terme de modèle d’interaction

Page 3: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

3

1. Introduction - IS-IHM

IS : Ingénierie de Systèmes (d’Information)

IHM : Interface Homme-Machine

IS-IHM : dénominateur commun = interaction

Page 4: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

4

1. IS-IHM - Actions

Projets européens ASIMIL & ELeGI

Colloque ALCAA (Agents Logiciels, Coopération, Apprentissage, Activité humaine)

GT MFI ...

Page 5: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

5

1. GT MFI

Problématique de nos travaux

Solutions apportées

Mise en perspective de ces solutions et des travaux du groupe (au cours et/ou après la présentation)

Page 6: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

6

2. Problématique - Objectifs des travaux

Apporter des solutions aux nouveaux besoins des entreprises en matière d’ingénierie de systèmes

Supportées par des réseaux

Intégration d’entités distribuées et hétérogènes

Page 7: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

7

2. Domaines de recherche impliqués

Réutilisation d’entités « a posteriori »

Interopérabilité entre entités distribuées hétérogènes

(Méta)modélisation

Page 8: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

8

2. Eléments de solution

(Méta)modèles : architecture de métamodélisation à 4 niveaux [OMG], modèles pour la réutilisation ...

Outils : middlewares [CORBA] [EJB], langages (ADL) ...

Processus : démarche MDA [OMG] ...

Page 9: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

9

2. Discussion

Les différentes solutions ciblent des problèmes spécifiques

Traités à différents niveaux d’abstraction

Pas de solution globale adaptée au problème considéré

Page 10: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

10

3. Solutions - Plan

3.1. Introduction

3.2. Présentation du métamodèle

3.3. Utilisation du métamodèle

Page 11: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

11

3.1. Introduction -Concepts de base

Composant : entité logicielle de haut niveau d’abstraction autonome à l’exécution, potentiellement distribuée et hétérogène

Interaction : dispositif permettant à plusieurs composants d’interagir (interopérer)

Page 12: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

12

3.1. Eléments essentiels de nos propositions

Un métamodèle de composants basé sur l’architecture de métamodélisation à 4 niveaux = le MOF métamodèle « Ugatze »

Un processus guidé par les modèles

Un ensemble d’outils liés au processus et au métamodèle

Page 13: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

13

3.1. Le processus

Etape 1 : (re)spécification des composants (gestion de la réutilisation)

Etape 2 : intégration des composants basée sur les interactions (architecture logicielle du système)

Etape 3 : implantation du système

Page 14: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

14

3.2. Le métamodèle Ugatze - Principes

Haut niveau de découplage entre composants

Abstraction

Séparation donnée / contrôle

Page 15: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

15

3.2. Ugatze - Organisation

Le point de vue « Component »

Le point de vue « Interaction »

Le point de vue « Run time environment »

Page 16: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

16

3.2. Ugatze : : Component Package (1/3)

Etape de spécification des composants

Chaque composant est « emballé » dans une interface définie par un ensemble de points d’interaction permettant sa réutilisation

Points d’interaction : E/S données/contrôle

Page 17: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

17

3.2. Ugatze : : Component Package (2/3)

Représentation graphique

Règles de bonne formation (« well-formedness rules » MDA) exprimées en OCL (Object Constraint Language)

Page 18: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

18

3.2. Ugatze : : Component Package (3/3)

Le MOF Component Package

RAP

DI

CI

DO

CO

IIPOIP

SRP

SEP

RRP

C om ponent

interactionPoint

1..*1

InformationPoint Contro lPoint

IIP SEPSRPOIP RRPRAP

Component

orig in : string

Page 19: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

19

3.2. Points d’interaction

Point d’opération (synchrone)

Point de flot continu (« streaming »)

Point asynchrone

Page 20: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

20

3.2. Ugatze : : Interaction Package (1/2)

Etape d’intégration des composants

Gestion de l’interopérabilité conceptuelle

Représentation graphique / règles OCL

Page 21: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

21

3.2. Ugatze : : Interaction Package (2/2)

Le MOF Interaction Package

In teraction

interactionPoint interaction

Contro lPoint InfromationPoint

simpleDataInteractionIIP

O IP

1from1

1to1

simpleContro lInteraction

SRP

SEP

1from1

1to1

1from1..*

1to1..*

Page 22: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

22

3.2. Interactions

Une interaction est une relation entre 1 ou plusieurs points d’interaction d’entrée et 1 ou plusieurs points d’interaction de sortie

Interactions prédéfinies (dans le paquetage)

Interactions « à façon » conçues par l’architecte

Page 23: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

23

3.3. Mise en œuvre d’Ugatze

Spécification des composants (Component Package) & intégration (Interaction Package)

Instanciation du métamodèle pour obtenir le modèle d’application du système (PIM MDA)

Résultat = graphe d’interaction

Page 24: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

24

3.3. Illustration - Le projet ASIMIL

Aero user-friendly SIMulation-based dIstance Learning

Différents composants distribués hétérogènes

Nécessité d’intégrer ces composants

Page 25: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

25

3.3. Le graphe d’interaction d’ASIMIL

MAS

PFC

HM

FSImu

Mailbox

Window

BI

Required action,Performed action

Performed action

Required action,Performed action

Error type - gravity

Error type - gravity

Required action

Page 26: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

26

3.3. Exploitation du graphe

Après avoir été validé (règles OCL)

Il constitue le point de départ de l’étape d’implantation du système

Page 27: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

27

3.3. Transformations du graphe

Utilisation du Run time environment Package

Gestion de l’interopérabilité technique

Sous-graphes d’interaction (PSM MDA) & interactions entre sous-graphes

Page 28: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

28

Conclusion - Bilan

Un (méta)Modèle pour l’Interaction (MI)

Entre composants logiciels

Un processus de développement guidé par les modèles, inspiré de la démarche MDA

Page 29: 07/05/04 Réunion GT MFI - Paris - P. ANIORTE1 Un modèle pour linteraction entre composants logiciels Philippe ANIORTE LIUPPA - IUT Bayonne Equipe ISIHM

07/05/04 Réunion GT MFI - Paris - P. ANIORTE

29

Conclusion - Perspectives

Points d’interaction & interactions ?

Adéquation / adaptation pour des Grid Services (projet européen ELeGI) ?

Formalisation (F de MFI) ?