Loading...
kPWorkbench: A software suit for membrane systems
Konur, Savas Mierla, L.M. Ipate, F. Gheorghe, Marian
Konur, Savas
Mierla, L.M.
Ipate, F.
Gheorghe, Marian
Publication Date
2020
End of Embargo
Supervisor
Rights
(c) 2020 The Authors. This is an Open Access article distributed under the Creative Commons CC-BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/)
Peer-Reviewed
Yes
Open Access status
Accepted for publication
2020-01-23
Institution
Department
Awarded
Embargo end date
Additional title
Abstract
Membrane computing is a new natural computing paradigm inspired by the functioning and structure of biological cells, and has been successfully applied to many different areas, from biology to engineering. In this paper, we present kPWorkbench, a software framework developed to support membrane computing and its applications. kPWorkbench offers unique features, including modelling, simulation, agent-based high performance simulation and verification, which allow modelling and computational analysis of membrane systems. The kPWorkbench formal verification component provides the opportunity to analyse the behaviour of a model and validate that important system requirements are met and certain behaviours are observed. The platform also features a property language based on natural language statements to facilitate property specification.
Version
Published version
Citation
Konur S, Mierla L, Ipate F et al (2020) kPWorkbench: A software suit for membrane systems. SoftwareX. 11: 100407.
Link to publisher’s version
Link to published version
Link to Version of Record
Type
Article