Adaptabledistributedsystemsgaingrowingattentiontoraising servicequalityatlowcosts.Managingadaptationcallsforsuitable modelsthroughtheentirelifecycle.Achallengingpointissystem structuralreconfiguration,whichhasledtospecializedformalmodels.Weaimtobridgethegapwithdailyprogramminglanguages bydefiningaMaudeabstractmachinefor“Nets-within-Nets”.
Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems / L. Capra, M. Köhler-Bußmeier - In: SAC '23: Proceedings[s.l] : ACM, 2023. - ISBN 978-1-4503-9517-5. - pp. 188-191 (( Intervento presentato al 38. convegno Symposium on Applied Computing tenutosi a Tallinn nel 2023 [10.1145/3555776.3578617].
Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems
L. Capra
Primo
Membro del Collaboration Group
;
2023
Abstract
Adaptabledistributedsystemsgaingrowingattentiontoraising servicequalityatlowcosts.Managingadaptationcallsforsuitable modelsthroughtheentirelifecycle.Achallengingpointissystem structuralreconfiguration,whichhasledtospecializedformalmodels.Weaimtobridgethegapwithdailyprogramminglanguages bydefiningaMaudeabstractmachinefor“Nets-within-Nets”.
| File | Dimensione | Formato | |
|---|---|---|---|
|
3555776.3578617.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
1.26 MB
Formato
Adobe PDF
|
1.26 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.
