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

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

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.
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
Loading...

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⟩
50 Consultations
199 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More