Méthode pour la définition des langages dédiés basée sur le métamodèle ISO/IEC 24744

Kahlaoui, Abdelilah (2011). Méthode pour la définition des langages dédiés basée sur le métamodèle ISO/IEC 24744. Thèse de doctorat électronique, Montréal, École de technologie supérieure.

Prévisualisation	PDF Télécharger (2MB) | Prévisualisation
Prévisualisation	PDF Télécharger (1MB) | Prévisualisation

Résumé

Au cours des dernières années, il y a eu un intérêt croissant pour les langages dédiés (Domain Specific Languages (DSL)). Cet intérêt est motivé par l'émergence d'approches telles que l’ingénierie dirigée par les modèles, l’architecture dirigée par les modèles, les lignes de produits logiciels (SPL), les usines à logiciels et le développement dirigé par les modèles. Alors qu’au fond l'objectif de ces approches est d'élever le niveau d'abstraction du développement logiciel et d’augmenter le degré d’automatisation en utilisant des modèles de domaine précis et facilement exploitables par les machines, on constate que ces approches manquent de langages capables de produire de tels modèles et qu’elles sont toujours à la recherche de solutions pour mieux soutenir le développement selon ce nouveau paradigme. À cet égard, beaucoup de spécialistes considèrent les langages dédiés comme une solution capable d’aller au delà des modèles limités à la documentation et de produire des modèles précis prêts à être traités automatiquement par la machine.

Les langages dédiés ont démontré un grand potentiel pour augmenter la productivité, améliorer la maintenabilité, élever le niveau d'abstraction, et produire des modèles exécutables. Toutefois, le développement de langages dédiés fiables et intègres est une activité difficile et coûteuse qui demande à la fois une connaissance du domaine et des compétences en développement des langages. Ainsi, l’établissement d’une infrastructure rendant le développement de DSL plus facile et plus accessible constituera une étape importante vers la concrétisation et la consolidation des approches dirigées par les modèles.

Afin de développer cette infrastructure, nous pensons que les efforts doivent être axés sur trois domaines principaux : 1) les processus qui permettent d’offrir une approche disciplinée en matière de développement des DSL, 2) les outils pour soutenir le développement et la maintenance de ces DSL et 3) les standards pour assurer l’unification du développement et l’interopérabilité entre les outils.

Cette thèse est une contribution au domaine des processus. Nous y proposons une méthode de développement de DSL basée sur la norme ISO/IEC 24744 (Software Engineering-Metamodel for Development Methodologies - SEMDM). La méthode est générée à partir du métamodèle décrit dans la norme. Elle décrit, entre autres, les activités et les tâches à exécuter lors du développement d’un DSL, les artefacts à manipuler (créer, utiliser ou modifier) et les personnes impliquées. La méthode fournit également, lorsque possible, des techniques et des lignes directrices expliquant comment certains éléments de la méthode peuvent être utilisés.

Résumé traduit

In the last few years, there has been an increasing interest in Domain Specific Languages (DSL). This interest was triggered by the emergence of approaches such as Model Driven Engineering (MDE), Model Driven Architecture (MDA), software product lines (SPL), software factories and Model Driven Software Development (MDSD). While the goal of these approaches is, basically, to raise the level of abstraction in software development beyond code by using precise, domain-focused models that can be easily processed by computer-based tools, they are all suffering from the lack of languages capable of producing such models and are looking for better solutions to support software development according to this new paradigm. In this regard, a number of specialists believe domain specific languages to be an interesting solution for producing models intended for development purposes rather than just for documentation purposes.

Domain specific languages have been proven efficient in increasing productivity, improving maintainability, raising the level of abstraction, and producing concise models. However, the design of high fidelity domain specific languages with appropriate abstractions and concepts to model the domain at hand is a hard task that requires from developers both domain knowledge and language development skills. Therefore, providing facilities to make DSL development easier is a significant step toward concretizing domain and model driven approaches.

We believe that in order to develop useful facilities for DSL development, efforts need to be focused on three major areas: 1) processes to provide a disciplined approach for DSL development, 2) tools to support language development and maintenance and 3) standards to allow languages and tools to be designed and developed in a unified and interoperable way.

This thesis is a contribution to the process area. It proposes a method for developing DSL based on the ISO/IEC 24744 metamodel (Software Engineering-Metamodel for Development Methodologies - SEMDM). It describes, among others, the activities and tasks to be executed during a DSL development project along with the artifacts to be manipulated (created, used or modified) and the people involved. It also provides, when possible, techniques and guidelines explaining how some method elements can be used.

Type de document:	Mémoire ou thèse (Thèse de doctorat électronique)
Renseignements supplémentaires:	"Thèse présentée à l'École de technologie supérieure comme exigence partielle à l'obtention d'un doctorat en génie" Bibliogr. : f. [225]-236.
Mots-clés libres:	Logiciels Développement. Automatisation. 24744,Dédié, Développement, Dirigé, DSL, IEC, Ingénierie, ISO, ISO/IEC, Langage, Machine, Métamodèle, Modèle, Norme
Directeur de mémoire/thèse:	Directeur de mémoire/thèse Abran, Alain
Programme:	Doctorat en génie > Génie
Date de dépôt:	19 juill. 2011 20:36
Dernière modification:	23 févr. 2017 20:49
URI:	https://espace.etsmtl.ca/id/eprint/887

Gestion Actions (Identification requise)

Dernière vérification avant le dépôt