1 / 15

Extension d'xADL2.0 à l'expression du comportement

Extension d'xADL2.0 à l'expression du comportement. Christophe Mareschal mareschal@cert.fr. C.Mareschal Jounées FAC 2004. ENSAE 10 Avenue Edouard Belin , BP 4032 31055 Toulouse cedex 4. Objectif. Objectif : Assister les tâches de réalisation de systèmes complexes

sissy
Télécharger la présentation

Extension d'xADL2.0 à l'expression du comportement

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Extension d'xADL2.0 à l'expression du comportement Christophe Mareschal mareschal@cert.fr C.Mareschal Jounées FAC 2004 ENSAE 10 Avenue Edouard Belin , BP 4032 31055 Toulouse cedex 4

  2. Objectif • Objectif : Assister les tâches de réalisation de systèmes complexes • permettre une modélisation de niveau architectural • coordonner des points de vues différents • relier les outils support de production et de validation • Problème : • Multiplicité des outils et des langages qui entourent le développement des systèmes • Séparation des outils de validation et de conception • Rigidité des couples formalisme/outils support • Difficulté à évoluer (dépendances) • Difficulté à coopérer (incompatibilité)

  3. Les langages • "ADL" : Les langages de description d'achitecture • "XML" : La gestion des langages et la manipulation des descriptions • "xADL2.0" : Un ADL extensible • "AltaRica" : L'expression du comportement, l'analyse de la SdF • "xAltarica" : Le codage d'AltaRica en XML • "xADL2.0*" : Extension d'xADL2.0 à l'expression du comportement

  4. ADL • Composant • Interface du composant • Connecteur • Configuration Généralités • ADL • Point de vue "architectural" fondé sur 4 éléments de modélisation de base • Eléments additionnels pour les autres points de vues • Conception, analyse, conversion, assemblage, génération de code, déploiement, contrôle et gestion de configuration ... • XML • Méta description (spécification des langages) • Description hiérarchique (structure arborescente) • Description hypertexte (liens) • Analyse syntaxique (lecture, écriture, validation syntaxique) • Transformation syntaxique • Interrogation (requête) • Implémentation orientée objet du langage (XML Data binding)

  5. xArch Instance xADL2.0 Structure & Types Options Variants Versions Implementation • Modélisation • ADL : Composant, connecteur, interface, configuration, typage et composition • XML : Collection de schémas XML • Structure Statique : xArch Instance, Structure & Types • Variabilité architecturale : Options, Variantes, Versions • Implémentation : Abstact Implementation,Java Implementation • Outils • Spécification des schémas : XML Spy, ou autre • Génération de classes et d'interfaces java directement dérivées des schémas : Apigen • Environnement d'édition de description et d'instanciation : Archstudio 3 • Gestion de configuration, architecture de famille de produits : Menage

  6. AltaRica • node switch • state on : bool ; • flow in, out : bool ; • event pusch ; • trans true |- pusch -> on := not on ; • assert on => (out = in) ; • out => on ; • init on := false; • edon switch in outr pusch on • Modélisation : Comportement • Automates à contraintes : • flows, states, events, transition, assert • Description hiérarchique : • node, sub, synchronisation, assert • Outils : Analyse de sureté de fonctionnement • Génération d'arbre de défaillance • Génération de séquences • Model-checking • Simulation • Génération de modèle "bas niveau" : Chaine de Markov, Réseau de Pétri • Analyse temps réel (version Timed Altarica)

  7. xAltarica xArch Instance utils altarica • Favoriser la comparaison avec xADL • Accéder aux outils XML • Trois schémas • utils : expressions mathématiques • altarica: méta-modèle AltaRica (automates et composition) • timedAltarica : extension temporisée • + utilisation d'xArch ( XMLLink , identifier, description, direction ) • Modifications par rapport à AltaRica légères, uniquement syntaxiques • Distinction comportement / composition hiérarchique • Node devient Component timedAltarica

  8. xADL2.0* xArch Instance Structure + Types Option Variant Version Implementation • Le schéma behavior.xsd utils • ComponentTypeBeh extends type : Componentype • type : Signature • SubArchitectureBeh extends type:Subarchitecture • instance : # ArchStructure • type : SignatureInterfaceMapping • altarica : Sync • Behavior • altarica : States • altarica : Events • altarica : Trans • altarica : Assert altarica behavior

  9. L'outillage • Adaptation des outils • Coordination des outils

  10. Adaptation des outils environnement XML DB_Compilateur Shémas DataBinding_Lib • Schémas : extension • DataBinding library : recompilation • Processeurs XML : pas d'adaptation à faire • API's "syntax directed" : peuvent s'adapter automatiquement en fonction de la syntaxe • Autres API's : à adapter XML Parser DB_RunTime Description XML DOM ADT IHM IHM Traitements Traitements

  11. Adaptation d'ArchStudio 3 xmlSpy Apigen xADL2.0* • Les nouvelles extensions ont été compilées avec Apigen pour mettre à jour xarchlibs • Le composant ArchEdit s'est automatiquement adapté : • menus contextuels avec les nouveau items • champs de saisies correspondants • L'ajout de nouveaux composants est facilité • par l'implémentation xarchlibs • par l'architecture d'archstudio 3 prévue pour accueillir facilement des nouveau composants xarchlibs* xArchADT ADT* ? ArchEdit* Archstudio 3

  12. AB Coordination des outils Outils A Outils B Description AB • Partager le même "super format" • Produire en sortie plusieurs formats ou accepter en entrée plusieurs formats • Transformer les descriptions avec XSLT A B Outils A Outils B Description A Description B Outils A A B Outils B A to B Description A Description B Processeur XSLT

  13. Coordination des outils ADL2.0* et AltaRica • Feuille de styles • xADL2.0 to xAltarica (XML to XML) • xAltarica to Altarica (XML to TEXT) • Tranformation XSLT Outils AltaRica: ocas, altaTools, ToolBox,…. Archstudio 3 xADL2.0* xAltarica xADL2.0* to xAltarica xAltarica to AltaRica Description xADL2.0* Description xAltarica Description Altarica Processeur XSLT

  14. Conclusion • Superlangage • Extensible : adjonction de point de vues. • Modulaire : encapsulation des sous langages, utilisation sélective. • Hiérarchisé : du générique au spécifique • Adaptation des outils • API génériques : parsers, compilateurs • Data Binding Library : recompilation • API "syntax directed": adaptation automatique • Autres API : manipulation de la représentation en mémoire "DOM" ou "ADT" • Coordination des outils • Description unique, multiples utilisations • Descriptions multiples + traductions, multiples utilisations • Perspectives • Intégrer d'autres vues à xADL2.0 • Développer une infrastructure de coordination • Développer un environnement qui intègre conception et analyse

  15. xADL2.0 :http://www.isr.uci.edu/projects/xarchuci/index.html • Archstudio 3 :http://www.isr.uci.edu/projects/archstudio/index.html • AltaRica :http://altarica.labri.fr/ • xAltarica :http://www.cert.fr/francais/deri/mareschal/altarica/xaltarica.html • Merci ...

More Related