Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00420017
Contributor : Christian Attiogbe Connect in order to contact the contributor
Submitted on : Monday, April 5, 2010 - 6:57:39 PM
Last modification on : Wednesday, April 27, 2022 - 4:23:16 AM
Long-term archiving on: : Tuesday, September 14, 2010 - 5:12:41 PM

File

attiogbe_isola2008_SpringerCCI...
Publisher files allowed on an open archive

Identifiers

Citation

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⟩

Share

Metrics

Record views

47

Files downloads

184