Ponencia
Kernel P Systems Modelling, Testing and Veri cation
Autor/es | Gheorghe, Marian
Ceterchi, Rodica Ipate, Florentin Konur, Savas |
Fecha de publicación | 2016 |
Fecha de depósito | 2016-12-07 |
Publicado en |
|
Resumen | A kernel P system (kP system, for short) integrates in a coherent and elegant
manner many of the P system features most successfully used for modelling various
applications and, consequently, it provides a framework for ... A kernel P system (kP system, for short) integrates in a coherent and elegant manner many of the P system features most successfully used for modelling various applications and, consequently, it provides a framework for analyzing these models. In this paper, we illustrate the modeling capabilities of kernel P systems by showing how other classes of P systems can be represented with this formalism and providing a number of kP system models for sorting algorithms. Furthermore, the problem of testing systems modelled as kP systems is also discussed and a test generation method based on automata is proposed. We also demonstrate how formal veri cation can be used to validate that the given models work as desired. |
Cita | Gheorghe, M., Ceterchi, R., Ipate, F. y Konur, S. (2016). Kernel P Systems Modelling, Testing and Veri cation. En BWMC 2016 : 14th Brainstorming Week on Membrane Computing : Sevilla, February 1-5 (205-230), Sevilla: Fénix. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
205_kPS-MFRS-10.pdf | 354.5Kb | [PDF] | Ver/ | |