Defining and Analyzing P2P Applications with a Data-Dependency Formalism

Ayoub Ait Lahcen 1, 2 Salma Mouline 2 Didier Parigot 1
1 ZENITH - Scientific Data Management
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : Developing peer-to-peer (P2P) applications be- came increasingly important in software development. Nowa- days, a large number of organizations from many different sec- tors and sizes depend more and more on collaboration between actors to perform their tasks. These P2P applications usually have a recursive behavior that many modeling approaches cannot describe and analyze (e.g., finite-state approaches). In this paper, we present a formal approach that combines component-based development with well-understood methods and techniques from the field of Attribute Grammars and Data-Flow Analysis in order to specify the behavior of P2P applications, and then construct an abstract representation (i.e., Data-Dependency Graph) to perform analyzes on it.
Type de document :
Communication dans un congrès
PDCAT'12: Parallel and Distributed Computing, Applications and Technologies, Dec 2012, Beijing, China. IEEE, 2012, 〈http://www.pdcat2012.org/〉
Liste complète des métadonnées

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

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00757286
Contributeur : Didier Parigot <>
Soumis le : lundi 26 novembre 2012 - 15:44:56
Dernière modification le : jeudi 11 janvier 2018 - 16:20:53
Document(s) archivé(s) le : mercredi 27 février 2013 - 03:45:26

Fichier

PDCAT2012_Final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : lirmm-00757286, version 1

Citation

Ayoub Ait Lahcen, Salma Mouline, Didier Parigot. Defining and Analyzing P2P Applications with a Data-Dependency Formalism. PDCAT'12: Parallel and Distributed Computing, Applications and Technologies, Dec 2012, Beijing, China. IEEE, 2012, 〈http://www.pdcat2012.org/〉. 〈lirmm-00757286〉

Partager

Métriques

Consultations de la notice

317

Téléchargements de fichiers

610