Simulating and model checking membrane systems using strategies in Maude
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866917567922176000 |
|---|---|
| author | Rubio, Rubén Martí-Oliet, Narciso Pita, Isabel Verdejo, Alberto |
| author_facet | Rubio, Rubén Martí-Oliet, Narciso Pita, Isabel Verdejo, Alberto |
| contents | 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 their dynamics are described by rules, encoding membrane systems into rewriting logic is not straightforward due to its complex control mechanisms. 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 easily-extensible interactive environment transforms membrane specifications into rewrite theories controlled by appropriate strategies, and allows simulating and verifying membrane computations by means of them. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_07743 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Simulating and model checking membrane systems using strategies in Maude Rubio, Rubén Martí-Oliet, Narciso Pita, Isabel Verdejo, Alberto Logic in Computer Science 68Q60, 68Q07 F.4.1; F.3.1 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 their dynamics are described by rules, encoding membrane systems into rewriting logic is not straightforward due to its complex control mechanisms. 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 easily-extensible interactive environment transforms membrane specifications into rewrite theories controlled by appropriate strategies, and allows simulating and verifying membrane computations by means of them. |
| title | Simulating and model checking membrane systems using strategies in Maude |
| topic | Logic in Computer Science 68Q60, 68Q07 F.4.1; F.3.1 |
| url | https://arxiv.org/abs/2401.07743 |