Presentation
Specifying Dynamic Software Architectures by Using Membrane Systems
Author/s | Cavaliere, Matteo
Deufemia, Vincenzo |
Publication Date | 2005 |
Deposit Date | 2016-02-25 |
Published in |
|
ISBN/ISSN | 84-609-6771-9 |
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 ... 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. |
Files | Size | Format | View | Description |
---|---|---|---|---|
bravol87.pdf | 243.7Kb | [PDF] | View/ | |