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.
|Titolo:||Formalizing distributed self-adaptive systems using high-level petri nets|
CAPRA, LORENZO (Primo) (Corresponding)
|Parole Chiave:||High-Level Petri nets; Self-adaptation; Decentralized control; Model checking|
|Settore Scientifico Disciplinare:||Settore INF/01 - Informatica|
|Data di pubblicazione:||2019|
|Enti collegati al convegno:||SIGSIM|
|Tipologia:||Book Part (author)|
|Appare nelle tipologie:||03 - Contributo in volume|