Repositorio de producción científica de la Universidad de Sevilla

Specifying Dynamic Software Architectures by Using Membrane Systems

 

Advanced Search
 
Opened Access Specifying Dynamic Software Architectures by Using Membrane Systems
Cites
Show item statistics
Icon
Export to
Author: Cavaliere, Matteo
Deufemia, Vincenzo
Date: 2005
Published in: Proceedings of the Third Brainstorming Week on Membrane Computing, 87-106. Sevilla, E.T.S. de Ingeniería Informática, 31 de Enero-4 de Febrero, 2005,
ISBN/ISSN: 84-609-6771-9
Document type: Presentation
Abstract: 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.
Size: 243.7Kb
Format: PDF

URI: http://hdl.handle.net/11441/36556

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)