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

Specifying Dynamic Software Architectures by Using Membrane Systems

 

Advanced Search
 

Show simple item record

dc.creator Cavaliere, Matteo
dc.creator Deufemia, Vincenzo
dc.date.accessioned 2016-02-25T11:07:43Z
dc.date.available 2016-02-25T11:07:43Z
dc.date.issued 2005
dc.identifier.isbn 84-609-6771-9 es
dc.identifier.uri http://hdl.handle.net/11441/36556
dc.description.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. es
dc.format application/pdf es
dc.language.iso eng es
dc.publisher Fénix Editora es
dc.relation.ispartof 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, es
dc.rights Attribution-NonCommercial-NoDerivatives 4.0 Internacional *
dc.rights.uri http://creativecommons.org/licenses/by-nc-nd/4.0/ *
dc.title Specifying Dynamic Software Architectures by Using Membrane Systems es
dc.type info:eu-repo/semantics/conferenceObject es
dc.type.version info:eu-repo/semantics/publishedVersion es
dc.rights.accessrights info:eu-repo/semantics/openAccess
dc.identifier.idus https://idus.us.es/xmlui/handle/11441/36556
Size: 243.7Kb
Format: PDF

This item appears in the following Collection(s)

Show simple item record