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.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
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.