Velo - Vérification pour l'Environnement et le LOgiciel kmelia:cr

kmelia:cr:cr010409

2018-04-03T16:59:36+02:00

CR rapide du 01/04/09 (rédigé par AL, mis en ligne par PA) Présents : CA, MM, AL Travail à propos de la traduction Kmelia2B 1) il ne nous semble pas intéressant dans un premier temps de ce focaliser sur la traduction des types non supportés

kmelia:cr:cr030309

2018-04-03T16:59:36+02:00

Réunion informelle du 03/03/09 1) PA, PS question/réponse sur Kmelia pour une sémantique formelle 2) PA MM traduction KML2B discussion sur pbs rencontrés rédaction d'un rapprt de recherche sur le sujet pour poser les problèmes et discuter des solutions

kmelia:cr:cr050209

2018-04-03T16:59:36+02:00

CR rapide du 05/02/09 (rédigé par PA) Présents : PA, CA, GA, MM, AL, Etudiants IR (4/5) ODJ (non traité) * Point sur les dernières missions * COSMAL'09 Arnaud * SOFSEM'09 Christian * Projets Futurs * ANR “LOIRE” * Region

kmelia:cr:cr050309

2018-04-03T16:59:36+02:00

CR rapide du 05/03/09 (rédigé par PA) Présents : PA, GA, AL, MM, PS Kmelia discussions sur la sémantique de Kmelia * voir notes PS [cas simple] * cas NONINTERRUPTIBLE : * aucun autre service s'exécute en parallèle dans le composants (tous suspendus)

kmelia:cr:cr050509

2018-04-03T16:59:36+02:00

CR rapide du 05/05/09 (rédigé par PA) Présents : PA, GA, AL, CA Publi en cours Kmelia kmelia links assembly composition discussions sur les liens et mappings voir l'exemple su stock Liens et sous-lien Pour chacun * service name mapping : implicite * service param mapping : adaptation

kmelia:cr:cr070509

2018-04-03T16:59:36+02:00

CR rapide du 07/05/09 (rédigé par PA) Présents : PA, GA, AL, CA, PS, étudiants IR/COLOSS Publi en cours * répartition des papiers et des efforts Sémantique * questions PS <-> réponses Kmelia discussions sur le papier FACS * structure et contribution

kmelia:cr:cr080109

2018-04-03T16:59:36+02:00

CR rapide du 08/01/09 (rédigé par PA) Présents : PA, CA, GA, MM, PS. Points discutés : Admin * Comités de sélection CA présente les directives par établissement... * Miles : organisation de la journée en deux parties * lieux

kmelia:cr:cr110609

2018-04-03T16:59:36+02:00

CR rapide du 11/06/09 (rédigé par PA) Présents : PA, GA, AL, CA, PS, MM Exposé Mohamed traduction KmlToB solutions de génération * writeln : rapide mais les inconvénients * templates (solution préconisée) => Velocity, Freemarker (*)

kmelia:cr:cr120209

2018-04-03T16:59:36+02:00

CR rapide du 12/02/09 (rédigé par PA) Présents : PA, CA, GA, MM, PS Kmelia discussions sur la grammaire Data Effets de sur la dynamique actions inclusion des expressions nommage des canaux possibilité de factoriser * appel de service : pas de factorisation channel[:}[](!|?|!!|??)message(param*)} selector : '['i|:i|ALL']' * sous-services opt :

kmelia:cr:cr120309

2018-04-03T16:59:36+02:00

CR rapide du 12/03/09 (rédigé par PA) Présents : PA, CA, AL, MM, PS Kmelia discussions sur la sémantique de Kmelia * nouvelle version notes PS [ici] * init: service ou pas : NON peut évoluer avec les composites * init var valeur par défaut

kmelia:cr:cr120509

2018-04-03T16:59:36+02:00

CR rapide du 12/05/09 (rédigé par PA) Présents : PA, AL, CA discussions sur le papier FACS * problème entre composant et composant-type * pb de la définition de type par tuple : voir TAD, voir Objet * pb de cohérence sur papier : oui : lisser

kmelia:cr:cr140509

2018-04-03T16:59:36+02:00

CR rapide du 14/05/09 (rédigé par PA) Présents : PA, GA, AL, CA, PS, MM kmelia facs observable virtual local semantique discussions sur le recrutement discussions sur la sémantique eLTS * draft eLTS * draft composant simple discussions sur le papier FACS assertions dans les services

kmelia:cr:cr160409

2018-04-03T16:59:36+02:00

CR rapide du 16/04/09 (rédigé par PA) Présents : PA, GA, CA, MM, AL, PS Travail à propos de la sémantique Kmelia PS: Quelle est la prochaine analyse prévue ? * assemblage global * concurrence Travail à propos de la traduction Kmelia2B

kmelia:cr:cr180509

2018-04-03T16:59:36+02:00

Compte-rendu de la réunion du 18/05/09 Étaient présents : CA, PA, GA, PS. Rédigé par PS. kmelia semantique shared Dynamique des appels de service En bref : Un service est actif ou non. Pas deux appels simultanés à un service. Nous supposons un assemblage complet (tous les services requis ont étés fournis). Nous faisons abstraction des services requis et supposons que les services fournis communiquent directement avec les autres services fournis.

kmelia:cr:cr190209

2018-04-03T16:59:36+02:00

CR rapide du 19/02/09 (rédigé par PA) Présents : PA, CA, GA, AL, MM Kmelia discussions sur Kml2B * étude des propositions sur graphes de contrôles * articles de p. Sotin, thèse de LEDANG * trouver les bonnes constructions B Graphe acyclique

kmelia:cr:cr190309

2018-04-03T16:59:36+02:00

CR rapide du 19/03/09 (rédigé par PA) Présents : PA, CA, GA, AL, MM, PS Organisation * SVN/CVS : Arnauld * Fichiers biblio : références communes, règles de nommage... * commun coloss * thématique équipe : Kmelia, B, Aspects,... *

kmelia:cr:cr230409

2018-04-03T16:59:36+02:00

CR rapide du 23/04/09 (rédigé par CA mis en ligne par PA) Présents : CA, AL, PS kmelia types shared (1) Pour "formaliser" l'emploi des fonctions dans les expressions Kmelia Types abstraits de données ( à inclure ensuite comme on veut/peut dans la spec, comme on fait dans d'autres langages de

kmelia:cr:cr231208

2018-04-03T16:59:36+02:00

CR 23/12/2008 (rédigé par MM) Présents : PA, CA, MM. Points discutés : * Portée des variables d'état d'un composant : * OBSERVABLE : c'est un ensemble de noms de variables (⊆ VARIABLES) par défaut vide, * Les OBSERVABLE peuvent être utilisées dans les assertions de service, * Les OBSERVABLE peuvent être utilisées dans les [propriétés] du composant, * Les OBSERVABLE peuvent être utilisées dans l'invariant du composant, * La promotion [des variables] par renommage porte sur les OBSERVABLE un…

kmelia:cr:cr260209

2018-04-03T16:59:36+02:00

CR rapide du 26/02/09 (rédigé par PA) Présents : PA, GA, AL, MM Kmelia discussions sur la sémantique de Kmelia * voir notes MM Axiomes * Composant séquentiel: une seule action d'un service s'exécute à la fois dans un composant (et dans le système) - Atomicité

kmelia:cr:cr280509

2018-04-03T16:59:36+02:00

Compte-rendu de la réunion du 18/05/09 Étaient présents : CA, PA, GA, PS, AL. Rédigé par PA, PS, AL. kmelia semantique shared Dynamique des appels de service * offert * requis : ALL statique ... (PS) Cas des services partagés En bref : Travail en cours. Vérification Kmelia

kmelia:cr:cr290509

2018-04-03T16:59:36+02:00

CR REU du Vendredi 29 mai kmelia cr b ---------- Facs09 - CA, AL Suite des experimentations en B (sur l'exemple Stock...) Après examen des obligation de preuve non déchargées, on s'aperçoit que la post-cond (de l'exemple) est incomplete ; - par exemple, on a dit dans l'Inv : que tout elt de cataloque a P(elt) en l'occurrence 0

kmelia:cr:notes_sur_la_reunion_du_27

2018-04-03T16:59:36+02:00

2008/11/27 la visibilité considérée ci -dessous ne l'est que pour la spécification, elle ne dit rien en particulier sur l'utilisation pour autre chose que des propriétés - a creuser dans un composant, - a priori toutes les variables d'états propres au composant sont visibles à l'extérieur (que ce soit dans une assembly ou un composite)

kmelia:cr:start

2018-04-03T16:59:36+02:00

Compte-rendus On peut maintenant ajouter des tags aux comptes rendus : {{tag> kmelia cr links}} Les tags actuellement utilisés sont : ~~TAGCLOUD~~ Juin CR du 11/06/09 ici Mai CR du 29/05/09 ici CR du 28/05/09 ici CR du 18/05/09 ici CR du 14/05/09 ici CR du 12/05/09