DSL. Domain Specific Language. À l'aide des technologies Eclipse Modeling. Goulwen Le Fur Le 23 novembre 2012

Transcription

1 DSL Domain Specific Language À l'aide des technologies Eclipse Modeling Le 23 novembre 2012 Goulwen Le Fur

2 Le but de cette session Montrer : Ce qu'est-un DSL/DSM Comment implémenter des Domain-Specific Languages en utilisant le projet Eclipse Modeling Comment les intégrer au sein d'un environnement de développement

3 Agenda Qui suis-je où suis-je? Les DSL en général La création de DSL graphique La génération de code Conclusion

4 Goulwen Le Fur Architecte "Model Driven Expert" à Responsable Designer for IS Committer Forte implication dans le monde Open-Source (Travaux avec les SSLL, forte implication dans le projet Acceleo,...) Responsable du projet

5 Éditeur spécialiste des approches modèles Nantes en 2005, Paris depuis spécialistes MDE Activité 2009 : 2,5 M en croissance de 50% Société Française indépendante Investissement R&D à hauteur de 30% des revenus

6 Les DSL en général

7 DSL? : "In software development and domain engineering, a domain-specific language (DSL) is a programming language or specification language dedicated to a particular problem domain, a particular problem representation technique, and/or a particular solution technique." : "The concept isn't new special-purpose programming languages and all kinds of modeling/specification languages have always existed, but the term has become more popular due to the rise of domain-specific modeling (DSM)"

8 DSM? : "Domain-specific modeling (DSM) is a software engineering methodology for designing and developing systems, such as computer software. It involves systematic use of a graphical domainspecific language (DSL) to represent the various facets of a system."

9 Et Martin, il en pense quoi? An important and useful distinction I make is between: Internal DSLs are particular ways of using a host language to give the host language the feel of a particular language. (Ruby, Groovy, Scala...) And External DSLs have their own custom syntax and you write a full parser to process them. There is a very strong tradition of doing this in the Unix community. Many XML configurations have ended up as external DSLs, although XML's syntax is badly suited to this purpose.

10 En résumé Un Domain-Specific Language Est un language Interne ou Externe Peut-être Textuel ou Graphique Définit le vocabulaire d'un domaine de connaissance particulier : Par des mots Par des représentations graphiques Caractéristiques : simplicité, expressivité, explicite, ciblé, non ambigu

11 A quoi cela ressemble? Notation : Musicale : Rubik's cube Métier : Calcul de polices d'assurances Définition de règles métiers bancaires Techniques : SQL : SELECT * FROM STUDENTS WHERE ACCELEO_USER=1; CSS : body { background-color: #CCCCCC; } Regex : \b[a-z0-9._%+-]+@[a-z0-9.-]+\.[a-z]{2,4}\b... M E D O

12 Pourquoi créer un DSL? Pour : Partager une métaphore commune entre un expert du domaine et un informaticien ex: spécifications fonctionnelles,... Permettre à un expert du domaine de participer à la construction de la logique métier d'une application ex: BPM, BRMS,... Exposer une API en tant que DSL et interpréter ce DSL. Plus expressif que du XML. Ex: API de configuration,... Générer du code Java ou autres pour gagner en productivité

13 Quel type de DSL créer? DSL Interne : Facile à créer Exécutable via la langage hôte Pas vraiment de sémantique (uniquement du sucre syntaxique) Adhérent au langage hôte et limité par son expressivité Uniquement textuel Outillage IDE limité

14 Quel type de DSL créer? DSL Externe : Graphique (DSM) et/ou textuel Facile à créer à condition d'utiliser les bons outils : Xtext => textuel Designer => graphique Sémantique formelle Outillage IDE industriel

15 Comment Eclipse Modeling peut-il m'aider?

16 Un Eco-Système riche

17 Les DSL textuels

18 Un framework de développement de DSL textuel basé : La plateforme Eclipse EMF Eclipse Modeling Framework ANTLR

19 Chercher l'intention?

20 Une piste...

21 L'intention : Décrire l'entité métier JUG Un JUG possède un nom Un JUG est animé par un ou n JUG Leader Cette entité est persistante en base de données Conventions : Une entité persistante est identifiée par un ID technique Les identifiants techniques sont valués par une Séquence

22 Comment exprimer cette intention à l'aide d'un DSL textuel?

23 Définition de la syntaxe textuelle de notre DSL avec TMF - Xtext

24 Les DSL graphiques

25 Créer un DSL graphique : un DSM Un environnement dédié Paramétrage simples Diagrammes hyper-ergonomiques «Points de vue» pour l'analyse, l'architecte, Adaptable sur différents domaines Basé sur Eclipse GMF M E D O

26 Quelques exemples...

27 Exemples de modeleurs

28 Autres exemples d'utilisation

29 Représentations Mappings Liens entre les éléments du modèle et leur représentation visuelle Langage de requêtage pour spécifier les candidats et des conditions Outils Définition complète du comportement (création, suppression, édition, etc...) Utilisation d'un DSL pour modifier le modèle sémantique en réaction à une requête

30 Diagrammes Mappings Conteneurs, nœuds, nœuds en bordure et connexions Style graphiques : rectangle, losange, point, image, etc... Outils Reconnections, édition instantanée, navigation entre représentations, etc..

31 Diagrammes Paramétrage Exécution

32 Diagrammes Fonctionnalités avancées d'affichage conditionnel Calques : outils et éléments de diagramme Filtres : éléments de diagramme Pliage/Dépliage de branche sur les connections Gestion fine du layout Spécification par diagramme Possibilité de fixer la position pour un élément Ergonomie prise en compte Support natif du zoom Fenêtre popup pour la création d'élément

33 Tableaux Paramétrage Exécution

34 Pour aller encore plus loin : les points de vue Un point de vue est un ensemble de représentation associé à un sujet particulier Exemples La sécurité La gestion de la charge La documentation L'environnement va donc s'adapter à la tâche que l'utilisateur réalise sur le moment Il va pouvoir également s'adapter au type d'information que l'on recherche

35 Du DSM au point de vue! Le système à modéliser Le point de vue Analyse de performance Analyse d'exigences Fonction / Sous Fonction Hardware / Software DBA Urbaniste des services Les vues du Système Diagramme de blocs Diagramme de composants Diagramme de séquences Tableur, Matrice Les vues du système (les diagrammes)

36 Dans l'outillage Paramétrage Exécution

37 Comment utilisez ces modèles?

38 En Java?

39

40

41 Acceleo Génération de code : implémentation du standard OMG MOF to Text Language Licence EPL Maintenu par Un outil fait par des développeurs pour les développeurs! Pragmatisme (génération incrémentale, ) Outillage Eclipse (complétion, coloration syntaxique,...) M E D O

42 Des Questions?

43 Merci

44 Sources / Liens Wikipedia