Une méthode de développement de SI permet de modéliser des produits (tout artefact logiciel) en exécutant des modèles de processus. Les concepteurs sont assistés dans leurs tâches par des outils de modélisation. L'ingénierie des méthodes permet de définir des méthodes de développement en réutilisant et en assemblant des fragments de méthodes existantes. Il s'agit alors de fournir à tout concepteur l'environnement de modélisation adapté à ses nouvelles activités. L'objectif de nos recherches, est de faciliter le travail des chefs de projets et des concepteurs de modèles en les aidant dans le choix des fragments de méthodes, des modèles et des environnements de modélisation adaptés à leurs besoins. Les contributions de cette thèse s'articulent autour d'une architecture à base de services reposant sur trois niveaux d'abstraction. Le niveau intentionnel repose sur un modèle de services permettant d'expliciter les besoins des concepteurs et des chefs de projets en termes de gestion de modèles. L'accent est mis sur la modélisation des buts avec l'utilisation d'ontologies issues du domaine des systèmes d'information. Le niveau organisationnel propose un modèle de services facilitant la capitalisation et la sélection de fragments de méthodes réalisant les buts des concepteurs. Le niveau opérationnel s'appuie sur un modèle de services permettant de caractériser et de sélectionner les outils de modélisation adaptés aux fragments de méthodes. L'ensemble des propositions est accompagné de cas d'études et d'un prototype servant de support et de validation aux travaux réalisés.

« Thèse présentée à l'École des gradués de l'Université Laval pour l'obtention du grade de philosophiæ doctor (Ph. D.) » / « Ayant mis en évidence les faiblesses analytiques de la dynamique des systèmes, notre recherche se préoccupera d'abord de modifier le modèle de dynamique des système pour pouvoir exploiter les outils puissants du Contrôle Automatique. Comme nous le verrons, cette modification consistera à procéder à une approximation linéaire du modèle initial de dynamique des systèmes qui est non linéaire. Dans cet effort, nous éviterons la méthode de transformation utilisée par les tenants du Contrôle Automatique (Appiah et Coyle 1983, Mohpatra et Sharma 1983) ; elle nous éloigne de ce qui est le langage par excellence de la dynamique des systèmes: DYNAMO; et surtout, elle est impuissante devant les modèles de grande taille. Nous partirons des principes de linéarisation, pour y procéder directement avec DYNAMO (on y arriverait avec n'importe quelle version de DYNAMO) sans recourir comme N. B. Forrester à un logiciel supplémentaire, DYNASTAT ou autre. Après avoir mis au point un instrument de linéarisation, la thèse montrera comment les gestionnaires peuvent recourir à l'analyse modale pour comprendre la nature et l'ampleur des forces dynamiques présentes au sein de leur entreprise. Pour cela, elle s'appuyera sur la correspondance existant entre la stabilité intrinsèque d'un système et les valeurs propres de son modèle linéaire. En troisième lieu, la thèse fournira une procédure de modification des forces dynamiques pour stabiliser et ajuster les divers secteurs de l'entreprise. La stabilisation consiste à identifier et changer les politiques qui causent l'instabilité. L'ajustement n'intervient qu'après la stabilisation; il consiste à identifier et à renforcer les politiques qui augmentent la stabilité. Basée sur les valeurs propres et l'analyse de leur sensibilité, cette procédure se révélera être un excellent moyen de mettre en évidence les effets réels des politiques suivies dans l'entreprise et d'évaluer l'opportunité de renforcer, atténuer ou éliminer ces politiques par des mesures appropriées. Enfin, elle donne une méthode d'implantation, dans le réel, des suggestions issues de l'analyse modale. L'application sera faite sur le modèle bien connu de Lyneis. Cela permettra d'identifier les sous-systèmes constitutifs du modèle global: leur nature, leur taille et leur mode d'interaction. Le degré d'intégration des différents secteurs de l'entreprise telle que modélisée par Lyneis apparaîtra avec plus de netteté. Nous nous servirons de la procédure développée dans cette thèse pour dégager les mesures et transformations nécessaires à la stabilisation accrue de chaque secteur. Il en résultera une meilleure performance. »--Pages 10-12

Les gestionnaires des entreprises sont souvent des personnes différentes des actionnaires de ces entreprises. Une littérature récente (Danthine et Donaldson, 2004) explore les conséquences potentielles de cette séparation entre gestion et propriété, habituellement ignorée, pour la modélisation macroéconomique. Toutefois, les travaux de Danthine et Donaldson se basent sur un modèle simple et sans frictions et il est donc difficile de mesurer leur impact sur la modélisation macroéconomique récente, dans laquelle interagissent plusieurs frictions et chocs. Le présent mémoire adapte le modèle de Danthine et Donaldson à un environnement avec chocs monétaires et frictions nominales (contrats de salaires); à ce chapitre, le mémoire représente donc un premier pas dans la généralisation de ce modèle.