Executable specifications of P systems

被引：0
|
作者：
Andrei, O [1 ]
Ciobanu, G [1 ]
Lucanu, D [1 ]
机构：
[1] Al I Cuza Univ Iasi, Fac Comp Sci, Iasi, Romania
来源：
MEMBRANE COMPUTING | 2004年 / 3365卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper presents a natural algebraic specification for the P systems. The specification is executable in Maude, a software system supporting rewriting and equational logic. We define the P system maximal parallel evolution as a specific rewriting strategy in Maude. By extending the Maude rewriting semantics with this strategy,We provide an operational semantics of the P systems. We present few examples of specifying and executing simple P systems, describing how target indications, dissolving and priorities are handled. Moreover, the Maude system allows the verification of various properties of the P systems expressed as linear temporal logic formulas by using a model checker.
引用
收藏
页码：126 / 145
页数：20
相关论文
共 50 条
  • [41] Hierarchical Accumulative Validation of Executable Control Specifications
    Farnsworth, Jared
    Ueda, Koichi
    Mizuno, Hideaki
    Yoshida, Michio
    SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2013, 6 (01): : 186 - 193
  • [42] Visualisation of executable formal specifications for user validation
    Özcan, MB
    Parry, PW
    Morrey, IC
    Siddiqi, JI
    SERVICES AND VISUALIZATION: TOWARDS USER-FRIENDLY DESIGN, 1998, 1385 : 142 - 157
  • [43] EXECUTABLE LOGIC SPECIFICATIONS FOR PROTOCOL SERVICE INTERFACES
    SIDHU, DP
    CRALL, CS
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (01) : 98 - 121
  • [44] Executable specifications of resource-bounded agents
    Michael Fisher
    Chiara Ghidini
    Autonomous Agents and Multi-Agent Systems, 2010, 21 : 368 - 396
  • [45] Reversibility of Executable Interval Temporal Logic Specifications
    Cau, Antonio
    Kuhn, Stefan
    Hoey, James
    REVERSIBLE COMPUTATION (RC 2021), 2021, 12805 : 214 - 223
  • [46] Use of executable formal specifications in user validation
    Ozcan, MB
    SOFTWARE-PRACTICE & EXPERIENCE, 1998, 28 (13): : 1359 - 1385
  • [47] TOWARDS EXECUTABLE SPECIFICATIONS USING CONDITIONAL AXIOMS
    DROSTEN, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 166 : 85 - 96
  • [48] Enhancing Deep Reinforcement Learning with Executable Specifications
    Yerushalmi, Raz
    2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION, 2023, : 213 - 217
  • [49] Executable specifications for agent oriented conceptual modelling
    Guan, Y
    Ghose, AK
    2005 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY, PROCEEDINGS, 2005, : 475 - 478
  • [50] EXECUTABLE SPECIFICATIONS WITH DATA-FLOW DIAGRAMS
    FUGGETTA, A
    GHEZZI, C
    MANDRIOLI, D
    MORZENTI, A
    SOFTWARE-PRACTICE & EXPERIENCE, 1993, 23 (06): : 629 - 653
12345