Dynamic Composition of Evolving Process Types

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.

Data and Resources

Additional Info

Field Value
Source https://inria.hal.science/hal-00655017
Author Attiogbé, Christian
Maintainer CCSD
Last Updated November 10, 2026, 09:14 (UTC)
Created November 10, 2026, 09:14 (UTC)
Identifier hal-00655017
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Laboratoire d'Informatique de Nantes Atlantique (LINA) ; Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST) ; Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)
creator Attiogbé, Christian
date 2011-11-10T00:00:00
harvest_object_id 04d17ddc-a491-42a1-a304-8227ae57a810
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2024-01-05T00:00:00
relation info:eu-repo/semantics/altIdentifier/arxiv/1112.5774
set_spec type:REPORT