15.05.2015 Views

Approche de métamodélisation pour la simulation et la vérification ...

Approche de métamodélisation pour la simulation et la vérification ...

Approche de métamodélisation pour la simulation et la vérification ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

48 CHAPITRE 3. INGÉNIERIE DES PROCÉDÉS DE DÉVELOPPEMENT<br />

loppement logiciel. Ces travaux ont permis <strong>de</strong> faire apparaître <strong>la</strong> notion <strong>de</strong> modèle<br />

<strong>de</strong> procédé (Process Mo<strong>de</strong>l – PM).<br />

Dans les années 90, <strong>de</strong> nombreux travaux ont porté sur <strong>la</strong> modélisation <strong>de</strong> ce<br />

procédé à <strong>de</strong>s fins <strong>de</strong> compréhension, d’évaluation, d’amélioration ou d’exécution.<br />

De nombreux AGL-P, Ateliers <strong>de</strong> Génie Logiciel centré Procédé, ont été proposés.<br />

Il s’agit alors <strong>de</strong> piloter un développement réel en fonction d’un procédé <strong>de</strong><br />

développement défini dans un <strong>la</strong>ngage dédié [BEM94, CHL + 94a, BFL + 95, CC97,<br />

Bre02].<br />

Les procédés peuvent être exprimés sous <strong>la</strong> forme d’un modèle décrit selon un<br />

<strong>la</strong>ngage <strong>de</strong> modélisation <strong>de</strong> procédé (Process Mo<strong>de</strong>ling Language – PML). Un modèle<br />

<strong>de</strong> procédé est une représentation <strong>de</strong>s activités du mon<strong>de</strong> réel. Le modèle <strong>de</strong><br />

procédé est développé, analysé, raffiné, transformé <strong>et</strong>/ou exécuté conformément au<br />

métamodèle du procédé. Les PML <strong>et</strong> leurs Environnements <strong>de</strong> Génie Logiciel Sensibles<br />

au Procédé (PSEE) peuvent être c<strong>la</strong>ssés en trois catégories suivant l’élément<br />

central du modèle <strong>de</strong> procédé :<br />

– Les PML centrés Produits se concentrent surtout sur les données échangées,<br />

<strong>et</strong> ont développé d’importantes propriétés concernant ces données (données<br />

orientées obj<strong>et</strong>, transactions, persistance, versionnement, <strong>et</strong>c.). Ces PML ont<br />

eu beaucoup <strong>de</strong> succès dans l’industrie, surtout dans le domaine <strong>de</strong> <strong>la</strong> gestion<br />

<strong>de</strong> configuration. Nous citons par exemple les systèmes ADELE [BEM94]<br />

<strong>et</strong> EPOS [CHL + 94b].<br />

– Les PML centrés Rôles m<strong>et</strong>tent l’accent sur les rôles <strong>et</strong> leurs col<strong>la</strong>borations.<br />

Ces PML ont surtout eu du succès dans le domaine du travail coopératif.<br />

– Les PML centrés Activités s’appuient sur les activités qui représentent les<br />

tâches à réaliser. C<strong>et</strong>te catégorie a eu beaucoup <strong>de</strong> succès dans le domaine <strong>de</strong><br />

<strong>la</strong> recherche (p. ex. SPADE [BFGL94], MARVEL [KFP88], APEL [DEA98],<br />

<strong>et</strong>c.). Du côté industriel, <strong>la</strong> construction <strong>de</strong> workflows a commencé vers <strong>la</strong> fin<br />

<strong>de</strong>s années 90, <strong>et</strong> ceci indépendamment <strong>de</strong> tous les travaux <strong>de</strong> recherche qui<br />

ont été faits sur les procédés. Les workflows sont <strong>de</strong>s procédés exécutables,<br />

centrés activités <strong>et</strong> généralement simples.<br />

3.2 SPEM, le standard <strong>de</strong> l’OMG <strong>pour</strong> <strong>la</strong> modélisation<br />

<strong>de</strong>s procédés<br />

À l’instar d’UML <strong>pour</strong> les notations obj<strong>et</strong>s, <strong>la</strong> tendance actuelle est à l’unification<br />

<strong>de</strong>s PML dans l’optique industrielle indispensable <strong>de</strong> <strong>la</strong> réutilisation. Citons<br />

par exemple SPEM [OMG07a], le métamodèle défini par l’OMG <strong>pour</strong> <strong>la</strong> modélisation<br />

<strong>de</strong>s procédés <strong>de</strong> développement, ou les <strong>la</strong>ngages basés sur XML tels<br />

que XPDL [WfM05] proposé par le WfMC (Workflow Management Coalition) ou<br />

BPML [Ark02] proposé par le BPMI (Business Process Management Initiative).<br />

Ces approches constituent <strong>pour</strong> l’essentiel une unification <strong>de</strong>s concepts mais leur<br />

sémantique reste décrite informellement.<br />

SPEM (Software & Systems Process Engineering M<strong>et</strong>amo<strong>de</strong>l) est le standard

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!