Modélisation d'architectures d'applications - Moyens et formalismes

Domenico Cavaliere 1 Françoise Simonot-Lion 1 Ye-Qiong Song 1
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Ce document présente un état de l'art des moyens de description d'architectures d'applications informatiques qui peuvent s'appliquer dans le contexte des systèmes d'automatisation de la production du domaine manufacturier. Certains langages de description d'architecture (ADL) sont analysés. Les techniques de description formelle (FDT) sont étudiées sous le même point de vue. Puis, le pouvoir d'expression de ces formalismes pour la vérification de propriétés des applications prenant en compte la distribution et les performances du support matériel est discuté. Enfin,ils sont confrontés aux concepts de " middleware " et de " CORBA ". l'annexe rassemble les tableaux comparatifs sur certains ADL analysés.
Type de document :
Rapport
[Interne] 99-R-217 || cavaliere99a, 1999, 52 p
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00107833
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:11:15
Dernière modification le : jeudi 11 janvier 2018 - 06:20:05
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 12:59:13

Fichier

Identifiants

  • HAL Id : inria-00107833, version 1

Collections

Citation

Domenico Cavaliere, Françoise Simonot-Lion, Ye-Qiong Song. Modélisation d'architectures d'applications - Moyens et formalismes. [Interne] 99-R-217 || cavaliere99a, 1999, 52 p. 〈inria-00107833〉

Partager

Métriques

Consultations de la notice

169

Téléchargements de fichiers

321