Defining and Analyzing P2P Applications with a Data-Dependency Formalism - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Defining and Analyzing P2P Applications with a Data-Dependency Formalism

Résumé

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.
Fichier principal
Vignette du fichier
PDCAT2012_Final.pdf (273.72 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

lirmm-00757286 , version 1 (26-11-2012)

Identifiants

  • HAL Id : lirmm-00757286 , version 1

Citer

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. ⟨lirmm-00757286⟩
320 Consultations
627 Téléchargements

Partager

Gmail Facebook X LinkedIn More