Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems
Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems
复制标题
走向P系统模型仿真、属性提取和验证的综合方法
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
C. Dragomir
中科院分区：
文献类型：
--
作者：
R. Lefticaru;F. Ipate;L. V. Cabrera;A. Turcanu;C. Tudose;Marian Gheorgue;M. J. P. Jiménez;Ionut;C. Dragomir
本文提出了一种P系统的模型仿真、性质提取和形式化验证的综合方法，并以一个具有活性膜的组织P系统为例进行了说明。本文针对这一问题，报道了使用一系列工具（Daikon、MeCoSim、Maple、Spin、ProB）和语言（P-Lingua、Promela、Event-B）提取和验证的不变量及其性质。还开发了适当的工具和集成插件，它们可以促进甚至自动化上述方法中涉及的步骤。所选择的案例研究是复杂的（它涉及到通过使用膜分裂规则的状态数的指数增长），所获得的性质是不平凡的。
This paper presents an integrated approach for model simulation, property extraction and formal verification of P systems, illustrated on a tissue P system with active membranes solving the 3-colouring problem. The paper focuses on this problem and reports the invariants and the properties extracted and verified using a series of tools (Daikon, MeCoSim, Maple, Spin, ProB) and languages (P–Lingua, Promela, Event-B). Appropriate tools and integration plugins, which facilitate and even automate the steps involved in the aforementioned approach, have also been developed. The case study chosen is complex (it involves an exponential growth of the number of states through the use of membrane division rules) and the properties obtained are non-trivial.