Développement logiciel par transformation de modèles

La recherche en génie logiciel a depuis longtemps tenté de mieux comprendre le processus de développement logiciel, minimalement, pour en reproduire les bonnes pratiques, et idéalement, pour pouvoir le mécaniser. On peut identifier deux approches majeures pour caractériser le processus. La première approche, dite transformationnelle, perçoit le processus comme une séquence de transformations préservant certaines propriétés des données à l’entrée. Cette idée a été récemment reprise par l’architecture dirigée par les modèles de l’OMG. La deuxième approche consiste à répertorier et à codifier des solutions éprouvées à des problèmes récurrents. Les recherches sur les styles architecturaux, les patrons de conception, ou les cadres d’applications s’inscrivent dans cette approche. Notre travail de recherche reconnaît la complémentarité des deux approches, notamment pour l’étape de conception: dans le cadre du développement dirigé par les modèles, nous percevons l’étape de conception comme l’application de patrons de solutions aux modèles reçus en entrée. Il est coutume de définir l’étape de conception en termes de conception architecturale, et conception détaillée. La conception architecturale se préoccupe d’organiser un logiciel en composants répondant à un ensemble d’exigences non-fonctionnelles, alors que la conception détaillée se préoccupe, en quelque sorte, du contenu de ces composants. La conception architecturale s’appuie sur des styles architecturaux qui sont des principes d’organisation permettant d’optimiser certaines qualités, alors que la conception détaillée s’appuie sur des patrons de conception pour attribuer les responsabilités aux classes. Les styles architecturaux et les patrons de conception sont des artefacts qui codifient des solutions éprouvées à des problèmes récurrents de conception. Alors que ces artefacts sont bien documentés, la décision de les appliquer reste essentiellement manuelle. De plus, les outils proposés n’offrent pas un support adéquat pour les appliquer à des modèles existants. Dans cette thèse, nous nous attaquons à la conception détaillée, et plus particulièrement, à la transformation de modèles par application de patrons de conception, en partie parce que les patrons de conception sont moins complexes, et en partie parce que l’implémentation des styles architecturaux passe souvent par les patrons de conception. Ainsi, nous proposons une approche pour représenter et appliquer les patrons de conception. Notre approche se base sur la représentation explicite des problèmes résolus par ces patrons. En effet, la représentation explicite du problème résolu par un patron permet : (1) de mieux comprendre le patron, (2) de reconnaître l’opportunité d’appliquer le patron en détectant une instance de la représentation du problème dans les modèles du système considéré, et (3) d’automatiser l’application du patron en la représentant, de façon déclarative, par une transformation d’une instance du problème en une instance de la solution. Pour vérifier et valider notre approche, nous l’avons utilisée pour représenter et appliquer différents patrons de conception et nous avons effectué des tests pratiques sur des modèles générés à partir de logiciels libres.

Un formalisme pour la traçabilité des transformations

Dans le développement logiciel en industrie, les documents de spécification jouent un rôle important pour la communication entre les analystes et les développeurs. Cependant, avec le temps, les changements de personel et les échéances toujours plus courtes, ces documents sont souvent obsolètes ou incohérents avec l'état effectif du système, i.e., son code source. Pourtant, il est nécessaire que les composants du système logiciel soient conservés à jour et cohérents avec leurs documents de spécifications pour faciliter leur développement et maintenance et, ainsi, pour en réduire les coûts. Maintenir la cohérence entre spécification et code source nécessite de pouvoir représenter les changements sur les uns et les autres et de pouvoir appliquer ces changements de manière cohérente et automatique. Nous proposons une solution permettant de décrire une représentation d'un logiciel ainsi qu'un formalisme mathématique permettant de décrire et de manipuler l'évolution des composants de ces représentations. Le formalisme est basé sur les triplets de Hoare pour représenter les transformations et sur la théorie des groupes et des homomorphismes de groupes pour manipuler ces transformations et permettrent leur application sur les différentes représentations du système. Nous illustrons notre formalisme sur deux représentations d'un système logiciel : PADL, une représentation architecturale de haut niveau (semblable à UML), et JCT, un arbre de syntaxe abstrait basé sur Java. Nous définissons également des transformations représentant l'évolution de ces représentations et la transposition permettant de reporter les transformations d'une représentation sur l'autre. Enfin, nous avons développé et décrivons brièvement une implémentation de notre illustration, un plugiciel pour l'IDE Eclipse détectant les transformations effectuées sur le code par les développeurs et un générateur de code pour l'intégration de nouvelles représentations dans l'implémentation.

A propos de l’intégration de l’icône forme architecturale dans le paysage de la ville à travers le Branding

Dans une perspective strictement structurale, cherchant à étendre et généraliser le calque linguistique à la majorité des champs épistémologiques, une nouvelle science –la sémiologie– est née. Considérant les conventions et systèmes langagiers circulant dans la vie sociale des signes, ladite science n’a pas hésité à comparer les systèmes sémiotiques-forme architecturale et paysage de la ville à des structures discursives ou encore des « textes ». L’intégration du système de signes-forme architecturale dans le paysage de la ville se définit conséquemment comme une « dialogie » entre lesdits systèmes sémiotiques, une « intertextualité » s’effectuant sur la base de codes variés, enchevêtrés. En se basant sur les fondements peirciens du signe, nous proposons (selon une méthodologie décompositive desdits systèmes de signes) d’élucider le sens de cette dialogie dans les stratégies contemporaines du « Branding urbain » où ladite « intertextualité » se transforme en « interimagibilité » (ou « intericonicité ») prenant la ville de Toronto et l’extension du musée royal de l’Ontario (ROM) un corpus remarquable manifestant ladite métamorphose.

Analyse des relations entre plasticité architecturale des buissons et prolifération de leurs populations

Réalisé en cotutelle avec l'Université Montpellier II

Approche hybride : une approche pour une meilleure intégration des outils CAAD dans le développement du processus architecturale du projet

Avec l’usage élargi de la CAAO, ces outils ont été largement utilisés dans le processus de conception architecturale. En dépit des fonctionnalités avancées offertes par les systèmes de CAAO, l'utilisation de la CAAO est principalement concentrée dans les étapes de production, comme un support graphique pour le dessin, la modélisation, le rendu et la simulation. Par conséquent, il est raisonnable de considérer que la situation actuelle relative à l’usage de la CAAO dans la profession d'architecte appelle à de nouvelles améliorations. En d'autres termes, nous devons trouver un moyen de mieux intégrer la technologie et les outils de CAAO dans le processus de conception architecturale, qui est notre question de recherche. Nous avons besoin de savoir comment la CAAO pourrait être utilisée pour améliorer la capacité de conception de l'architecte. Il ressort des discussions et des recherches menées pour cette étude que nous voulons un soutien de la technologie pour nous aider à mieux concevoir et non pas que la technologie conçoive à notre place. Nous aimerions avoir un système de CAAO qui pourrait nous servir d’assistant à la conception. En étudiant la situation de l'intégration des outils de CAAO dans les pratiques actuelles de conception des architectes et en examinant les approches utilisées dans les premières tentatives de développement d’un outil de CAAO intégré au processus de conception, on peut conclure que l'approche exploratoire et heuristique serait une meilleure approche qui pourrait être adaptée pour développer un système CAAO en soutien au travail de l’architecte. De plus, une étude plus approfondie a démontré que les deux sous- approches des approches exploratoires et heuristiques (approches basées sur les cas et les contraintes), sont applicables, mais aucune d'elles n'est suffisante. Par conséquent, l’approche hybride qui prend en compte les avantages de chacune des deux sous- approches précitées serait la plus applicable. Elle nous permettrait de développer un outil CAAD qui pourrait vraiment être intégré dans le processus de conception architecturale. Cette conclusion a été vérifiée par une étude complémentaire basée sur des entrevues.

Conserver ou restaurer? La dialectique de l’œuvre architecturale : histoire d'un débat qui a contribué à la formation de la culture de la conservation du patrimoine bâti

La question de recherche « Conserver ou restaurer ? » est le point de départ d’une aventure invitant le lecteur à répondre à qu’est-ce qui oriente nos interventions en matière de conservation du patrimoine bâti. Sachant que ces positions rivales ont toutes une prétention à la vérité, cette thèse fait l’hypothèse d’une médiation entre les deux approches en clarifiant ses différentes interprétations. À partir d'un regard critique de la théorie de Cesare Brandi fondée sur la dialectique historique-artistique de l’œuvre d’art ainsi que d'une réflexion sur la nature fonctionnelle de l’œuvre architecturale, cette thèse démontre qu’il n’y a pas lieu a priori de donner une prédominance à l’une des deux options, ni à établir une échelle de valeurs prédéterminées, mais dévoile un dénominateur commun qui est le temps. Ce dernier ne se restreint pas au passé et au présent, mais implique la puissance destructrice du temps de la nature et le temps historique fondé sur un présent durable riche du passé et ouvert sur l'avenir. Les résultats de la recherche révèlent enfin un dialogue possible entre nos deux alternatives, en proposant une éthique disciplinaire axée sur la dialectique du temps. Savoir « quand conserver ou quand restaurer » demande la reconnaissance de ce que l’on retient de plus significatif à travers l’existence de l’œuvre. Situer cette signification dans un passé révolu désigne l’œuvre comme témoignage d’un temps passé, en lui reconnaissant sa fonction mémorielle ou remémorative ; d’où l’approche à prédominance conservative visant à faire reculer la puissance destructrice du temps de la nature et à préserver le témoignage matériel de la dégradation. Au contraire, situer cette signification dans un présent vivant, c’est reconnaître sa vocation identitaire destinée à la représentation d’une culture ; d’où l’approche à prédominance restaurative (ré-intégrative) fondée sur le temps historique, d’un présent durable riche du passé et ouvert sur l'avenir visant à en révéler le sens. En bref, en ce qui concerne tout le patrimoine bâti, on ne peut parler que d’une dialectique fondamentale issue de la nature même de ces œuvres, à interpréter sous leur fonction mémorielle et leur vocation identitaire. Par conséquent, conserver ou restaurer devraient être réinterprétés par préserver la mémoire ou révéler l’identité. Ainsi, la conservation et la restauration ne doivent plus être entendues comme deux options antagonistes, mais comme deux modalités d’interprétation au service de la médiation de l’œuvre architecturale à travers le temps.

Transformations thématiques et stylistiques dans les entrées solennelles de Charles Quint (1515-1541) : l'idée du triomphe, survivance ou re-naissance

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

L'idée de décolonisation dans la pensée et l'action de Pierre Bourgault

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Les monuments funéraires thraces : catalogue raisonné et analyse architecturale

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Le dépôt électronique pour les cours au Canada (une idée qui arrive à point nommé) : une réponse à un document de travail publié par la Cour suprême du Canada recommandant des stratégies pour choisir un FSDE

"Ce texte se veut une réflexion sur les points à considérer avant l'adoption d'un système de dépôt électronique accessible à toutes les cours du Canada. En prenant pour exemple l'expérience torontoise, l'auteur souligne une série d'éléments à considérer avant la mise en œuvre d'un tel processus, à savoir : La nécessité de tenir compte des coûts associés à la formation des avocats, des juges, ainsi que du personnel juridique; L'attachement au document "" papier "" et le manque d'unanimité quant à la valeur du document électronique; et L'impact négatif que peut avoir l'informatisation des données sur la vie privée des contribuables. L'auteur conclu en ventant l'aspect centralisé du projet de dépôt électronique proposé par la Cour suprême en soulignant toutefois qu'un tel projet devra nécessairement évaluer les besoins des utilisateurs du système afin d'en tenir compte lors de sa conception."

L'idée de liberté politique chez Spinoza

Chez Spinoza, la politique se construit essentiellement sur les bases de l'édifice de la liberté. En effet, la liberté se vit sous une forme institutionnelle, c'est-à-dire comme le dit Alain Billecoq, «à travers des lois qui garantissent sa stabilité et sa pérennité» (Billecoq, p. 132). Cela devrait donc exclure normalement toute éventualité de conflit entre les pouvoirs politiques et la liberté des individus. D’autant que l’État puise son fondement dans les droits et libertés qu’il se doit de garantir à ses citoyens. Autrement dit, on devrait supposer qu’il y a une certaine adéquation du pouvoir de l’État et de la liberté des individus. Or, ce n’est pas toujours le cas. Car de l’avis de certains, liberté et pouvoir de commandement ne sont pas tout à fait compatibles. Comment donc rendre possible une cohabitation de l’État comme organe de contrainte et de régulation, et de la liberté des individus, qui semble pourtant nécessaire? En passant par sa conception du droit naturel, de l’état de nature et de l’État, il sera démontré au terme de notre démarche que ce qui permet chez Spinoza la résolution de cette tension entre le pouvoir de l’État et la liberté des individus n’est rien d’autre que la démocratie.

Un jeu dont vous êtes le héros : « Entre idéal et réalité : en Jeu(x) éthique(s) de la recherche »

Commentaire / Commentary

Idée et réalité : sur la lecture pragmatique de Hegel, la certitude sensible et le mythe du donné

La visée de ce texte est d’introduire le lecteur francophone à l’interprétation pragmatique de Hegel essentiellement présente dans le monde anglo-saxon. L’intérêt grandissant au sein de la francophonie pour ce genre de lecture nous porte à questionner le sens même du qualificatif « pragmatique » qui la caractérise. Cette précision faite, nous nous attarderons à la figure de la certitude sensible dans la Phénoménologie de l’esprit en y soulignant les thèmes pragmatiques, notamment dans le cas de ce que Wilfrid Sellars aurait appelé une critique du mythe du donné.

gvSIG Mobile. Cliente GIS/IDE móvil

En la actualidad el proyecto gvSIG se encuentra en una etapa bastante avanzada. La aplicación ya posee múltiples funcionalidades que la convierten en una herramienta de referencia dentro del mundo de SIG, especialmente en ambientes opensource. En este momento, en que gvSIG es una aplicación consolidada sobre equipos de sobremesa, surge la necesidad de ampliar las plataformas de ejecución de gvSIG a una gama de dispositivos móviles, para dar respuesta a las necesidades de un creciente número de usuarios de soluciones móviles que desean hacer uso de un SIG en diferentes tipos de dispositivos. De esta manera el universo de gvSIG se verá ampliado al dotarlo de todas las ventajas de utilización en una amplia gama de dispositivos. Se va a describir el alcance previsto del proyecto gvSIG Mobile, la situación actual y una introducción tecnológica a las características del desarrollo de la aplicación sobre la plataforma J2ME

SIG e IDE del Cabildo Insular de la Palma: una propuesta tecnológica orientada al software libre

El Sistema de Información Geográfico Corporativo así como la implantación de la IDE Insular de La Palma se plantea como un proyecto a medio plazo, de progresión constante y orientada no sólo a la publicación de información siguiendo la directiva INSPIRE, sino también a la explotación de la propia IDE mediante herramientas SIG avanzadas como gvSIG. La IDE insular de La Palma pretende dar servicio tanto al propio Cabildo como a la administración local y al ciudadano. El proyecto se aborda en la medida de lo posible con tecnología libre, orientando la inversión a los servicios y prescindiendo, en la medida de lo posible, del consumo de licencias. El uso de tecnologías libres se amplia a todos los componentes de la Infraestructura, haciendo especial hincapié en el desarrollo de nuevas aplicaciones de escritorio orientadas a la explotación de la IDE por las distintas áreas del Cabildo. En Abril de 2007 hemos puesto en marcha dentro de la IDE Insular el servicio WMS, y en base a este, el Geoportal www.mapasdelapalma.es. Paralelamente nos hemos dado de alta en la IDE Española con el fin de hacernos participes en el desarrollo de la IDE nacional. Para finales de año tenemos previsto implementar los Metadatos, el Nomenclator y el Catálogo, y poner a disposición un servicio WCS Durante el proceso inicial de implantacion hemos instalado como software de gestión y análisis de la información geográfica insular gvSIG en todas nuestras dependencias que hacen uso de información geográfica (40 PC aprox.). Paralelamente hemos suscrito convenios de colaboaración con otras entidades locales y participamos activamente en la difusión de esta tecnología mediante la organización de Jornadas, cursos y seminarios. Todos los geoservicios ofertados están disponibles en www.siglapalma.es