MORSE: Documents non publics

Vous trouverez dans cette rubrique les documents internes au projet MORSE. Ces documents sont classés par catégorie.

Modèles de documents

• Modèle word pour les documents MORSE (19/12/2003)
• Modèle latex pour les documents MORSE (26/12/2003)

Éléments bibiographiques

• ROOM: des machines reconfigurables orientées objet (pdf, 117 Ko)
• Rigorous Development in UML (pdf, 174 Ko)
• The UML as a Formal Modeling Notation (pdf, 181 Ko)
• UML+ROOM as a standard ADL? (pdf, 151 Ko)
• Transforming UML Models to Formal Specifications (pdf, 148 Ko)
• Synthesizing executable models of object oriented architectures (pdf, 419 Ko)

Documents techniques

• Syntaxe LfP - version 0.14, 12/06/2003 (pdf, 848 Ko)
• Syntaxe LfP - version 0.20, 13/06/2004 (pdf, 776 Ko)
• Syntaxe LfP (textuelle) - version 1.0, 09/11/2004 (pdf, 328 Ko) + un exemple
• Parseur LfP-textuel (NTRL) - version 1.0, 1/12/2004 (tgz, 56Ko)
• Sémantique LfP - version 0.15, 12/06/2003 (pdf, 688 Ko)
• Sémantique LfP - version 0.16, 13/06/2004 (pdf, 900 Ko)
• Meta-modèle LfP - version 1.0, 30/06/2004 (pdf, 1,8 Mo)
• Feuille de route Aonix - version 1.0, 14/11/2003 (doc, 60 Ko)
• Description des travaux Aonix - version 1.0, 02/04/2004 (pdf, 48 Ko)
• Description des travaux Aonix - version 1.3, 14/12/2004 (pdf, 92 Ko)
• Guide Méthodologique - Version 1.2 (pdf, 570Ko)
• Représentation en UML des éléments de modélisation LfP - version 1.0 (pdf, 248 Ko)
• Améliorations sur la bibliothèques des DDD - version 1.0 (doc, 116 Ko)
• Vérification de programmes LfP avec les DDD - version 1.0 (doc, 252 Ko)
• Exemple de génération de code manuelle avec LfP - version 0.1 (pdf, 664 Ko)
• XMI du métamodèle LfP (juillet 2004) (XML, 196 Ko)
• Documentation en ligne des entités du métamodèle LfP (Juillet 2004) (html, 92 Ko)
• Rapport sur l'utilisation d'OCL pour définir les propriétés (Juin 2005) (html, 92 Ko)
• Génération de code C++ (Juillet 2005) (pdf, 384Ko)
• Modifications du MetaModèle LfP (Juillet 2005) (pdf, 44Ko)
• Draft de la documentation sur le profil UML-M (Septembre 2005) (word, 368Ko)
• Solutions pour la représentation des concepts LfP en UML 2.0 (pdf, 2048Ko)
• Ecole interne MORSE:
  • Principes de LfP (pdf, 444Ko),
• Spécifications fonctionnelles de l'application témoin (pdf, 456Ko)
• Application témoin de Sagem (version de Juillet 2006)
  • Spécification fonctionnelle (zip, 404Ko)
  • Code LfP (zip, x4o)
  • Dossier d'architecture logicielle (zip, 196Ko)
  • Spécification des communications (zip, 216Ko)

Dissémination

• Poster journées RNTL 2002 mis-à-jour par M. Richard-Foy (ppt, 1,5 Mo)
• "Generation of distributed programs in their target execution environment", article Accepté à la conférence RSP'2004, par F. Gilliers, F. Kordon & J-P. Velu (pdf, 256 Ko)
• Transparents de la présentation de l'article à la conférence RSP'2004 (ppt, xxx Ko)
• Transparents de la présentation à la journée technique Aonix du 08/06/2004 (ppt, 288 Ko)
• Modeling and verifying behavioral aspects, chapitre du livre Formal Methods for Embedded Distributed Systems: How to master the complexity édité par Kluwer (pdf, 280 Ko)

Sources des documents relatifs aux fournitures

• Semestre 1:
  • État d'avancement des activités (décembre 2003)
  • Etat d'avancement des activités (Juin 2004)

Proposition RNTL initiale

• MORSE - proposition version finale
• résumé MORSE
• Accord MORSE
• MORSE - annexe technique de la convention