|
|
|
| Executable Specification of P Systems with Active Membranes and Its Implementation |
| ZHANG Minaa,QI Zheng-weib,DONG Xiao-jua |
(a.School of Electronic, Information and Electrical Engineering; b.School of Software,
Shanghai Jiaotong University, Shanghai 200240, China) |
|
|
|
|
Abstract Based on rewriting logic, an executable specification method was proposed to specify the P systems with active membranes (PSAM) in Maude language. The purpose is to check the correctness of the model automatically and study the properties of PSAM with the help of computer. Six formal specifications were defined in Maude respectively for the six basic rules in PSAM, so that any given PSAM model can be specified formally. An example was presented to demonstrate how to specify the PSAM model, which is used to solve SAT Problem. The feasibility and correctness of the specification method are concluded practically, with the analysis of the result that is reduced by running the specification in Maude.
|
|
Received: 11 November 2007
Published: 28 October 2008
|
|
|
|
Corresponding Authors:
DONG Xiao-ju
|
|
|
|
| No related articles found! |
|
|
|
|
