I. 1. Introduction and .. , 98 IV.2. La plate-forme, p.99

S. Genmodel, ». Editor, ». Generate, S. Graphical-editor, and ». , 104 IV.5.1.2, IV.5. Implémentation du prototype L'activité « Refine SPEM4MDE Process Editor Code » .................................... 111 IV.5.1.2.6. L'activité « Run SPEM4MDE Process Editor Code », p.111

V. 1. Introduction and .. , 119 V.2. Démarche de modélisation et de mise en oeuvre de processus avec, p.121

U. Description-informelle-du-processus, 122 V.3.1. Les modèles du processus, p.123

U. Application-de-la-démarche-au-processus, 124 V.4.1.1. La transformation « Requirements 2 Architecture », « Navigation Refinement »), p.131

U. Description-comportementale-du-processus and ». Describe-requirements-model, 133 V.4.2.2. Comportement d'une transformation du processus, p.135

U. Adaptation-du-modèle-de-processus, 136 V.4.3.1. Adapter l'activité « Describe Requirements Model », p.138

U. Mise-en-oeuvre-du-modèle-de-processus, 139 V.4.4.1. Mise en oeuvre de l'activité « Describe Requirements Model », Mise en oeuvre de la transformation « Requirements 2 Content Mise en oeuvre de la transformation « Content 2 Navigation, p.149

C. Vi, .. Conclusion-générale-et-perspectives, and .. De-la-thèse, 152 VI.1. Rappel de la problématique et des objectifs, et perspectives, p.153

S. T. Acuña and X. Ferré, Software Process Modelling, Proc. of the World Multiconference on Systemics, Cybernetics and Informatics SCI'01, pp.237-242, 2001.

A. Agrawal, G. Karsai, Z. Kalmar, S. Neema, F. Shi et al., The design of a language for model transformations, Software and Systems Modeling, pp.261-288, 2006.
DOI : 10.1007/s10270-006-0027-7

N. Aizenbud-resher, R. F. Paige, J. Rubin, Y. Shalam-gafni, and D. S. Kolovos, Operational semantics for traceability, ECMDA Traceability Workshop (ECMDA-TW) 2005 Proceedings

M. Alanen and I. Porres, Coral: A Metamodel Kernel for Transformation Engines, Proceedings of the Second European Workshop on Model-Driven Architecture (MDA), pp.165-170, 2004.

F. Alizon, M. Belaunde, G. Dupre, B. Nicolas, S. Poivre et al., Les modèles dans l'action à France Télécom avec SmartQVT, Génie Logiciel source : Journées Neptune, vol.5, pp.35-42, 2008.

B. Amar, H. Leblanc, and B. Coulette, Traçabilité des transformations et co-évolution de modèles. Dans : Information - Interaction -Intelligence, Cépaduès Editions, Numéro spécial Réutilisation et Traçabilité des systèmes d'Information, Accès, vol.10, issue.2, 2011.

A. Anwar, S. Ebersold, M. Nassar, B. Coulette, and A. Kriouile, A Rule-Driven Approach for composition of Viewpoint-oriented Models, In : JOT (Journal of Object Technology), 2010.

A. Anwar, Formalisation par une approche IDM de la composition de modèles dans le profil VUML, Thèse de doctorat, 2009.

A. Anwar, S. Ebersold, B. Coulette, M. Nassar, and A. Kriouile, A QVT-based Approach for Model Composition -Application to the VUML Profile, 10th International Conference on Enterprise Information Systems (ICEIS), pp.360-367, 2008.

P. Armenise, S. Bandinelli, C. Ghezzi, and A. Morzenti, Survey and assessment the process representing formalisms, GOODSTEP, 1993.

S. Bandinelli, A. Fuggetta, C. Ghezzi, and L. Lavazza, SPADE: An Environment for Software Process Analysis, Design, and Enactment, Software Process Modelling and technology. Research Studies Press Advanced Software Development Series, pp.131-151, 1994.

R. Bendraou, B. Combemale, X. Crégut, and M. P. Gervais, Definition of an eXecutable SPEM2.0, 14th Asia-Pacific Software Engineering Conference (APSEC), pp.390-397, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00371555

R. Bendraou, M. P. Gervais, and X. Blanc, UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling, MoDELS 2005, pp.17-38, 2005.
DOI : 10.1007/11557432_3

URL : https://hal.archives-ouvertes.fr/hal-01486927

J. Bézivin and F. Jouault, Using ATL for Checking Models, Proceedings of the International Workshop on Graph and Model Transformation (GraMoT), Session 1, pp.1-12, 2005.
DOI : 10.1016/j.entcs.2006.01.015

J. Bézivin and E. Breton, Applying the Basic Principles of Model Engineering to the Field of Process Engineering, European Journal for the Informatics Professional, vol.5, pp.27-33, 2004.

J. Bézivin, Sur les principes de base de l'ingénierie des modèles. RTSI-L'objet, pp.145-157, 2004.

J. Bézivin, La transformation de modèles. INRIA-ATLAS & Université de Nantes, 2003.

J. Bezivin, G. Dupé, F. Jouault, G. Pitette, and E. J. Rougui, First experiments with the atl model transformation language: Transforming xslt into xquery, OOPSLA 2003 Workshop, 2003.

J. Bézivin and O. Gerbé, Towards a precise definition of the OMG/MDA framework, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), p.273, 2001.
DOI : 10.1109/ASE.2001.989813

X. Blanc, MDA en action Ingénierie logicielle guidée par les modèles, Eyrolles, 2005.

B. Boehm, A spiral model for software development and enhancement, ACM SIGSOFT Software Engineering Notes, vol.11, pp.14-24, 1988.

G. A. Bolcer and R. N. Taylor, Endeavors: a process system integration infrastructure, Proceedings of Software Process 1996, 0996.
DOI : 10.1109/ICSP.1996.565026

S. Burmester, H. Giese, J. Niere, M. Tichy, J. Wadsack et al., Tool integration at the meta-model level: the Fujaba approach, International Journal on Software Tools for Technology Transfer, vol.42, issue.3, pp.203-218, 2004.
DOI : 10.1007/s10009-004-0155-8

S. C. Chou, A Process Modeling Language Consisting of High Level UML-based Diagrams and Low Level Process Language., The Journal of Object Technology, vol.1, issue.4, pp.137-163, 2002.
DOI : 10.5381/jot.2002.1.4.a3

B. Combemale, Approche de métamodélisation pour la simulation et la vérification de modèle Application à l'ingénierie des procédés, Thèse de doctorat, p.11, 2008.

B. Combemale, X. Cregut, and M. Pantel, Transformations de modèles : Principes, Standards et Exemples, IRIT&CNRS, 2007.

X. Cong, H. Zhang, D. Zhou, P. Lu, and L. Qin, A Model-Driven Architecture Approach for Developing E-Learning Platform, International Conference on E-learning and Games, pp.111-122, 2010.
DOI : 10.1007/978-3-642-14533-9_12

X. Crégut, Un environnement d'assistance rigoureuse pour la description et l'exécution de procédé de conception -Application à l'approche objet, Thèse doctorale, Institut National Polytechnique de, 1998.

X. Crégut and B. Coulette, PBOOL: an Object-Oriented Language for Definition and Reuse of Enactable Processes, Int. Rev. Software Concepts and Tools, vol.18, issue.2, 1997.

W. Curtis, M. I. Kellner, and J. Over, Process modeling, Communications of the ACM, vol.35, issue.9, pp.75-90, 1992.
DOI : 10.1145/130994.130998

K. Czarnecki and S. Helsen, Classification des approches de transformation de modèles, OOPSLA Workshop on Generative Techniques in the Context of Model-Driven Architecture, 2003.

S. Diaw, R. Lbath, and B. Coulette, Specification and Implementation of SPEM4MDE, a metamodel for MDE software processes, 3rd International Conference on Software Engineering and Knowledge Engineering (SEKE), pp. -. Knowledge Systems Institute, 2011.

S. Diaw, T. Le, V. Lbath, R. Tran, H. N. Coulette et al., Feedback on Using TOPCASED Components for Developing a MDE Process-centered Environment, 2011.

S. Diaw, R. Lbath, and B. Coulette, ??tat de l???art sur le d??veloppement logiciel bas?? sur les transformations de mod??les, Techniques et sciences informatiques, vol.29, issue.4-5, pp.4-5, 2010.
DOI : 10.3166/tsi.29.505-536

S. Diaw, R. Lbath, T. Le, V. Coulette, and B. , SPEM4MDE: a Metamodel for MDE Software Processes Modeling and Enactment, 3rd International Workshop on Model-Driven Tool & Process Integration - Associated to EC-MFA, pp.109-121, 2010.
URL : https://hal.archives-ouvertes.fr/tel-00668956

S. Diaw, R. Lbath, and B. Coulette, Spécification dans une vision IDM des processus de développement logiciel, Colloque National sur la Recherche en Informatique et ses Applications (CNRIA), 2010.

S. Diaw, R. Lbath, and B. Coulette, SPEM4MDE: un métamodèle basé sur SPEM 2 pour la spécification des processus MDE, MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication (MajecSTIC), 2009.

D. Nitto, E. Lavazza, L. Schiavoni, M. Tracanella, E. Trombetta et al., Deriving executable process descriptions from UML, Proceedings of the 24th international conference on Software engineering , ICSE '02, 2002.
DOI : 10.1145/581339.581361

M. Dowson and C. Fernstrom, Towards requirements for enactment mechanisms, Third European Workshop on Software Process Techonology, 1994.
DOI : 10.1007/3-540-57739-4_13

R. Elner, S. Al-hilank, A. Bediaga, J. Drexler, M. Jung et al., Philippssen M.: eSPEM ? A SPEM Extension for Enactable Behavior Modeling, ECMFA 2010, pp.116-131, 2010.

M. J. Escalona and N. Koch, Metamodeling the Requirements of Web Systems, 2nd International Conference on Web Information System and Technologies (WEBIST), pp.310-317, 2006.
DOI : 10.1007/978-3-540-74063-6_21

P. Farail, P. Gaufillet, A. Canals, C. L. Camus, D. Sciamma et al., The TOPCASED project: a Toolkit in OPen source for Critical Aeronautic SystEms Design, Embedded Real Time Software (ERTS), 2006.

P. Farail and P. Gaufillet, Topcased ? Un environnement de développement OpenSource pour les systèmes embarqués, pp.16-20, 2005.

J. Favre and J. Estublier, Blay-Fornarino M. : L'ingénierie Dirigée par les Modèles, 2006.

P. H. Feiler and W. S. Humphrey, Software process development and enactment: concepts and definitions, [1993] Proceedings of the Second International Conference on the Software Process-Continuous Software Process Improvement, pp.28-40, 1993.
DOI : 10.1109/SPCON.1993.236824

A. Finkelstein, J. Kramer, and B. Nuseibeh, Software Process Modelling and Technology, 1994.

F. Fondement and R. Silaghi, Defining Model Driven Engineering Processes, 3rd UML Workshop in Software Model Engineering (WiSME), 2004.

R. France and B. Rumpe, Model-driven Development of Complex Software: A Research Roadmap, Future of Software Engineering (FOSE '07), pp.37-54, 2007.
DOI : 10.1109/FOSE.2007.14

URL : https://hal.archives-ouvertes.fr/inria-00511368

J. Greenfield, K. Short, S. Cook, and S. Kent, Software factories, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , OOPSLA '03, 2004.
DOI : 10.1145/949344.949348

W. S. Humphrey and M. Kelner, Software process modeling, Proceedings of the 11th international conference on Software engineering , ICSE '89, 1989.
DOI : 10.1145/74587.74631

W. S. Humphrey, Characterizing the software process: a maturity framework, IEEE Software, vol.5, issue.2, pp.73-79, 1988.
DOI : 10.1109/52.2014

W. S. Humphrey, The Software Engineering Process: Definition and Scope, Proceedings of the 4th international software process workshop on Representing and enacting of the software process, pp.82-83, 1988.

J. Jézéquel, F. Fleurey, Z. Drey, P. Muller, M. Pantel et al., Kermeta : Un langage de méta-modélisation exécutable compatible avec EMOF/ECORE, et son environnement de développement sous Eclipse, Actes des Premières Journées sur l'Ingénierie Dirigée par les Modèles IDM'05, session Démos&Posters, pp.1-4, 2005.

F. Jouault, Loosely coupled traceability for ATL, ECMDA Traceability Workshop (ECMDA-TW) 2005 Proceedings
URL : https://hal.archives-ouvertes.fr/hal-00448118

J. Jouault and I. Kurtev, On the architectural alignment of ATL and QVT, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, pp.1188-1195, 2006.
DOI : 10.1145/1141277.1141561

URL : https://hal.archives-ouvertes.fr/hal-00483592

G. Junkermann, B. Peuschel, W. Schafer, and S. Wolf, MERLIN: Supporting cooperation in software development through a knowledge-based environment, Software Process Modelling and Technology, pp.103-129, 1994.

G. E. Kaiser, N. S. Barghouti, and M. Sokolsky, Preliminary experience with process modeling in the MARVEL software development environment kernel, Twenty-Third Annual Hawaii International Conference on System Sciences, pp.131-140, 1990.
DOI : 10.1109/HICSS.1990.205161

K. S. Grieskamp, W. Santen, T. Stoddart, and B. , Model Driven Engineering, IFM 2002, pp.286-298, 2002.

A. Kleppe, J. Warmer, and W. Bast, MDA EXPLAINED the Model Driven Architecture: Practice and Promise, 2003.

N. Koch, Transformation techniques in the model-driven development process of UWE, Workshop proceedings of the sixth international conference on Web engineering , ICWE '06, 2006.
DOI : 10.1145/1149993.1149997

A. Koudri and J. Champeau, MODAL: A SPEM Extension to Improve Co-design Process Models, ICSP 2010, pp.248-259, 2010.
DOI : 10.1007/978-3-642-14347-2_22

URL : https://hal.archives-ouvertes.fr/hal-00517463

A. Koudri, Processus de Conception Conjointe Logiciel Matériel Dirigés par les Modèles, Thèse de doctorat, pp.13-2010

X. Larrucea, G. Diez, A. B. Mansell, and J. X. , Practical Model Driven Development Process, Second European Workshop on Model Driven Architecture (MDA) with emphasis on Methodologies and Transformations, pp.99-108, 2004.

R. S. Maciel, B. C. Silva, A. P. Magalhães, and N. S. Rosa, An approach to model-driven development process specification, 11th International Conference on Enterprise Information Systems (ICEIS), pp.27-32, 2009.

R. S. Maciel, B. C. Silva, and L. A. Mascarenhas, An Edoc-based Approach for Specific Middleware Services Development, 4th Workshop on MBD of Computer Based System, pp.135-143, 2006.

F. Marschall and P. Braun, Model Transformations for the MDA with BOTL, Proceedings of the Workshop on Model- Driven Architecture: Foundations and Applications, pp.25-36, 2003.

S. Melià, A. Kraus, and N. Koch, MDA Transformations Applied to Web Application Development, Proc. 5th Int. Conf. on Web Engineering (ICWE), 2005.
DOI : 10.1007/11531371_59

T. Mens, K. Czarnecki, and P. Van-gorp, A Taxonomy of Model Transformation, Language Engineering for Model- Driven Software Development, 2004.
DOI : 10.1016/j.entcs.2005.10.021

. Miasoftware-website, Mia ? Transformation: e-Source: http://www.mia-software.com

C. Montangero, J. C. Derniame, B. A. Kaba, and B. Warboys, The Software Process: Modelling and Technology, Software Process: Principles, Methodology and Technology, pp.1-14, 1999.
DOI : 10.1007/3-540-49205-4_1

P. A. Muller, F. Fleurey, and J. M. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, MoDELS 2005, pp.264-278, 2005.
DOI : 10.1007/11557432_19

URL : https://hal.archives-ouvertes.fr/hal-00795095

P. A. Muller, De la modélisation objet des logiciels à la métamodélisation des langages informatiques. HDR, 2006.

M. Nassar, Analyse/conception par objets et points de vue : le profil VUML, Thèse de doctorat, 2005.

L. Osterweil, Software Processes are Software Too, Proceedings of the 9th International Conference on Software Engineering, 1987.
DOI : 10.1007/978-3-642-19823-6_17

O. Uml, Profile for Enterprise Distributed Object Computing Specification, 2002.

I. Porres and M. C. Valiente, Process Definition and Project Tracking in Model Driven Engineering, PROFES 2006, pp.127-141, 2006.
DOI : 10.1007/11767718_13

J. M. Ribó and X. Franch, PROMENADE, a PML intended to enhance standardization, expressiveness and modularity in Software Process Modelling, 2000.

E. Rios, T. Bozheva, A. Bediaga, and N. Guilloreau, MDD Maturity Model: A Roadmap for Introducing Model-Driven Development, ECMDA-FA 2006, pp.78-89, 2006.
DOI : 10.1007/11787044_7

R. Soley, OMG Staff Strategy Group: Model Driven Architecture. White paper, Object Management Group, 2000.

P. Sriplakich, ModelBus : Un environnement réparti et ouvert pour l'ingénierie des modèles, Thèse de doctorat, p.5, 2007.

T. Stahl and M. Volter, The Model-Driven Software Development. Translation copyright by, 2006.

S. M. Sutton, B. S. Lerner, and L. Osterweil, Experience Using the JIL Process Programming Language to Specify Design Processes, 1997.

S. Jr, S. M. Heimbigner, D. Osterweil, and L. , APPL/A: A Language for Software Process Programming, ACM Transaction on Software Engineering Methodology (TOSEM), vol.4, pp.221-286, 1995.

J. Sztipanovits, G. Karsai, C. Biegl, T. Bapty, K. Ldeczi et al., MULTIGRAPH: an architecture for model-integrated computing, Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95, pp.361-368, 1995.
DOI : 10.1109/ICECCS.1995.479359

L. Thai and . Vinh, Un méta-modèle pour les processus IDM : implémentation sous l'environnement TOPCASED

J. P. Tolvanen and M. Rossi, MetaEdit+, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , OOPSLA '03, pp.92-93, 2003.
DOI : 10.1145/949344.949365

B. Vanhooff and Y. Berbers, Supporting modular transformation units with precise transformation traceability metadata, ECMDA Traceability Workshop (ECMDA-TW) 2005 Proceedings

. Xactium-website and . Xmf-mosaic, connection : ConnectionPointReference [*]. Cette association spécifie les références des points de connexion d'un état

@. Règles-de-bonne-modélisation and . Wf01, Un état ne peut pas voir à la fois des régions et une sous-machine à état. isComposite implies not isSubmachineState ? WF02 : Un état simple est un état qui ne contient aucune région

@. Wf03, Un état composite est un état qui contient au moins une région

@. Wf04, Un état orthogonal est un état composite qui contient au moins deux régions. isOrthogonal implies (regionà?size (

@. Wf05, Seuls les états dont la propriété isSubmachineState est vraie peuvent référencer une machine à états

@. Wf06, Seuls les états composites peuvent avoir des points de connexion. connectionPointà?notEmpty () implies isComoposite ? WF07 : Les points de connexion d'un état doivent être des instances de Pseudostate dont la valeur de kind est entry ou exit

@. Wf08, Seuls les états dont la propriété isSubmachineState est vraie peuvent avoir des références de points de connexion

@. Wf09, Une machine à états M1 référencée par un état E1 est la même que celle qui contient les instances de Pseudostate (entry, exit) connectées à l'état E1 via ConnectionPointReference. self.isSubmachineState implies (self

@. Attribut, Cet attribut spécifie le type de PseudoSate. La valeur du type est déterminée par l'énumération PseudostateKind

@. Associations, StateMachine [0..1]. Cette association spécifie la machine état dans laquelle sont définies les instances de Pseudostate

@. Règles-de-bonne-modélisation and . Wf01, Un état initial doit avoir au plus une transition sortante. (self.kind = #initial) implies (self

@. Wf02, Une transition sortante d'un état initial est automatique (i.e. elle n'a ni déclencheur, ni garde). (self.kind = PseudostateKind::initial) implies (self.outgoing.guardà?isEmpty() and self

@. Wf03, Dans une machine à états complet, un noeud de choix doit avoir au moins une transition entrante et une transition sortante. (self.kind = #choice) implies ((self.incomingà?size >= 1) and (self

@. Wf04, Dans une machine à états complet, un noeud de jonction doit avoir au moins une transition entrante et une transition sortante. (self.kind = #junction) implies ((self.incomingà?size >= 1) and (self

@. Wf05, Les transitions entrantes d'un noeud de jointure (join) doivent provenir des états de différentes régions d'un état orthogonal. (self.kind = #join) implies self.incomingà?forAll (t1, t2 |t1<>t2 implies (self

@. Wf06, Les transitions sortantes d'un noeud de parallélisme (fork) doivent avoir comme cible des états qui

. Le-paquetage-navigation, décrit les modèles de navigation d'une application web Un modèle de navigation permet de spécifier les noeuds (unité d'information d'un système web) et leurs liens Un lien permet de connecter un noeud (la source) à plusieurs noeuds (les cibles) Exemple de noeud : une page web vue comme une boîte noire, 2008.