Simulating and model checking membrane systems using strategies in Maude

Membrane systems are a biologically-inspired computational model based on the structure of biological cells and the way chemicals interact and traverse their membranes. Although its dynamics is described by rules, encoding membrane systems into rewriting logic is not straightforward due to its compl...

Descripción completa

Detalles Bibliográficos
Autores: Rubio Cuéllar, Rubén Rafael, Martí Oliet, Narciso, Pita Andreu, María Isabel, Verdejo López, José Alberto
Tipo de recurso: artículo
Fecha de publicación:2021
País:España
Institución:Universidad Complutense de Madrid (UCM)
Repositorio:Docta Complutense
Idioma:inglés
OAI Identifier:oai:docta.ucm.es:20.500.14352/91462
Acceso en línea:https://hdl.handle.net/20.500.14352/91462
Access Level:acceso abierto
Palabra clave:Rewriting strategies
Membrane computing
Maude
Model checking
Lenguajes de programación
Lógica simbólica y matemática (Matemáticas)
1203.23 Lenguajes de Programación
1102.14 Lógica Simbólica
id ES_ba1065cef6ff716d43a7ea2eab7f9da2
oai_identifier_str oai:docta.ucm.es:20.500.14352/91462
network_acronym_str ES
network_name_str España
repository_id_str
spelling Simulating and model checking membrane systems using strategies in MaudeRubio Cuéllar, Rubén RafaelMartí Oliet, NarcisoPita Andreu, María IsabelVerdejo López, José AlbertoRewriting strategiesMembrane computingMaudeModel checkingLenguajes de programaciónLógica simbólica y matemática (Matemáticas)1203.23 Lenguajes de Programación1102.14 Lógica SimbólicaMembrane systems are a biologically-inspired computational model based on the structure of biological cells and the way chemicals interact and traverse their membranes. Although its dynamics is described by rules, encoding membrane systems into rewriting logic is not straightforward due to its complex control mechanisms, and multiple alternatives have been proposed in the literature and implemented in the Maude specification language. The recent release of the Maude strategy language and its associated strategy-aware model checker allow specifying these systems more easily, so that they become executable and verifiable for free. An interactive environment based on a previous prototype by Oana Andrei and Dorel Lucanu is available to operate with the membranes.ElsevierUniversidad Complutense de Madrid20212021-09-2820212021-09-28journal articlehttp://purl.org/coar/resource_type/c_6501AMhttp://purl.org/coar/version/c_ab4af688f83e57aainfo:eu-repo/semantics/articleapplication/pdfhttps://hdl.handle.net/20.500.14352/91462reponame:Docta Complutenseinstname:Universidad Complutense de Madrid (UCM)InglésengMinisterio de Economía y Competitividad http://dx.doi.org/10.13039/501100003329 Not available TIN2015-67522-C3-3-R TECNOLOGIAS Y HERRAMIENTAS PARA EL DESARROLLO DE SOFTWARE CONSCIENTE DE LOS RECURSOS, CORRECTO Y EFICIENTEAgencia Estatal de Investigación http://dx.doi.org/10.13039/501100011033 Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020 PID2019-108528RB-C22 METODOS RIGUROSOS PARA EL DESARROLLO DE SISTEMAS SOFTWARE DE CALIDAD Y FIABILIDAD CERTIFICADASMinisterio de Educación, Cultura y Deporte http://dx.doi.org/10.13039/501100003176 Plan Estatal de Investigación Científica y Técnica y de Innovación 2013-2016 FPU%2F02319open accesshttp://purl.org/coar/access_right/c_abf2Attribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessoai:docta.ucm.es:20.500.14352/914622026-06-02T12:44:21Z
dc.title.none.fl_str_mv Simulating and model checking membrane systems using strategies in Maude
title Simulating and model checking membrane systems using strategies in Maude
spellingShingle Simulating and model checking membrane systems using strategies in Maude
Rubio Cuéllar, Rubén Rafael
Rewriting strategies
Membrane computing
Maude
Model checking
Lenguajes de programación
Lógica simbólica y matemática (Matemáticas)
1203.23 Lenguajes de Programación
1102.14 Lógica Simbólica
title_short Simulating and model checking membrane systems using strategies in Maude
title_full Simulating and model checking membrane systems using strategies in Maude
title_fullStr Simulating and model checking membrane systems using strategies in Maude
title_full_unstemmed Simulating and model checking membrane systems using strategies in Maude
title_sort Simulating and model checking membrane systems using strategies in Maude
dc.creator.none.fl_str_mv Rubio Cuéllar, Rubén Rafael
Martí Oliet, Narciso
Pita Andreu, María Isabel
Verdejo López, José Alberto
author Rubio Cuéllar, Rubén Rafael
author_facet Rubio Cuéllar, Rubén Rafael
Martí Oliet, Narciso
Pita Andreu, María Isabel
Verdejo López, José Alberto
author_role author
author2 Martí Oliet, Narciso
Pita Andreu, María Isabel
Verdejo López, José Alberto
author2_role author
author
author
dc.contributor.none.fl_str_mv Universidad Complutense de Madrid
dc.subject.none.fl_str_mv Rewriting strategies
Membrane computing
Maude
Model checking
Lenguajes de programación
Lógica simbólica y matemática (Matemáticas)
1203.23 Lenguajes de Programación
1102.14 Lógica Simbólica
topic Rewriting strategies
Membrane computing
Maude
Model checking
Lenguajes de programación
Lógica simbólica y matemática (Matemáticas)
1203.23 Lenguajes de Programación
1102.14 Lógica Simbólica
description Membrane systems are a biologically-inspired computational model based on the structure of biological cells and the way chemicals interact and traverse their membranes. Although its dynamics is described by rules, encoding membrane systems into rewriting logic is not straightforward due to its complex control mechanisms, and multiple alternatives have been proposed in the literature and implemented in the Maude specification language. The recent release of the Maude strategy language and its associated strategy-aware model checker allow specifying these systems more easily, so that they become executable and verifiable for free. An interactive environment based on a previous prototype by Oana Andrei and Dorel Lucanu is available to operate with the membranes.
publishDate 2021
dc.date.none.fl_str_mv 2021
2021-09-28
2021
2021-09-28
dc.type.none.fl_str_mv journal article
http://purl.org/coar/resource_type/c_6501
AM
http://purl.org/coar/version/c_ab4af688f83e57aa
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.14352/91462
url https://hdl.handle.net/20.500.14352/91462
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.relation.none.fl_str_mv Ministerio de Economía y Competitividad http://dx.doi.org/10.13039/501100003329 Not available TIN2015-67522-C3-3-R TECNOLOGIAS Y HERRAMIENTAS PARA EL DESARROLLO DE SOFTWARE CONSCIENTE DE LOS RECURSOS, CORRECTO Y EFICIENTE
Agencia Estatal de Investigación http://dx.doi.org/10.13039/501100011033 Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020 PID2019-108528RB-C22 METODOS RIGUROSOS PARA EL DESARROLLO DE SISTEMAS SOFTWARE DE CALIDAD Y FIABILIDAD CERTIFICADAS
Ministerio de Educación, Cultura y Deporte http://dx.doi.org/10.13039/501100003176 Plan Estatal de Investigación Científica y Técnica y de Innovación 2013-2016 FPU%2F02319
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
Attribution-NonCommercial-NoDerivatives 4.0 International
http://creativecommons.org/licenses/by-nc-nd/4.0/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
Attribution-NonCommercial-NoDerivatives 4.0 International
http://creativecommons.org/licenses/by-nc-nd/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Elsevier
publisher.none.fl_str_mv Elsevier
dc.source.none.fl_str_mv reponame:Docta Complutense
instname:Universidad Complutense de Madrid (UCM)
instname_str Universidad Complutense de Madrid (UCM)
reponame_str Docta Complutense
collection Docta Complutense
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869417826236760064
score 15,301603

Similares en LA Referencia