Event-Based Approach to Modeling Dynamic Architecture: Appliocation to Mobile Ad Hoc Network - Archive ouverte HAL
Communication Dans Un Congrès Année : 2008

Event-Based Approach to Modeling Dynamic Architecture: Appliocation to Mobile Ad Hoc Network

J. Christian Attiogbe
Laboratoire d'Informatique de Nantes Atlantique
CV

Résumé

We describe an event-based approach to specifiy systems with dynamically evolving architecture; the study is illustrated with the structuring and routing in Mobile Ad-hoc Network. The resulting spec- ification is augmented with desired properties and then analysed using theorem proving and model checking tools.

Domaines

Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
attiogbe_isola2008_SpringerCCIS_17.pdf (450.7 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Christian Attiogbe  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00420017

Soumis le : lundi 5 avril 2010-18:57:39

Dernière modification le : vendredi 5 janvier 2024-03:24:58

Archivage à long terme le : mardi 14 septembre 2010-17:12:41

Télécharger pour visualiser

Dates et versions

hal-00420017 , version 1 (05-04-2010)

Identifiants

Citer

J. Christian Attiogbe. Event-Based Approach to Modeling Dynamic Architecture: Appliocation to Mobile Ad Hoc Network. ISoLA 2008, Oct 2008, Porto-sani, Greece. pp.769-781, ⟨10.1007/978-3-540-88479-8_55⟩. ⟨hal-00420017⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS LINA LINA-COLOSS LINA-AELOS LS2N NANTES-UNIVERSITE
76 Consultations
218 Téléchargements

Altmetric

Partager

More