Formal models must be adequately supported by software tools in order to aid both the design and development of modern distributed systems. Such systems have a growing complexity due to advanced features, such as adaptive mechanisms, they are equipped with to deal with the dynamical environments in which they operate. In this paper, we introduce a two-layer formal model for self-adaptive distributed discrete-event systems, based on standard (Low- and High-level) Petri nets. This formal framework, supported by a modular software library called PNEMU, can be thought of as a baseline to formalize self-adaptation having a decentralized control. This paper focuses on the description of the model's operational semantics. Moreover, it outlines the structure and basic usage of PNEMU.

Formalizing distributed self-adaptive systems using high-level petri nets / L. Capra, M. Camilli - In: SummerSim '19: Proceedings / [a cura di] U.Durak. - Prima edizione. - [s.l] : Society for Computer Simulation International, 2019. - pp. 1-12 (( convegno Summer Simulation Conference tenutosi a Berlin nel 2019.

Formalizing distributed self-adaptive systems using high-level petri nets

L. Capra
Primo
;
M. Camilli
2019

Abstract

Formal models must be adequately supported by software tools in order to aid both the design and development of modern distributed systems. Such systems have a growing complexity due to advanced features, such as adaptive mechanisms, they are equipped with to deal with the dynamical environments in which they operate. In this paper, we introduce a two-layer formal model for self-adaptive distributed discrete-event systems, based on standard (Low- and High-level) Petri nets. This formal framework, supported by a modular software library called PNEMU, can be thought of as a baseline to formalize self-adaptation having a decentralized control. This paper focuses on the description of the model's operational semantics. Moreover, it outlines the structure and basic usage of PNEMU.
High-Level Petri nets; Self-adaptation; Decentralized control; Model checking
Settore INF/01 - Informatica
SIGSIM
https://dl.acm.org/doi/abs/10.5555/3374138.3374166
Book Part (author)
File in questo prodotto:
File Dimensione Formato  
3374138.3374166.pdf

accesso riservato

Tipologia: Publisher's version/PDF
Dimensione 1.05 MB
Formato Adobe PDF
1.05 MB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2434/847776
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact