Ponencia
Specifying Dynamic Software Architectures by Using Membrane Systems
Autor/es | Cavaliere, Matteo
Deufemia, Vincenzo |
Fecha de publicación | 2005 |
Fecha de depósito | 2016-02-25 |
Publicado en |
|
ISBN/ISSN | 84-609-6771-9 |
Resumen | We present a formalism for the definition of dynamic software architectures in terms of membrane systems, distributed computational models inspired from
the structure and the functioning of living cells. The dynamics (the ... We present a formalism for the definition of dynamic software architectures in terms of membrane systems, distributed computational models inspired from the structure and the functioning of living cells. The dynamics (the evolution) of the overall architecture is defined by rules that modify the contents (data) and structure of the membrane system. The evolution of the membrane system can be statically checked to ensure that some properties imposed by the architecture are preserved. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
bravol87.pdf | 243.7Kb | [PDF] | Ver/ | |