Skip to Main content Skip to Navigation
Reports

Dynamic Composition of Evolving Process Types

Abstract : Classical approaches like process algebras or labelled transition systems deal with static composition to model non-trivial concurrent or distributed systems; this is not sufficient for systems with dynamic architecture and with variable number of components. We introduce a method to guide the modelling and the dynamic composition of processes to build large distributed systems with dynamic adhoc architecture. The modelling and the composition are based on an event-based approach that favour the decoupling of the system components. The composition uses the sharing of abstract communication channels. The method is appropriate to deal with evolving processes (with mobility, mutation). The event-B method is used for practical support. A fauna and its evolution are considered as a working system; this system presents some specificities, its behaviour is not foreseeable, it has an adhoc (not statically fixed) architecture.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/hal-00655017
Contributor : Christian Attiogbé Connect in order to contact the contributor
Submitted on : Saturday, December 24, 2011 - 9:13:11 PM
Last modification on : Wednesday, April 27, 2022 - 4:12:01 AM
Long-term archiving on: : Monday, December 5, 2016 - 8:56:56 AM

Files

fauna_eb.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00655017, version 1
  • ARXIV : 1112.5774

Citation

Christian Attiogbé. Dynamic Composition of Evolving Process Types. [Research Report] LINA-University of Nantes. 2011, pp.24. ⟨hal-00655017⟩

Share

Metrics

Record views

105

Files downloads

96