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 条
  • [31] Executable tile specifications for process calculi
    Bruni, R
    Meseguer, J
    Montanari, U
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1999, 1577 : 60 - 76
  • [32] Executable TMN-specifications in TIMS
    Eberhardt, R
    Sidou, D
    Festor, O
    Mazziotta, S
    Labetoulle, J
    NOMS '96 - 1996 IEEE NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM, VOLS. 1-4, 1996, : 266 - 269
  • [33] Graphical simulation tool creates executable design specifications for various complex systems
    Williams, T
    ELECTRONIC DESIGN, 1996, 44 (26) : 54 - 55
  • [34] PETRI NETS AS EXECUTABLE SPECIFICATIONS OF HIGH-LEVEL TIMED PARALLEL SYSTEMS
    Pommereau, Franck
    SCALABLE COMPUTING-PRACTICE AND EXPERIENCE, 2005, 6 (04): : 71 - 81
  • [35] Ghosts for Lists: From Axiomatic to Executable Specifications
    Loulergue, Frederic
    Blanchard, Allan
    Kosmatov, Nikolai
    TESTS AND PROOFS, TAP 2018, 2018, 10889 : 177 - 184
  • [36] Validating Avionics Conceptual Architectures with Executable Specifications
    Fischer, Nils
    Salzwedel, Horst
    WMSCI 2011: 15TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL III, 2011, : 209 - 214
  • [37] UMIST OBJ - A LANGUAGE FOR EXECUTABLE PROGRAM SPECIFICATIONS
    GALLIMORE, RM
    COLEMAN, D
    STAVRIDOU, V
    COMPUTER JOURNAL, 1989, 32 (05): : 413 - 421
  • [38] EXECUTABLE HIGHER-ORDER ALGEBRAIC SPECIFICATIONS
    JOUANNAUD, JP
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 480 : 16 - 25
  • [39] Executable specifications of resource-bounded agents
    Fisher, Michael
    Ghidini, Chiara
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2010, 21 (03) : 368 - 396
  • [40] HOARE LOGIC, EXECUTABLE SPECIFICATIONS, AND LOGIC PROGRAMS
    FUCHS, NE
    STRUCTURED PROGRAMMING, 1992, 13 (03): : 129 - 135
12345