Journée de travail du groupe RIMEL du GdR GPL. Nîmes, le 17 Décembre 2012

Dimension: px
Commencer à balayer dès la page:

Download "Journée de travail du groupe RIMEL du GdR GPL. Nîmes, le 17 Décembre 2012"

Transcription

1 Journée de travail du groupe RIMEL du GdR GPL Nîmes, le 17 Décembre 2012 crédit photo : François Richard Organisation!: Christelle Urtado, Sylvain Vauttier Salah Sadou, Chouki Tibermacine Journée organisée avec le soutien du GdR GPL, du LIRMM et de l'ecole des Mines d'alès.

2

3 Sommaire Session 1 : Architectures, DSL & Evolution Petr Spacek, Christophe Dony and Chouki Tibermacine A metamodel for a reflexive Component-oriented programming and modeling language Page 1 Thanh-Liem Phan, Anne-Lise Courbis et Thomas Lambolais Développement incrémental d architectures intégrant la substitution de composants Page 2 Minh Tu Ton That, Salah Sadou and Flavio Oquendo Supporting architectural pattern language using structural properties Page 13 Session 2 : Lignes de produits & Evolution Ra'fat Al-Msie deen, Abdelhak Djamel Seriai, Marianne Huchard, Christelle Urtado, Sylvain Vauttier and Hamzeh Eyal Salman Mining Feature From a Collection of Software Product Variants Page 17 Mireille Blay-Fornarino, Philippe Collet, Sébastien Mosser, Simon Urli et Philippe Renevier Using composite feature models to support agile SPL evolution Page 18 Hamzeh Eyal-Salman, Abdelhak-Djamel Seriai, Christophe Dony and Ra fat Al-msie deen Identifying Traceability between Feature Model and Source Code in a Collection of Product Variants Page 19 Session 3 : Services & Evolution Hervé Verjus et Frédéric Pourraz Ongoing Work and Perspectives on Evolvable Service-Based Applications Page 20 Guillaume Grondin, Matthieu Faure, Christelle Urtado and Sylvain Vauttier Mission-oriented autonomic configuration of pervasive systems Page 21 Session 4 : Analyse de code & Evolution Xavier Blanc, Jean-Rémy Falleri, Mathieu Foucault, Amine Ra ji et Cédric Teyton Harmony: The Ultimate Software Repository Mining Tool Page 25 Page i

4 Simon Allier, Nicolas Anquetil, André Hora and Stéphane Ducasse A Framework to Compare Alert Ranking Algorithms Page 28 Session 5 : Ingénierie et rétro-ingénierie dirigée par les modèles & Evolution Mahmoud El Hamlaoui, Sophie Ebersold, Adil Anwar, Bernard Coulette et Mahmoud Nassar Maintien de la cohérence de modèles hétérogènes par synchronisation des changements Page 33 Olivier Le Goaer Introduction à l'approche ADM - Modernisation du patrimoine logiciel par les modèles Page 37 Ha jer Saada, Xavier Dolques, Marianne Huchard, Clémentine Nebut and Houari Sahraoui Generation of Operational Transformation Rules from Examples of Model Transformations Page 38 Page ii

5 !"#$%&!"#$%&#'($)"*'+"&"+$*)$,-.$"/'#0'1$1%2'+-$1%$("0+'3+&##-13"&1("#'($)-13")&134&3$ ' ()#*+,-& 5$%+"60&7$8.'/*,"-#+0*%'1+23.'/*+)4"'!"5%,678"2% ' (99"$"7#"+2& EFE',)%'(G7' HIJKL'=+2#0%$$"%,'/%G%M'L'>'N,728% ' 6+G)$7,"#3'+,'%M#%2-"5"$"#3'7,%'5%8+6"2Q'-3-#%6'G%-"Q2'0,"28"0$%-P';60$%6%2#7#"+2-'6)-#'#74%'"2#+' 8+2-"G%,7#"+2'9)#),%'Q,+O#*'72G',%978#+,"2Q'+9'-+9#O7,%P'R"#*'O%$$'G%9"2%G'%M#%,27$'8+2#,78#-'72G'%M0$"8"#' +9'8+60$%M'-+9#O7,%'-3-#%6-'SDT30%,-4"U (2'7,8*"#%8#),%'+,Q72"T%-'7'-+9#O7,%'-3-#%6'7-'7'8+$$%8#"+2'+9'8+60+2%2#-.'8+22%8#"+2-'5%#O%%2'#*%' G%-"Q2-.'0,+Q,76-')2G%,-#72G"2Q.'72G'9+,67$'727$3-"-P %2*728"2Q'0,"67,3'6+G%$-'"2#+'9"27$'-+9#O7,%'0,+G)8#-P 1%-8,"5"2Q'7,8*"#%8#),%'"2'7'9+,67$'7,8*"#%8#),%'G%-8,"0#"+2'$72Q)7Q%'W(1:X'872'7"G'"2'#*%' =+,%.'O"#*'72'7,8*"#%8#),%'-%07,7#%G'9,+6'72'"60$%6%2#7#"+2.'#*%,%'"-'2+')2"9"%G'-"60$%'O73'*+O' #+'G%-"Q2'72G'%M%8)#%'6+G%$>#+>6+G%$'W=B=X'#,72-9+,67#"+2-P'!,72-9+,67#"+2-'*7-'#+'5%'G%-8,"5%G'"2' G"99%,%2#'$72Q)7Q%-P'!*"-'674%-'"#'G"99"8)$#'#+'700$3'7'#,72-9+,67#"+2'+2'7'6+G%$'"2'7'-#,7"Q*#9+,O7,G'O73P #+'2+#'+2$3'G%-"Q2'72G'"60$%6%2#'7'6+G%$.'5)#'7$-+'#+'-)00+,#'#,72-9+,67#"+2-'9,+6'7'0,"67,3'-+9#O7,%' 6+G%$'#+'7'9"27$'-+$)#"+2P )-%,-'#+',%7-+2'75+)#'7,8*"#%8#),%-.'#+'0%,9+,6'6+G%$'#,72-9+,67#"+2-.'#+'%M76"2%'72G'6+G"93'#*%' ' +9'+2%'$72Q)7Q%P ] O*"8*'*7-'2+#'5%%2'%M0$+,%G'3%#'"2'#*%'8+2#%M#'+9'8+60+2%2#>57-%G'$72Q)7Q%-P ' ' ' ' ' Page 1

6 Développement incrémental d architectures intégrant la substitution de composants Thanh-Liem Phan, Anne-Lise Courbis, Thomas Lambolais Centre LGI2P, Ecole des mines d Alès Site EERIE, Parc Scientifique Georges Besse, Nimes Cedex 1 France Résumé. Nous nous intéressons à la substituabilité de composants qui est une propriété essentielle utilisée en particulier pour le développement incrémental d architectures. Le problème de la substituabilité consiste à vérifier la possibilité de remplacer un composant par un autre en termes de comportements. Les systèmes à analyser sont modélisés en UML par des assemblages de composants dont les comportements sont définis par des machines d états. Nous examinons la substitution d un composant en étudiant sous quelles conditions il est possible de substituer un composant par un autre tout en garantissant le raffinement d une architecture. Keywords : substituabilité, UML, LTS, machine d états, structure composite. 1 Introduction Nous nous intéressons aux démarches développement par raffinements, qui sont vues comme le passage d une spécification à l implémentation tout en préservant la correction de propriétés validées par les spécifications intermédiaires. Dans un travail précédent [10], Luong et al ont traité le raffinement d un composant, qui consiste à réduire l indéterminisme et la partialité, et préserve des propriétés comportementales. De la même manière, le raffinement d une architecture consiste à ajouter de nouveaux composants ou à substituer un composant existant et assurer que l architecture obtenue est conforme à l architecture de référence. Dans ce travail, nous nous focalisons sur la substitution de composants. Nous nous intéressons à la substituabilité «sémantique», qui consiste à vérifier la possibilité de remplacer un composant par un autre en termes de comportements. Afin d assurer que la substitution d un composant ne cause pas de risques pour l architecture de systèmes, l analyse d informations statiques (les interfaces avec les contrats) du composant n est pas suffisante. Ceci ne prévient pas tous les risques de blocage et de refus. Nous devons considérer non seulement les interfaces du composant mais aussi son comportement. Les systèmes étudiés sont représentés par des structures composites UML qui définissent l assemblage de composants dont les comportements sont modélisés par des machines d états UML. Bien qu UML ait une syntaxe bien définie, sa sémantique n est pas formelle. Nous décidons d utiliser le langage LOTOS [7] comme une description formelle pour analyser les modèles. Grâce à la sémantique de LOTOS donnée Page 2

7 sur des LTS (Labelled Transition Systems), il est possible de générer un seul LTS pour une architecture UML. Le langage LOTOS repose sur une algèbre de processus munie d opérateurs de composition parallèle et de masquage, ce qui permet de décrire des architectures,... Parmi ces opérateurs, les deux contextes les plus importants pour la construction d'architectures sont l opérateur de masquage et l opérateur de composition parallèle [9]. L opérateur de masquage nous permet de réduire la complexité en ne regardant que les actions nécessaires (par exemple, les actions de l'interface publique). L opérateur de masquage est une source de live-locks (ou divergences) [15] (par exemple, un boucle infinie d actions internes), et il existe deux classes de pensée : i) tous les live-locks sont dangereux ; et ii) certains live-locks sont inoffensifs. Deux représentants de la première classe sont la sémantique de CSP [5, 17] et les pré-ordres de la théorie de test de De Nicola et Hennessy (! "#$%,&! "'(,&! %)$% ) [14]. Dans ces approches, tout comportement après un live-lock est ignoré. La deuxième approche incorpore l hypothèse d équité, dans laquelle les live-locks ne sont pas toujours considérés comme catastrophiques. Elle distingue les live-locks critiques dont on ne peut pas sortir et non-critiques dont on peut sortir. La congruence observationnelle (!) de Milner [12] et les relations de conformité (conf, red, ext, te) [9] appartiennent à cette classe. Regardons l exemple de la Fig. 1. L étiquette i représente l action interne, incontrôlable. P et Q ne sont pas comparables sous l équivalence de must qui identifie un live-lock dans l état 1. Cependant, sous l hypothèse d équité P et Q sont en congruence observationnelle (le live-lock dans l état 1 n est pas critique). Q * "#$% P mais Q! P Fig. 1. P et Q sont similaires sous l hypothèse d équité. Dans notre contexte, nous choisissons l interprétation des live-locks comme dans la congruence observationnelle, qui fait une hypothèse d équité forte disant que «quand une action est infiniment souvent offerte, elle sera finalement choisie». Les problèmes à résoudre pour pouvoir conduire des développements incrémentaux d architectures de composants UML sont alors les suivants : donner une sémantique opérationnelle aux machines d états UML, aux composants et aux architectures UML (section 2.2) ; assurer la substitution lorsqu on remplace un composant par un composant qui le raffine (section 2.3). Page 3

8 2 Méthode Avant résoudre les problèmes ci-dessus, nous rappelons les notations nécessaires des relations de comparaison. 2.1 Préliminaire Généralement, une bonne stratégie pour faire des vérifications est l utilisation de pré-ordres et équivalences. Les trois relations les plus fortes sont la bi-simulation branchée, la bi-simulation de retard, et la congruence observationnelle [4]. En pratique, la puissance des bi-simulations est indésirable dans quelques cas [16] (par exemple, cf. Fig. 2 : le changement de non-déterminisme). Avant de présenter les relations de comparaison, nous donnons la définition de LTS et les notations de traces et refus. Définition 1. Systèmes de transitions étiquetées (LTS) Soit!"# $ % & '() l ensemble de toutes les actions, où % est l ensemble des actions observables, et ( est l action interne. Soit * un ensemble de noms d états. Un LTS +,-!-.- /0 est un quadruplet formé : o d un ensemble non vide, 1 * d états ; o d un ensemble! 1!"# de nom d actions,! $ 2 & '(), où 2 1 % est l ensemble des actions visibles du LTS ; o d une relation de transition.1, 3! 3,4; o d un état initial / 5, Nous définissons : / :;;;< / = / A B / $ / :< / A / :;;;< >?/ = B/ :;;;< / = / D/ C = > / $ / = 4EF4/ G8G :< / = / 6 D/ = -/ H B/ C 6./H C D/ = / IJJJK / = / A B 4/ IK / A / D/ L = >?/ = B/ IJJJK / = / L D>?/ = B/ L D/ = Page 4

9 Fig. 2. Congruence observationnelle (!" ne supporte pas le changement de nondéterminisme. On a : #! $ La congruence observationnelle est trop forte comme indiqué dans Fig. 2. Nous cherchons des pré-ordres/équivalences qui sont moins. Nous commençons par les relations de conformité (conf, red, ext) qui ont été formalisées par Brinksma et Leduc [3, 9] sur des LTSs. Elles traduisent l idée du test de conformité dont la méthodologie a été définie par l ISO 9646 [6]. Elles vérifient si la version courante du modèle architectural est en accord avec la version précédente. Cette comparaison se fait par une relation de conformité. Plusieurs relations de conformité sont utilisables. Définition 2. Ensemble d acceptance [9] : %&&'() *" +, + -.+/+0( 1 2 '() *" '( 1 )8"9 Où : '() *" +, + -( 1 +/+( ;( : '() *" +, + < = > 2'=):" 567'( 1 " 567'(" +, + -? B9 A Définition 3. Conformité [9] : C+DEFG+(++HI++J* 2 KL'("M++%&&'C) *" NN %&&'() O"+ Où: % NN P++HI++JQ 2 %M 0Q 1 2 PM Q 1 RQ Définition 4. Réduction [9] : C+STU+(++HI++KL'C" R KL'(" +V +C+DEFG+( Définition 5. Extension [9] : C+TWX+(++HI++KL'C" Y KL'(" +V +C+DEFG+( Définition 6. Conformité restrictive [9] : C+DEFGSTZXS+(++HI+-L/L+DEFG+C9 R -L/L+DEFG+(9+ La relation de conformité (conf) n est pas transitive, alors elle n est pas appropriée pour le raffinement. Les trois relations red, ext, et confrestr sont transitives et réflexives, mais elles ne sont pas congruentes. Nous prenons un exemple pour montrer la limit du pré-ordre red. Dans Fig. 3 (a), nous avons bien que I red S, c est-à-dire I ne contient pas de blocages imprévus. Mais si nous masquons l action a dans les deux processus, nous n avons pas la même con- Page 5

10 clusion sur les deux processus dérivatifs I not red S où I = (I hide a) et S = (S hide a).! "!#$%&'#( "#$%&'#( # "! $ # "! & $ % (a)!"#$%"s (b) &!"'()*"+,"-./"#$%"(S hide a) Fig. 3. red n est pas congruence dans le contexte de masquage. Comme montré dans [9], #$%, $0/ ne sont pas pré-congruents et bien qu on utilise leur équivalence, les relations obtenues ne sont pas congruentes dans le contexte de masquage. Définition 7. Équivalence de test [9] : 1"/$"2" 3 "1"#$%"2" 4 ""2"#$%"1" 3 "1"$0/"2" 4 ""2"$0/"1 # "! # # "! & # % ( * " " # $ $ $ # )! %! $ & $ & ' % a) 5"/$"6 b) &5"'()*"+,"-./"/$"&6"'()*"+, Fig. 4. Équivalence de test n est pas congruente dans le contexte de masquage Dans Fig. 4, P et Q sont en équivalence de test, mais pas après le masquage de l action a. Alors, nous cherchons la plus grande relation plus forte que la conformité, qui soit une congruence pour les opérateurs de composition parallèle et de masquage et reste sur l hypothèse d équité. Ensuite, nous présentons l architecture UML et sa sémantique. 2.2 Sémantique opérationnelle des architectures UML Dans un travail précédent [9], nous avons défini la sémantique des composants par la transformation de machines d états UML en systèmes de transitions étiquetées. Dans le cas d une architecture, les compositions entre composants sont données sur l algèbre de processus LOTOS. En LOTOS, les communications correspondent à des rendez-vous synchrones. Pour des communications asynchrones, il est nécessaire de Page 6

11 définir explicitement des processus représentant des files d attente. Nous avons ainsi défini une transformation des structures composites UML en spécifications Exp.Open [8]. Grâce à la sémantique de LOTOS donnée sur des LTS, il est alors possible de générer un seul LTS pour l ensemble du comportement d une architecture UML (cf. Fig. 5). Ceci nous permet d analyser le comportement global de l architecture initiale, dans le but d y vérifier l absence de blocage. Fig. 5. Transformation d architectures UML en LTS Notons que ceci n est possible en pratique que sur des architectures de taille raisonnable. C est pourquoi nous pouvons, soit appliquer cette technique sur les premières étapes, soit comparer une version à la précédente en n analysant que les parties modifiées. 2.3 Substitution d un composant par un composant qui le raffine Supposons que l on souhaite remplacer un composant C2 dans une architecture A1 par un composant C2, de façon à obtenir une nouvelle architecture A2 (cf. Fig. 6). Si C2 est un raffinement de C1, alors A2 n est pas nécessairement un raffinement de A1. La relation de raffinement n est pas congruente ou en d autres termes elle n assure pas la substituabilité. Il en est de même pour l ensemble des relations de conformité présentées plus haut. Page 7

12 Fig. 6. La substitution de composant C2 par C2 Dans notre travail, les risques mis en évidence dans les architectures sont ceux de possibilité de refus. Un refus correspond au fait que le système ne répondra pas à certains des stimuli auxquels il devait répondre. À l extrême, si le modèle refuse tout stimulus, ceci conduit à l un des deux cas suivants : blocage ou live-lock critique. Un live-lock est critique s il est impossible d en sortir. Parce que nous sommes sous l hypothèse d équité, un live-lock non-critique n est pas dangereux. Trouver la plus grande relation plus forte que l équivalence de test (te), qui soit une congruence pour les opérateurs de composition parallèle et de masquage est resté un problème ouvert pendant de nombreuses années [2]. Le pré-ordre should a été proposé en même temps par Brinksma et al [2] et Natarajan et Cleaveland [13] pour répondre à ce problème. Cependant, [2] et [13] n ont pas identifié d algorithme. Il a fallu attendre la présence du article [16]. La décidabilité de should est basée sur la décidabilité du pré-ordre de futur impossible. Nous présentons premièrement la définition du pré-ordre de futur impossible et puis le pré-ordre de should ci-après : Définition 8. L ensemble d arbre d échecs d un LTS p (notée!" ) [16] #$%& '( )$*+,& -.$%& /0$1& $8& :, ( ;< =#$%& '( )$*+,& -.$%& /0$1 > & $8& :, ( ;< Où.$%& '( )* - 1? 2324$ &< Le futur impossible d un processus IF(p) est déterminé en ajoutant l information de comportement infini. En fait, l ensemble d actions de refus dans les échecs F est remplacé par l ensemble de mots de refus dans les arbres d échecs IF. Définition 9. Pré-ordre et Équivalence de futur impossible. AB 2528C2=#$%& D =#$5& %( AB AB AB 2%2 Page 8

13 Pour montrer l avantage d IF, nous revenons sur l exemple de la Fig. 3. On peut distinguer I de S avec IF mais pas avec red. On a bien que (a *, a * b)! IF(I) \ IF(S). C est-à-dire, I peut refuser {a * b} après la trace a * mais pas avec S. Alors IF(I)! IF(S)! " # $ %& #. Regardons le processus B dans la Fig. 7. On a l ensemble {(",{b,c,d}) ; (a,{a,c,d}) ;(ab,{a,b,d}) ;(ab,{a,b,c})} appartient à F(B), et IF(B) contient l ensemble {(",{abc,abd}) ; (a,{bc, bd}) ; (ab,{c,d})}. (a,{bc})! IF(B) mais (a,{bc}) # IF(C)! B $ %& C! B ( %& C (a,{bc})! IF(B) et on peut trouver (ab,{c})! IF(C): (a,{bc}) ) (ab,{c})! B * +, - C et C * +, - B Fig. 7. B et C sont en équivalence de should mais pas équivalence de futur impossible *. / distingue le moment du choix de processus, alors il est encore plus fort que * +, -. Il faut enlever l information du moment du choix par la fermeture vers le bas downward closure) de paires d échecs d IF. En conséquence, le pré-ordre de should est calculé à base de la fermeture vers le bas d ensemble de futur impossible, notée DCIF. Définition 10. La fermeture vers le bas d ensemble IF, noté DCIF 0 1" : ; 5 < =345 A 5#B#C39 D : E 5 < "2345F G39: ; 5H 39: ; 5 ) 39 D : E 5I Où : 39: ; 5 ) 39 D : E 5 J GK < 8LI MN ; H 9 D 7 9K O K PQ ; 7 E La fermeture préfixe de V, notée N ; R #B#G9! < ; H 9# S # 9! I La relation préfixe, notée S #: T S T D #ssi le mot T D commence par le mot T. Définition 11. Pré-ordre/ Équivalence de Should (notée * UVW et 7 UVW ) [16] 4 * +, - X#YZ##0 1"2345 # [ 0 1"23X5 4# 7 +, - #X##YZ##4# * +, - #X# \ ]#X# * +, - #4# ^ 0 1" "23X5# Dans la Fig. 7, nous avons (a,{bc}) # IF(C), mais (a,{bc})! DCIF(B) et DCIF(C). En conséquence DCIF(B) = DCIF(C), c est-à-dire _ # 7 +, - #1. Revenons sur l exemple de la Fig. 4, nous avons ( UVW? car? * +, - # O # $ +, - 4. C est-à-dire, l équivalence de should peut distinguer les deux processus P et Q avant de les mettre dans l architecture. En fait, Q contient un live-lock critique tandis que P ne contient qu un live-lock non-critique, nous pouvons remplacer P par Q mais pas l inverse. Page 9

14 Pour montrer l avantage de pré-ordre de should, nous considérons l exemple suivant dû à Bergstra et al [1]. Dans la Fig. 8, nous ne pouvons pas distinguer les deux processus B1 et B2 avec te. Si nous masquons l action a dans B1 et B2, les deux processus dérivatifs B1! et B2! sont en équivalence de test. Cependant, B1 et B2 peuvent être classifiés grâce à l équivalence de should. En fait, (!, aa*b)"if(b2)! (!, aa*b)"dcif(b2) mais {(!,aa*b),(a,a*b), (aa*,b)}#if(b1)! (!,aa*b)#dcif(b1), alors B2! "#$ B1. Dans le contexte de masquage, (!,{b,c})"if(b2! )! (!,{b,c})" DCIF(B2! ) mais (!,{b,c})#if(b1!)! (!,{b,c})#dcif(b1!), donc B2!"! "#$ "B1!# Fig. 8. % &'( est congruent dans le contexte de masquage Nous avons analysé quatre relations : la congruence observationnelle ($), l équivalence de futur impossible (= IF ), l équivalence should (= shd ), et l équivalence de test (te). Dans la Fig. 9, $ % = IF % = shd % te. 3 2 te = shd )* (V, W) dans Fig. 2 : V = IF W mais V + W 2 (B, C) dans Fig. 7 : B = shd C mais B & IF C 1 = IF $ 3 (B1, B2) dans Fig. 8 : B1 = te B2 mais B1 & shd B2 Fig. 9. Représentation des relations de comparaison du point de vue ensembliste 2.4 Synthèse du pré-ordre de should Nous présentons les avantages de la relation de should : Page 10

15 Elle supporte le changement de non-déterministe (qui n existe pas dans la congruence observationnelle) et le changement de moment du choix (qui n existe pas dans le pré-ordre de futur impossible). Elle distingue la boucle critique de la boucle non-critique grâce à l hypothèse d équité. Ceci nous permet d éviter d avoir une mauvaise implémentation à partir d une bonne spécification (cf. l exemple dans Fig. 8). Elle est congruente pour l opérateur de masquage et de composition parallèles. Ceci nous permet construire le système de manière compositionnelle. 3 Conclusion Nous avons analysé plusieurs relations pour trouver le bon candidat (qui reste sur l hypothèse d équité et est approprié pour deux contextes au-dessus) pour la substituabilité de composants. Le pré-ordre de should est la réponse à notre problème. Nous avons implémenté le pré-ordre/équivalence de should et de futur impossible dans notre outil IDCM [11] à base de l algorithme abstrait de Rensink. Nous avons transformé l architecture UML en EXP.OPEN de façon à savoir générer des LTS à partir d architectures. Cette traduction vers une algèbre de processus présente aussi l avantage de permettre des vérifications incrémentales, à condition que les pré-ordres de vérification choisis soient monotones pour les opérateurs algébriques. C est le cas du pré-ordre should qui est congruent pour tous les opérateurs sauf le choix, donc pour les opérateurs architecturaux. Bibliographies 1. Bergstra, J.A. et al.: Failures without chaos: A new process semantics for fair abstraction. Formal description of programming concepts III. pp (1987). 2. Brinksma, E. et al.: Fair Testing. In: Smolka, S. (ed.) CONCUR 95: Concurrency Theory. pp Springer-Verlag, Philadelphia, PA (1995). 3. Brinksma, E., Scollo, G.: Formal Notions of Implementation and Conformance in LOTOS. Twente University of Technology, Department of Informatics, Enschede (1986). 4. Van Glabbeek, R.J., Glabbeek, R. van: The linear time Branching time spectrum II (1993). 5. Hoare, C.A.. R.: Communicating sequential processes. Communications of the ACM. 21, 8, (1985). 6. International Organization for Standardization: ISO 9646: Conformance Testing Methodology and Framework. (1991). Page 11

16 7. ISO: ISO 8807:1989 Information processing systems -- Open Systems Interconnection -- LOTOS -- A formal description technique based on the temporal ordering of observational behaviour, (1989). 8. Lang, F.: Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-the-fly Verification Methods. In: Judi, R. et al. (eds.) Proceedings of the 5th International Conference on Integrated Formal Methods IFM Springer, Eindhoven (2005). 9. Leduc, G.: A framework based on implementation relations for implementing LOTOS specifications. Computer Networks and ISDN Systems. 25, 1, (1992). 10. Luong, H.-V.: Construction Incrémentale de Spécifications de Systèmes Critiques intégrant des Procédures de Vérification. Université Paul Sabatier Toulouse III (2010). 11. Luong, H.-V. et al.: IDCM:un outil d analyse de composants et d'architectures dédié à la construction incrémentale. 11èmes Journées Francophones sur les Approches Formelles dans l Assistance au Développement de Logiciels. pp (2012). 12. Milner, R.: Communication and concurrency. Prentice-Hall, Inc., Upper Saddle River, NJ, USA (1989). 13. Natarajan, V., Cleaveland, R.: Divergence and Fair Testing. In: Fülöp, Z. and Gécseg, F. (eds.) Automata, Languages and Programming. pp Springer Berlin / Heidelberg (1995). 14. Nicola, R. De, Hennessy, M.: Testing Equivalence for Processes. Proceedings of the 10th Colloquium on Automata, Languages and Programming. pp (1983). 15. Ouaknine, J. et al.: Static livelock analysis in CSP (2011). 16. Rensink, A., Vogler, W.: Fair testing. Information and Computation. 205, 2, (2007). 17. Roscoe, A.W., Roscoe, A.W.: Seeing beyond divergence. Proceedings of Symposium on the occasion of 25 years of CSP. (2004). Page 12

17 Supporting architectural pattern language using structural properties Minh Tu Ton That, Salah Sadou, and Flavio Oquendo IRISA Université de Bretagne Sud Vannes, France Abstract. During the development of software architecture, patterns play an important role in documenting and maintaining quality attributes of the system. In our observation, architectural patterns often share common structural properties that characterize pattern s implied nonfunctional attributes. The fact that structural properties are implicitly integrated in architectural pattern structures can prevent the understandability and the reusability of these artifacts. Therefore, in this work we first present several architectural patterns structural properties and second propose to explicitly describe them in a pattern description language. 1 Introduction In software engineering, architectural patterns have been chosen as important artifacts in the architectural documentation. They not only provide common vocabulary and understanding of design principles but also support the construction of software with defined quality properties [2]. In our observation, architectural patterns often share common structural properties that characterize the quality attributes. The pattern definition languages in the literature [4,3] assume that these properties are implicitly integrated in the pattern structure. Since structural properties are scattered in many patterns, it s difficult to recognize the sharing property from different patterns and more over, the change of one structural property can lead to the change of many involved patterns. Thus, we find that implicit integration of structural properties in architectural pattern structures can prevent the understandability and the reusability of these artifacts. 2 Structural properties Structural properties in our perspective are properties that form the structure of a pattern or to some extent, add to a pattern certain characteristics. Along with the containing pattern, structural properties themselves help maintain nonfunctional properties of the applied architecture. Let s take an example of the Page 13

18 2 Minh Tu Ton That, Salah Sadou, and Flavio Oquendo vertical multiplicity property. This property specifies a pattern in which there exist a certain number of non-connected elements that are all connected to a stand-out element. We can find this characteristic in the pattern Client-Server or Master-Slave [2]. More specifically, all Clients are connected to a Server or all Slaves are connected to a Master. This property helps form the exchangeability of the architecture. Indeed, since the non-connected elements are treated equally and all connected to an element, it s easy to exchange these elements without changing the structure of the architecture. We present as follows the six discovered structural properties in [2]. 1. Mutual dependency Description: Two elements are mutually dependent if there s a relationship between them. The common form of this relationship is: The element X corresponds to at least (at most, exactly, ) one element Y. Applied patterns: Broker, MVC, Microkernel, Reflection, Whole-Part, Master-Slave, Proxy. 2. Interconnection Description: Specify that an element can always find a way to reach any same type element. Applied patterns: Broker, Peer-to-Peer. 3. Strict order Description: Specify that all same type elements must be strictly ordered. An element can only contact with the next higher ordered element. Applied patterns: Layer, Tier, Three Layer. 4. Graph Description: Specify that all same type elements create a cyclic graph or not. Applied patterns: Pipes and Filters. 5. Oriented multiplicity Description: Specify that all same type elements are horizontally multiplied (inter-related) or vertically multiplied (all connect to the same element). Applied patterns: Pipes and Filters, Client-Server. 6. Accessing shield Description: Specify that 2 elements must communicate indirectly through a shield element. Applied patterns: Blackboard, Broker, Microkernel, Whole-Part, Proxy. 3 Structural properties We add to our pattern language [6] the support to describe structural properties. They are described explicitly as independent artifacts and connected to patterns when necessary. The pattern language meta-model is illustrated in Figure 1. A property element is considered as a sub-pattern which is inherited from the pattern element. By this way, a property has the full power to be described as a Page 14

19 Supporting architectural pattern language using structural properties 3 Fig. 1. General pattern meta-model pattern. Our pattern language supports three types of composition: overlapping, stringing and internal replacement. Except for the internal replacement composition in which a pattern is replaced internally by another pattern, the other two types of composition are already addressed in the literature [5,1]. We leverage the overlapping composition as a means to integrate structural properties into the pattern model. The elements in the pattern model which play certain roles in the property are overlapped with the corresponding elements in the property model. Figure 2 illustrates the example of describing the shared vertical multiplicity property of two patterns: Client-Server and Master-Slave. To integrate this property into these patterns, the Node element is overlapped with the Client element and the Slave element respectively. Fig. 2. An example of structural property Page 15

20 4 Minh Tu Ton That, Salah Sadou, and Flavio Oquendo 4 Implementation To verify the feasibility of our approach, we developed a tool which provides the following functionalities: 1) Create architectural patterns 2) Create structural properties 3) Integrate structural properties into pattern models via the overlapping operator. The tool is built based on the following framework. EMF, GMF, Kermeta. References 1. Ian Bayley and Hong Zhu. On the composition of design patterns. In QSIC, pages 27 36, Buschmann, F., Meunier R., Rohnert, H., Sommerlad, P., and Stal, M. Pattern- Oriented Software Architecture - A System Of Patterns. John Wiley & Sons, New York, Maged Elaasar, Lionel C. Briand, and Yvan Labiche. A metamodeling approach to pattern specification. In Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems, pages Springer-Verlag, R. B France, D. K Kim, Sudipto Ghosh, and E. Song. A UML-based pattern specification technique. IEEE Transactions on Software Engineering, pages , March Imed Hammouda and Kai Koskimies. An approach for structural pattern composition. In Software Composition, pages , Minh Tu Ton That, Salah Sadou, and Flávio Oquendo. Using architectural patterns to define architectural decisions. In WICSA/ECSA, pages , Page 16

Editing and managing Systems engineering processes at Snecma

Editing and managing Systems engineering processes at Snecma Editing and managing Systems engineering processes at Snecma Atego workshop 2014-04-03 Ce document et les informations qu il contient sont la propriété de Ils ne doivent pas être copiés ni communiqués

Plus en détail

MAT 2377 Solutions to the Mi-term

MAT 2377 Solutions to the Mi-term MAT 2377 Solutions to the Mi-term Tuesday June 16 15 Time: 70 minutes Student Number: Name: Professor M. Alvo This is an open book exam. Standard calculators are permitted. Answer all questions. Place

Plus en détail

Forthcoming Database

Forthcoming Database DISS.ETH NO. 15802 Forthcoming Database A Framework Approach for Data Visualization Applications A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of

Plus en détail

eid Trends in french egovernment Liberty Alliance Workshop April, 20th 2007 French Ministry of Finance, DGME

eid Trends in french egovernment Liberty Alliance Workshop April, 20th 2007 French Ministry of Finance, DGME eid Trends in french egovernment Liberty Alliance Workshop April, 20th 2007 French Ministry of Finance, DGME Agenda What do we have today? What are our plans? What needs to be solved! What do we have today?

Plus en détail

Exemple PLS avec SAS

Exemple PLS avec SAS Exemple PLS avec SAS This example, from Umetrics (1995), demonstrates different ways to examine a PLS model. The data come from the field of drug discovery. New drugs are developed from chemicals that

Plus en détail

Food for thought paper by the Coordinator on Reporting 1 PrepCom 3rd Review Conference 6 décembre 2013

Food for thought paper by the Coordinator on Reporting 1 PrepCom 3rd Review Conference 6 décembre 2013 Food for thought paper by the Coordinator on Reporting 1 PrepCom 3rd Review Conference 6 décembre 2013 (slide 1) Mr President, Reporting and exchange of information have always been a cornerstone of the

Plus en détail

Instructions Mozilla Thunderbird Page 1

Instructions Mozilla Thunderbird Page 1 Instructions Mozilla Thunderbird Page 1 Instructions Mozilla Thunderbird Ce manuel est écrit pour les utilisateurs qui font déjà configurer un compte de courrier électronique dans Mozilla Thunderbird et

Plus en détail

Construire son projet : Rédiger la partie impacts (2/4) Service Europe Direction des Programmes et de la Formation pour le Sud

Construire son projet : Rédiger la partie impacts (2/4) Service Europe Direction des Programmes et de la Formation pour le Sud Construire son projet : Rédiger la partie impacts (2/4) Service Europe Direction des Programmes et de la Formation pour le Sud Sommaire Construire son projet : Rédiger la partie impacts (2/4) Comment définir

Plus en détail

SC 27/WG 5 Normes Privacy

SC 27/WG 5 Normes Privacy SC 27/WG 5 Normes Privacy Club 27001 Toulousain 12/12/2014 Lionel VODZISLAWSKY Chief Information Officer l.vodzislawsky@celtipharm.com PRE-CTPM 141212-Club27001 Toulouse normes WG5_LV L organisation de

Plus en détail

THÈSE. présentée à TÉLÉCOM PARISTECH. pour obtenir le grade de. DOCTEUR de TÉLÉCOM PARISTECH. Mention Informatique et Réseaux. par.

THÈSE. présentée à TÉLÉCOM PARISTECH. pour obtenir le grade de. DOCTEUR de TÉLÉCOM PARISTECH. Mention Informatique et Réseaux. par. École Doctorale d Informatique, Télécommunications et Électronique de Paris THÈSE présentée à TÉLÉCOM PARISTECH pour obtenir le grade de DOCTEUR de TÉLÉCOM PARISTECH Mention Informatique et Réseaux par

Plus en détail

deux tâches dans le tableau et à cliquer sur l icône représentant une chaîne dans la barre d outils. 14- Délier les tâches : double cliquer sur la

deux tâches dans le tableau et à cliquer sur l icône représentant une chaîne dans la barre d outils. 14- Délier les tâches : double cliquer sur la MS Project 1- Créer un nouveau projet définir la date du déclenchement (début) ou de la fin : File New 2- Définir les détails du projet : File Properties (permet aussi de voir les détails : coûts, suivi,

Plus en détail

Formation en conduite et gestion de projets. Renforcer les capacités des syndicats en Europe

Formation en conduite et gestion de projets. Renforcer les capacités des syndicats en Europe Formation en conduite et gestion de projets Renforcer les capacités des syndicats en Europe Pourquoi la gestion de projets? Le département Formation de l Institut syndical européen (ETUI, European Trade

Plus en détail

Natixis Asset Management Response to the European Commission Green Paper on shadow banking

Natixis Asset Management Response to the European Commission Green Paper on shadow banking European Commission DG MARKT Unit 02 Rue de Spa, 2 1049 Brussels Belgium markt-consultation-shadow-banking@ec.europa.eu 14 th June 2012 Natixis Asset Management Response to the European Commission Green

Plus en détail

A partir de ces différents matériels, l administrateur a déterminé huit configurations différentes. Il vous demande de les compléter.

A partir de ces différents matériels, l administrateur a déterminé huit configurations différentes. Il vous demande de les compléter. Exonet - Ressources mutualisées en réseau Description du thème Propriétés Intitulé long Formation concernée Présentation Modules Activités Compétences ; Savoir-faire Description Ressources mutualisées

Plus en détail

iqtool - Outil e-learning innovateur pour enseigner la Gestion de Qualité au niveau BAC+2

iqtool - Outil e-learning innovateur pour enseigner la Gestion de Qualité au niveau BAC+2 iqtool - Outil e-learning innovateur pour enseigner la Gestion de Qualité au niveau BAC+2 134712-LLP-2007-HU-LEONARDO-LMP 1 Information sur le projet iqtool - Outil e-learning innovateur pour enseigner

Plus en détail

Rappels. Génie logiciel. Implemented tactics. Oldest architecture: Batch-Sequential

Rappels. Génie logiciel. Implemented tactics. Oldest architecture: Batch-Sequential Rappels Génie logiciel Philippe Dugerdil Composants, packages Couches & dépendances Principes de structuration Réutilisation / responsabilité Réutilisation & composants 09.12.2010 Oldest architecture:

Plus en détail

Animation de la démarche Santé et Sécurité au Travail pour Les Crudettes SAS

Animation de la démarche Santé et Sécurité au Travail pour Les Crudettes SAS MINISTERE DE L AGRICULTURE LES CRUDETTES SAS www.lescrudettes.com MÉMOIRE DE FIN D ÉTUDES présenté pour l obtention du diplôme d ingénieur agronome spécialisation : Agro-alimentaire option : QUALI-RISQUES

Plus en détail

Génie Logiciel et Gestion de Projets

Génie Logiciel et Gestion de Projets Génie Logiciel et Gestion de Projets INFO-F-407 Ragnhild Van Der Straeten 2008-2009 ULB 1 Génie Logiciel et Gestion de Projets Organisation 2 Ragnhild Van Der Straeten VUB, 4K209 Campus Etterbeek rvdstrae@vub.ac.be

Plus en détail

National Director, Engineering and Maintenance East (Montreal, QC)

National Director, Engineering and Maintenance East (Montreal, QC) National Director, Engineering and Maintenance East (Montreal, QC) Reporting to the General Manager, Engineering and Maintenance, you will provide strategic direction on the support and maintenance of

Plus en détail

How to be a global leader in innovation?

How to be a global leader in innovation? How to be a global leader in innovation? 2014-03-17 / Rybinsk Marc Sorel Safran Country delegate /01/ Innovation : a leverage to create value 1 / 2014-01-30/ Moscou / Kondratieff A REAL NEED FOR INNOVATION

Plus en détail

Cedric Dumoulin (C) The Java EE 7 Tutorial http://docs.oracle.com/javaee/7/tutorial/doc/

Cedric Dumoulin (C) The Java EE 7 Tutorial http://docs.oracle.com/javaee/7/tutorial/doc/ Cedric Dumoulin (C) The Java EE 7 Tutorial http://docs.oracle.com/javaee/7/tutorial/doc/ Webographie The Java EE 7 Tutorial http://docs.oracle.com/javaee/7/tutorial/doc/ Les slides de cette présentation

Plus en détail

Net-université 2008-1-IS1-LEO05-00110. http://www.adam-europe.eu/adam/project/view.htm?prj=5095

Net-université 2008-1-IS1-LEO05-00110. http://www.adam-europe.eu/adam/project/view.htm?prj=5095 Net-université 2008-1-IS1-LEO05-00110 1 Information sur le projet Titre: Code Projet: Année: 2008 Type de Projet: Statut: Accroche marketing: Net-université 2008-1-IS1-LEO05-00110 Projets de transfert

Plus en détail

Institut français des sciences et technologies des transports, de l aménagement

Institut français des sciences et technologies des transports, de l aménagement Institut français des sciences et technologies des transports, de l aménagement et des réseaux Session 3 Big Data and IT in Transport: Applications, Implications, Limitations Jacques Ehrlich/IFSTTAR h/ifsttar

Plus en détail

RÉSUMÉ DE THÈSE. L implantation des systèmes d'information (SI) organisationnels demeure une tâche difficile

RÉSUMÉ DE THÈSE. L implantation des systèmes d'information (SI) organisationnels demeure une tâche difficile RÉSUMÉ DE THÈSE L implantation des systèmes d'information (SI) organisationnels demeure une tâche difficile avec des estimations de deux projets sur trois peinent à donner un résultat satisfaisant (Nelson,

Plus en détail

AMESD-Puma2010-EFTS- Configuration-update-TEN (en-fr)

AMESD-Puma2010-EFTS- Configuration-update-TEN (en-fr) AMESD-Puma2010-EFTS- Configuration-update-TEN (en-fr) Doc.No. : EUM/OPS/TEN/13/706466 Issue : v3 Date : 7 May 2014 WBS : EUMETSAT Eumetsat-Allee 1, D-64295 Darmstadt, Germany Tel: +49 6151 807-7 Fax: +49

Plus en détail

LA NETWORK MANAGER remote control software CUSTOM PRESET CREATION PROCEDURE

LA NETWORK MANAGER remote control software CUSTOM PRESET CREATION PROCEDURE LA NETWORK MANAGER remote control software CUSTOM PRESET CREATION PROCEDURE TECHNICAL BULLETIN - VERSION 1.0 Document reference: NWM-CUSTOM-PRS_TB_ML_1-0 Distribution date: July 21 st, 2010 2010 L-ACOUSTICS.

Plus en détail

conception des messages commerciaux afin qu ils puissent ainsi accroître la portée de leur message.

conception des messages commerciaux afin qu ils puissent ainsi accroître la portée de leur message. RÉSUMÉ Au cours des dernières années, l une des stratégies de communication marketing les plus populaires auprès des gestionnaires pour promouvoir des produits est sans contredit l utilisation du marketing

Plus en détail

Face Recognition Performance: Man vs. Machine

Face Recognition Performance: Man vs. Machine 1 Face Recognition Performance: Man vs. Machine Andy Adler Systems and Computer Engineering Carleton University, Ottawa, Canada Are these the same person? 2 3 Same person? Yes I have just demonstrated

Plus en détail

WEB page builder and server for SCADA applications usable from a WEB navigator

WEB page builder and server for SCADA applications usable from a WEB navigator Générateur de pages WEB et serveur pour supervision accessible à partir d un navigateur WEB WEB page builder and server for SCADA applications usable from a WEB navigator opyright 2007 IRAI Manual Manuel

Plus en détail

AccessLearn Community Group: Introductory Survey. Groupe communautaire AccessLearn : étude introductive. Introduction.

AccessLearn Community Group: Introductory Survey. Groupe communautaire AccessLearn : étude introductive. Introduction. AccessLearn Community Group: Introductory Survey Introduction The W3C Accessible Online Learning Community Group (aka AccessLearn) is a place to discuss issues relating to accessibility and online learning,

Plus en détail

Les Lignes de Produits Logiciels (Software Product Lines) Tewfik Ziadi UPMC/LIP6 tewfik.ziadi@lip6.fr

Les Lignes de Produits Logiciels (Software Product Lines) Tewfik Ziadi UPMC/LIP6 tewfik.ziadi@lip6.fr Les Lignes de Produits Logiciels (Software Product Lines) Tewfik Ziadi UPMC/LIP6 tewfik.ziadi@lip6.fr L exemple de Notepad Nous avons le code source d une application implémentant l éditeur «Notepad».

Plus en détail

An Ontology-Based Approach for Closed-Loop Product Lifecycle Management

An Ontology-Based Approach for Closed-Loop Product Lifecycle Management An Ontology-Based Approach for Closed-Loop Product Lifecycle Management THÈSE N O 4823 (2010) PRÉSENTÉE LE 15 OCTOBRE 2010 À LA FACULTÉ SCIENCES ET TECHNIQUES DE L'INGÉNIEUR LABORATOIRE DES OUTILS INFORMATIQUES

Plus en détail

REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION

REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION THÈSE N O 2388 (2001) PRÉSENTÉE AU DÉPARTEMENT D'INFORMATIQUE ÉCOLE POLYTECHNIQUE FÉDÉRALE

Plus en détail

Quatre axes au service de la performance et des mutations Four lines serve the performance and changes

Quatre axes au service de la performance et des mutations Four lines serve the performance and changes Le Centre d Innovation des Technologies sans Contact-EuraRFID (CITC EuraRFID) est un acteur clé en matière de l Internet des Objets et de l Intelligence Ambiante. C est un centre de ressources, d expérimentations

Plus en détail

DMX CONTROLEUR. Indicateurs LED : Ils indiquent les fonctionnalités correspondantes.

DMX CONTROLEUR. Indicateurs LED : Ils indiquent les fonctionnalités correspondantes. DMX CONTROLEUR CA-24D CA-2405 Le CA-24D est un contrôleur DMX 24 canaux spécialement conçu pour une utilisation avec le CA-2405. Il est muni d un panneau de commande convivial, de 24 scènes programmables,

Plus en détail

Become. Business Provider for Matheo Software

Become. Business Provider for Matheo Software Become Business Provider for Matheo Software Who we are? Matheo Software was created in 2003 by business intelligence and information processing professionals from higher education and research. Matheo

Plus en détail

Promotion of bio-methane and its market development through local and regional partnerships. A project under the Intelligent Energy Europe programme

Promotion of bio-methane and its market development through local and regional partnerships. A project under the Intelligent Energy Europe programme Promotion of bio-methane and its market development through local and regional partnerships A project under the Intelligent Energy Europe programme Contract Number: IEE/10/130 Deliverable Reference: W.P.2.1.3

Plus en détail

Initiative d excellence de l université de Bordeaux. Réunion du Comité stratégique 17-19 décembre 2014. Recommandations

Initiative d excellence de l université de Bordeaux. Réunion du Comité stratégique 17-19 décembre 2014. Recommandations Initiative d excellence de l université de Bordeaux Réunion du Comité stratégique 17-19 décembre 2014 Recommandations 2/1 RECOMMANDATIONS DU COMITE STRATEGIQUE Une feuille de route pour le conseil de gestion

Plus en détail

MANAGEMENT SOFTWARE FOR STEEL CONSTRUCTION

MANAGEMENT SOFTWARE FOR STEEL CONSTRUCTION Ficep Group Company MANAGEMENT SOFTWARE FOR STEEL CONSTRUCTION KEEP ADVANCING " Reach your expectations " ABOUT US For 25 years, Steel Projects has developed software for the steel fabrication industry.

Plus en détail

Application Form/ Formulaire de demande

Application Form/ Formulaire de demande Application Form/ Formulaire de demande Ecosystem Approaches to Health: Summer Workshop and Field school Approches écosystémiques de la santé: Atelier intensif et stage d été Please submit your application

Plus en détail

Eléments de statistique

Eléments de statistique Eléments de statistique L. Wehenkel Cours du 9/12/2014 Méthodes multivariées; applications & recherche Quelques méthodes d analyse multivariée NB: illustration sur base de la BD résultats de probas en

Plus en détail

L ouverture des données de la recherche en 2015 : définitions, enjeux, dynamiques

L ouverture des données de la recherche en 2015 : définitions, enjeux, dynamiques L ouverture des données de la recherche en 2015 : définitions, enjeux, dynamiques «Re-analysis is a powerful tool in the review of important studies, and should be supported with data made available by

Plus en détail

RAPID 3.34 - Prenez le contrôle sur vos données

RAPID 3.34 - Prenez le contrôle sur vos données RAPID 3.34 - Prenez le contrôle sur vos données Parmi les fonctions les plus demandées par nos utilisateurs, la navigation au clavier et la possibilité de disposer de champs supplémentaires arrivent aux

Plus en détail

Lamia Oukid, Ounas Asfari, Fadila Bentayeb, Nadjia Benblidia, Omar Boussaid. 14 Juin 2013

Lamia Oukid, Ounas Asfari, Fadila Bentayeb, Nadjia Benblidia, Omar Boussaid. 14 Juin 2013 Cube de textes et opérateur d'agrégation basé sur un modèle vectoriel adapté Text Cube Model and aggregation operator based on an adapted vector space model Lamia Oukid, Ounas Asfari, Fadila Bentayeb,

Plus en détail

Plan. Department of Informatics

Plan. Department of Informatics Plan 1. Application Servers 2. Servlets, JSP, JDBC 3. J2EE: Vue d ensemble 4. Distributed Programming 5. Enterprise JavaBeans 6. Enterprise JavaBeans: Special Topics 7. Prise de recul critique Enterprise

Plus en détail

Academic Project. B3 - Architecture. Resit Project. Version 1.0 Last update: 24/05/2013 Use: Students Author: Samuel CUELLA

Academic Project. B3 - Architecture. Resit Project. Version 1.0 Last update: 24/05/2013 Use: Students Author: Samuel CUELLA SUPINFO Academic Dept. Resit Project Academic Project 2012-2013 Version 1.0 Last update: 24/05/2013 Use: Students Author: Samuel CUELLA Conditions d utilisations : SUPINFO International University vous

Plus en détail

Package Contents. System Requirements. Before You Begin

Package Contents. System Requirements. Before You Begin Package Contents DWA-125 Wireless 150 USB Adapter CD-ROM (contains software, drivers, and manual) Cradle If any of the above items are missing, please contact your reseller. System Requirements A computer

Plus en détail

Accès au support technique produits et licences par le portail client MGL de M2Msoft.com. Version 2010. Manuel Utilisateur

Accès au support technique produits et licences par le portail client MGL de M2Msoft.com. Version 2010. Manuel Utilisateur Accès au support technique produits et licences par le portail client MGL de M2Msoft.com Version 2010 Manuel Utilisateur Access to M2Msoft customer support portal, mgl.m2msoft.com, 2010 release. User manual

Plus en détail

Please find attached a revised amendment letter, extending the contract until 31 st December 2011.

Please find attached a revised amendment letter, extending the contract until 31 st December 2011. Sent: 11 May 2011 10:53 Subject: Please find attached a revised amendment letter, extending the contract until 31 st December 2011. I look forward to receiving two signed copies of this letter. Sent: 10

Plus en détail

Nouvelles classes de problèmes pour la fouille de motifs intéressants dans les bases de données 2

Nouvelles classes de problèmes pour la fouille de motifs intéressants dans les bases de données 2 Nouvelles classes de problèmes pour la fouille de motifs intéressants dans les bases de données 2 Lhouari Nourine 1 1 Université Blaise Pascal, CNRS, LIMOS, France SeqBio 2012 Marne la vallée, France 2.

Plus en détail

Optimizing Network Performance in Virtual Machines

Optimizing Network Performance in Virtual Machines Optimizing Network Performance in Virtual Machines THÈSE N O 4267 (2009) PRÉSENTÉE le 27 janvier 2009 À LA FACULTE INFORMATIQUE ET COMMUNICATIONS Laboratoire de systèmes d'exploitation SECTION D'INFORMATIQUE

Plus en détail

Cours de Programmation Orientée Objet

Cours de Programmation Orientée Objet Contrat et application à la librairie standard JAVA mailto:marc.champesme@lipn.univ-paris13.fr 6 février 2011 1 Qu est ce qu une classe? Un exemple en JAVA Résumé Expression du contrat Par des commentaires

Plus en détail

that the child(ren) was/were in need of protection under Part III of the Child and Family Services Act, and the court made an order on

that the child(ren) was/were in need of protection under Part III of the Child and Family Services Act, and the court made an order on ONTARIO Court File Number at (Name of court) Court office address Applicant(s) (In most cases, the applicant will be a children s aid society.) Full legal name & address for service street & number, municipality,

Plus en détail

Mon Service Public - Case study and Mapping to SAML/Liberty specifications. Gaël Gourmelen - France Telecom 23/04/2007

Mon Service Public - Case study and Mapping to SAML/Liberty specifications. Gaël Gourmelen - France Telecom 23/04/2007 Mon Service Public - Case study and Mapping to SAML/Liberty specifications Gaël Gourmelen - France Telecom 23/04/2007 Agenda Brief presentation of the "Mon Service Public" project (main features) Detailed

Plus en détail

Présentation des états financiers 2014 Presentation of the 2014 Financial Statements

Présentation des états financiers 2014 Presentation of the 2014 Financial Statements Présentation des états financiers 2014 Presentation of the 2014 Financial Statements Les faits saillants Highlights L état financier du MAMROT est très complexe et fournit de nombreuses informations. Cette

Plus en détail

The new consumables catalogue from Medisoft is now updated. Please discover this full overview of all our consumables available to you.

The new consumables catalogue from Medisoft is now updated. Please discover this full overview of all our consumables available to you. General information 120426_CCD_EN_FR Dear Partner, The new consumables catalogue from Medisoft is now updated. Please discover this full overview of all our consumables available to you. To assist navigation

Plus en détail

Logiciel Libre & qualité. Présentation

Logiciel Libre & qualité. Présentation Logiciel Libre & qualité Alain RENAULT Grégory SERONT Présentation Alain RENAULT Cetic (2001) Responsable des projets Qualité micro-évaluation évaluations OWPL accompagnements en entreprise FUNDP (1998-2001)

Plus en détail

Object Oriented Parallel Discrete Event Simulation: The PROSIT Approach

Object Oriented Parallel Discrete Event Simulation: The PROSIT Approach INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE Object Oriented Parallel Discrete Event Simulation: The PROSIT Approach Lionel Mallet and Philippe Mussi N 2232 Avril 1994 PROGRAMME 1 Architectures

Plus en détail

Compliance Sheet. Super Range 71. Product Description

Compliance Sheet. Super Range 71. Product Description Super Range 71 Model SR71-15 SR71-A SR71-C SR71-E SR71-X SR71-USB Product Description 802.11a/n, Mini PCI, 2x2 MIMO 802.11a/b/g/n, Mini PCI, 3x3 MIMO 802.11a/b/g/n, CardBus, 2x2 MIMO 802.11a/b/g/n, PCI

Plus en détail

Deadline(s): Assignment: in week 8 of block C Exam: in week 7 (oral exam) and in the exam week (written exam) of block D

Deadline(s): Assignment: in week 8 of block C Exam: in week 7 (oral exam) and in the exam week (written exam) of block D ICM STUDENT MANUAL French 2 JIC-FRE2.2V-12 Module Change Management and Media Research Study Year 2 1. Course overview Books: Français.com, niveau intermédiaire, livre d élève+ dvd- rom, 2ième édition,

Plus en détail

Semester 1: (September January) Courses in English: Courses in French:

Semester 1: (September January) Courses in English: Courses in French: Semester 1: (September January) Courses in English: ECTS HP Title Unit: Advanced Technology Systems 5 42 Enterprise Architecture and SOA Unit: Enterprise and IS Architecture University Paris 1 Pantheon

Plus en détail

Acce s aux applications informatiques Supply Chain Fournisseurs

Acce s aux applications informatiques Supply Chain Fournisseurs Acce s aux applications informatiques Supply Chain Fournisseurs Toujours plus de service pour vous ; rapide, pratique, sécurisé, écologique et gratuit! Vous vous connectez à notre site MESSIER BUGATTI

Plus en détail

APPENDIX 6 BONUS RING FORMAT

APPENDIX 6 BONUS RING FORMAT #4 EN FRANÇAIS CI-DESSOUS Preamble and Justification This motion is being presented to the membership as an alternative format for clubs to use to encourage increased entries, both in areas where the exhibitor

Plus en détail

UML : Unified Modeling Language

UML : Unified Modeling Language UML : Unified Modeling Language Recommended: UML distilled A brief guide to the standard Object Modeling Language Addison Wesley based on Frank Maurer lecture, Univ. of Calgary in french : uml.free.fr/index.html

Plus en détail

INDUSTRIAL PC 13/11/2007 19/11/2007. Nouveau PC Industriel sur Imprimantes RIP4

INDUSTRIAL PC 13/11/2007 19/11/2007. Nouveau PC Industriel sur Imprimantes RIP4 Technical Service Bulletin FILE CONTROL CREATED DATE MODIFIED DATE FOLDER INDUSTRIAL PC 13/11/2007 19/11/2007 662-02-27011B Nouveau PC Industriel sur Imprimantes RIP4 English version follows. Objet du

Plus en détail

Quick Start Guide This guide is intended to get you started with Rational ClearCase or Rational ClearCase MultiSite.

Quick Start Guide This guide is intended to get you started with Rational ClearCase or Rational ClearCase MultiSite. Rational ClearCase or ClearCase MultiSite Version 7.0.1 Quick Start Guide This guide is intended to get you started with Rational ClearCase or Rational ClearCase MultiSite. Product Overview IBM Rational

Plus en détail

Présentation par François Keller Fondateur et président de l Institut suisse de brainworking et M. Enga Luye, CEO Belair Biotech

Présentation par François Keller Fondateur et président de l Institut suisse de brainworking et M. Enga Luye, CEO Belair Biotech Présentation par François Keller Fondateur et président de l Institut suisse de brainworking et M. Enga Luye, CEO Belair Biotech Le dispositif L Institut suisse de brainworking (ISB) est une association

Plus en détail

NORME INTERNATIONALE INTERNATIONAL STANDARD. Dispositifs à semiconducteurs Dispositifs discrets. Semiconductor devices Discrete devices

NORME INTERNATIONALE INTERNATIONAL STANDARD. Dispositifs à semiconducteurs Dispositifs discrets. Semiconductor devices Discrete devices NORME INTERNATIONALE INTERNATIONAL STANDARD CEI IEC 747-6-3 QC 750113 Première édition First edition 1993-11 Dispositifs à semiconducteurs Dispositifs discrets Partie 6: Thyristors Section trois Spécification

Plus en détail

ShortestPath PlugIn for JUMP V 0.1

ShortestPath PlugIn for JUMP V 0.1 V 0.1 Abstract Michaël MICHAUD Copyright 2006 en. This article is about ShortestPath PlugIn for JUMP. It makes it possible to compute the shortest path between two nodes of a graph created from a linear

Plus en détail

Control your dog with your Smartphone. USER MANUAL www.pet-remote.com

Control your dog with your Smartphone. USER MANUAL www.pet-remote.com Control your dog with your Smartphone USER MANUAL www.pet-remote.com Pet-Remote Pet Training Pet-Remote offers a new and easy way to communicate with your dog! With the push of a single button on your

Plus en détail

BA (Hons) French with Translation Studies F/T SH 322F

BA (Hons) French with Translation Studies F/T SH 322F BA (Hons) French with Translation Studies F/T SH 322F 1. Rationale With the advent of globalization, translation studies have become an imperative field to be taken on-board by department of languages.

Plus en détail

TABLE DES MATIERES A OBJET PROCEDURE DE CONNEXION

TABLE DES MATIERES A OBJET PROCEDURE DE CONNEXION 1 12 rue Denis Papin 37300 JOUE LES TOURS Tel: 02.47.68.34.00 Fax: 02.47.68.35.48 www.herve consultants.net contacts@herve consultants.net TABLE DES MATIERES A Objet...1 B Les équipements et pré-requis...2

Plus en détail

ADHEFILM : tronçonnage. ADHEFILM : cutting off. ADHECAL : fabrication. ADHECAL : manufacturing.

ADHEFILM : tronçonnage. ADHEFILM : cutting off. ADHECAL : fabrication. ADHECAL : manufacturing. LA MAÎTRISE D UN MÉTIER Depuis plus de 20 ans, ADHETEC construit sa réputation sur la qualité de ses films adhésifs. Par la maîtrise de notre métier, nous apportons à vos applications la force d une offre

Plus en détail

Bourses d excellence pour les masters orientés vers la recherche

Bourses d excellence pour les masters orientés vers la recherche Masters de Mathématiques à l'université Lille 1 Mathématiques Ingénierie Mathématique Mathématiques et Finances Bourses d excellence pour les masters orientés vers la recherche Mathématiques appliquées

Plus en détail

RFP 1000162739 and 1000163364 QUESTIONS AND ANSWERS

RFP 1000162739 and 1000163364 QUESTIONS AND ANSWERS RFP 1000162739 and 1000163364 QUESTIONS AND ANSWERS Question 10: The following mandatory and point rated criteria require evidence of work experience within the Canadian Public Sector: M3.1.1.C / M3.1.2.C

Plus en détail

How to Login to Career Page

How to Login to Career Page How to Login to Career Page BASF Canada July 2013 To view this instruction manual in French, please scroll down to page 16 1 Job Postings How to Login/Create your Profile/Sign Up for Job Posting Notifications

Plus en détail

Stratégie DataCenters Société Générale Enjeux, objectifs et rôle d un partenaire comme Data4

Stratégie DataCenters Société Générale Enjeux, objectifs et rôle d un partenaire comme Data4 Stratégie DataCenters Société Générale Enjeux, objectifs et rôle d un partenaire comme Data4 Stéphane MARCHINI Responsable Global des services DataCenters Espace Grande Arche Paris La Défense SG figures

Plus en détail

BA (Hons) French with Translation Studies P/T SH 322

BA (Hons) French with Translation Studies P/T SH 322 BA (Hons) French with Translation Studies P/T SH 322 1. Rationale With the advent of globalization, translation studies have become an imperative field to be taken on-board by department of languages.

Plus en détail

Evaluation de la prime de risques de la vente d une bande d énergie nucléaire

Evaluation de la prime de risques de la vente d une bande d énergie nucléaire 28/3/2011 ANNEXE 6 (Source: Electrabel) Evaluation de la prime de risques de la vente d une bande d énergie nucléaire Si nous vendons une bande d énergie nucléaire à certains clients, que nous garantissons

Plus en détail

Improving the breakdown of the Central Credit Register data by category of enterprises

Improving the breakdown of the Central Credit Register data by category of enterprises Improving the breakdown of the Central Credit Register data by category of enterprises Workshop on Integrated management of micro-databases Deepening business intelligence within central banks statistical

Plus en détail

gedriver Green Efficient Driver

gedriver Green Efficient Driver gedriver Green Efficient Driver Objectifs du projet Le projet GeDRIVER s est déroulé dans un contexte de déploiement de l'éco-conduite, avec la participation de plusieurs acteurs industriels et de la recherche,

Plus en détail

Frequently Asked Questions

Frequently Asked Questions GS1 Canada-1WorldSync Partnership Frequently Asked Questions 1. What is the nature of the GS1 Canada-1WorldSync partnership? GS1 Canada has entered into a partnership agreement with 1WorldSync for the

Plus en détail

Installation et compilation de gnurbs sous Windows

Installation et compilation de gnurbs sous Windows Installation et compilation de gnurbs sous Windows Installation de l environnement de développement Code::Blocks (Environnement de développement) 1. Télécharger l installateur de Code::Blocks (version

Plus en détail

NOTICE D UTILISATION Option USB 2-Ports USB FRANCAIS

NOTICE D UTILISATION Option USB 2-Ports USB FRANCAIS NOTICE D UTILISATION Option USB 2-Ports USB FRANCAIS Introduction Ce supplément vous informe de l utilisation de la fonction USB qui a été installée sur votre table de mixage. Disponible avec 2 ports USB

Plus en détail

NOM ENTREPRISE. Document : Plan Qualité Spécifique du Projet / Project Specific Quality Plan

NOM ENTREPRISE. Document : Plan Qualité Spécifique du Projet / Project Specific Quality Plan Document : Plan Qualité Spécifique du Projet Project Specific Quality Plan Référence Reference : QP-3130-Rev 01 Date Date : 12022008 Nombre de Pages Number of Pages : 6 Projet Project : JR 100 Rédacteur

Plus en détail

Instructions pour mettre à jour un HFFv2 v1.x.yy v2.0.00

Instructions pour mettre à jour un HFFv2 v1.x.yy v2.0.00 Instructions pour mettre à jour un HFFv2 v1.x.yy v2.0.00 HFFv2 1. OBJET L accroissement de la taille de code sur la version 2.0.00 a nécessité une évolution du mapping de la flash. La conséquence de ce

Plus en détail

affichage en français Nom de l'employeur *: Lions Village of Greater Edmonton Society

affichage en français Nom de l'employeur *: Lions Village of Greater Edmonton Society LIONS VILLAGE of Greater Edmonton Society affichage en français Informations sur l'employeur Nom de l'employeur *: Lions Village of Greater Edmonton Society Secteur d'activité de l'employeur *: Développement

Plus en détail

How To connect to TonVPN Max / Comment se connecter à TonVPN Max

How To connect to TonVPN Max / Comment se connecter à TonVPN Max How To connect to TonVPN Max / Comment se connecter à TonVPN Max Note : you need to run all those steps as an administrator or somebody having admin rights on the system. (most of the time root, or using

Plus en détail

Notice Technique / Technical Manual

Notice Technique / Technical Manual Contrôle d accès Access control Encodeur USB Mifare ENCOD-USB-AI Notice Technique / Technical Manual SOMMAIRE p.2/10 Sommaire Remerciements... 3 Informations et recommandations... 4 Caractéristiques techniques...

Plus en détail

CEST POUR MIEUX PLACER MES PDF

CEST POUR MIEUX PLACER MES PDF CEST POUR MIEUX PLACER MES PDF ==> Download: CEST POUR MIEUX PLACER MES PDF CEST POUR MIEUX PLACER MES PDF - Are you searching for Cest Pour Mieux Placer Mes Books? Now, you will be happy that at this

Plus en détail

CEPF FINAL PROJECT COMPLETION REPORT

CEPF FINAL PROJECT COMPLETION REPORT CEPF FINAL PROJECT COMPLETION REPORT I. BASIC DATA Organization Legal Name: Conservation International Madagascar Project Title (as stated in the grant agreement): Knowledge Management: Information & Monitoring.

Plus en détail

Réseau Africain des Organismes de Bassin RAOB African Network of Basin Organizations - ANBO ASSEMBLEE GENERALE GENERAL ASSEMBLY

Réseau Africain des Organismes de Bassin RAOB African Network of Basin Organizations - ANBO ASSEMBLEE GENERALE GENERAL ASSEMBLY Réseau Africain des Organismes de Bassin RAOB African Network of Basin Organizations - ANBO ASSEMBLEE GENERALE GENERAL ASSEMBLY Johannesburg (Afrique du Sud) 4 au 7 mars 2007 Johannesburg (South Africa)

Plus en détail

Ingénierie et gestion des connaissances

Ingénierie et gestion des connaissances Master Web Intelligence ICM Option Informatique Ingénierie et gestion des connaissances Philippe BEAUNE Philippe.Beaune@emse.fr 18 novembre 2008 Passer en revue quelques idées fondatrices de l ingénierie

Plus en détail

Sustainability Monitoring and Reporting: Tracking Your Community s Sustainability Performance

Sustainability Monitoring and Reporting: Tracking Your Community s Sustainability Performance Sustainability Monitoring and Reporting: Tracking Your Community s Sustainability Performance Thursday, February 11 th, 2011 FCM Sustainable Communities Conference, Victoria, BC The Agenda 1. Welcome and

Plus en détail

1. City of Geneva in context : key facts. 2. Why did the City of Geneva sign the Aalborg Commitments?

1. City of Geneva in context : key facts. 2. Why did the City of Geneva sign the Aalborg Commitments? THE AALBORG COMMITMENTS IN GENEVA: AN ASSESSMENT AT HALF-TIME 1. City of Geneva in context : key facts 2. Why did the City of Geneva sign the Aalborg Commitments? 3. The Aalborg Commitments: are they useful

Plus en détail

Programming Server-Side Web Applications with Object-Oriented PHP. 420-060-NC Group 1638. Syllabus. Duration: 75 hours 1-2-2

Programming Server-Side Web Applications with Object-Oriented PHP. 420-060-NC Group 1638. Syllabus. Duration: 75 hours 1-2-2 Programming Server-Side Web Applications with Object-Oriented PHP 420-060-NC Group 1638 Syllabus Duration: 75 hours 1-2-2 Lecturer: Mathieu Viau mathieu.viau@gmail.com COLLÈGE DE MAISONNEUVE 3800, rue

Plus en détail

Academic Project. B2- Web Development. Resit Project. Version 1.0 Last update: 24/05/2013 Use: Students Author: Samuel CUELLA

Academic Project. B2- Web Development. Resit Project. Version 1.0 Last update: 24/05/2013 Use: Students Author: Samuel CUELLA SUPINFO Academic Dept. Resit Project Academic Project B2- Web Development 2012-2013 Version 1.0 Last update: 24/05/2013 Use: Students Author: Samuel CUELLA Conditions d utilisations : SUPINFO International

Plus en détail

UNCLASSIFIED//NON CLASSIFIÉ

UNCLASSIFIED//NON CLASSIFIÉ OpenSSL Heartbleed Vulnerability and Mitigating Measures (AV14-617, CVE-2014-1060, VU #720951) Purpose As per advice already provided via other means, this Alert outlines mitigation actions in response

Plus en détail

Contrôle d'accès Access control. Notice technique / Technical Manual

Contrôle d'accès Access control. Notice technique / Technical Manual p.1/18 Contrôle d'accès Access control INFX V2-AI Notice technique / Technical Manual p.2/18 Sommaire / Contents Remerciements... 3 Informations et recommandations... 4 Caractéristiques techniques... 5

Plus en détail

Le passé composé. C'est le passé! Tout ça c'est du passé! That's the past! All that's in the past!

Le passé composé. C'est le passé! Tout ça c'est du passé! That's the past! All that's in the past! > Le passé composé le passé composé C'est le passé! Tout ça c'est du passé! That's the past! All that's in the past! «Je suis vieux maintenant, et ma femme est vieille aussi. Nous n'avons pas eu d'enfants.

Plus en détail