Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems

被引：0
作者：
Capra, Lorenzo [1 ]
Koehler-Bussmeier, Michael [2 ]
机构：
[1] Univ Milan, Dipartimento Informat, Milan, Italy
[2] Univ Appl Sci, Hamburg, Germany
来源：
38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023 | 2023年
关键词：
Adaptive Systems; Petri Nets; Maude; Nets-within-Nets; PETRI NETS;
D O I：
10.1145/3555776.3578617
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
Adaptable distributed systems gain growing attention to raising service quality at low costs. Managing adaptation calls for suitable models through the entire life cycle. A challenging point is system structural reconfiguration, which has led to specialized formal models. We aim to bridge the gap with daily programming languages by defining a Maude abstract machine for "Nets-within-Nets".
引用
收藏
页码：188 / 191
页数：4
相关论文
共 14 条
[1]   Specification and proof in membership equational logic [J].
Bouhoula, A ;
Jouannaud, JP ;
Meseguer, J .
THEORETICAL COMPUTER SCIENCE, 2000, 236 (1-2) :35-132
[2]  
Bruni R, 2003, LECT NOTES COMPUT SC, V2719, P252
[3]   Canonization of Reconfigurable PT Nets in Maude [J].
Capra, Lorenzo .
REACHABILITY PROBLEMS, RP 2022, 2022, 13608 :160-177
[4]   Rewriting Logic and Petri Nets: A Natural Model for Reconfigurable Distributed Systems [J].
Capra, Lorenzo .
DISTRIBUTED COMPUTING AND INTELLIGENT TECHNOLOGY, ICDCIT 2022, 2022, 13145 :140-156
[5]  
Clavel M., 2007, ALL MAUDE A HIGH PER, V4350, DOI [10.1007/978-3-540-71999-1, DOI 10.1007/978-3-540-71999-1]
[6]   Formal Verification approaches of Self-adaptive Systems: A Survey [J].
Hachicha, Marwa ;
Ben Halima, Riadh ;
Kacem, Ahmed Hadj .
KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS (KES 2019), 2019, 159 :1853-1862
[7]   A Survey of Decidability Results for Elementary Object Systems [J].
Koehler-Bussmeier, Michael .
FUNDAMENTA INFORMATICAE, 2014, 130 (01) :99-123
[8]   Liveness of Safe Object Nets [J].
Koehler-Bussmeier, Michael ;
Heitmann, Frank .
FUNDAMENTA INFORMATICAE, 2011, 112 (01) :73-87
[9]  
Köhler M, 2004, LECT NOTES COMPUT SC, V3099, P278
[10]  
Kummer O, 2004, LECT NOTES COMPUT SC, V3099, P484
12