Published December 7, 2016
| Version v1
Publication
Kernel P Systems Modelling, Testing and Veri cation
Description
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.
Additional details
Identifiers
- URL
- https://idus.us.es/handle/11441/49811
- URN
- urn:oai:idus.us.es:11441/49811