Conference
A Dynamic Temporal Logic for Quality of Service in Choreographic Models
Abstract
We propose a framework for expressing and analyzing the Quality of Service (QoS) of message-passing systems using a choreographic model that consists of g-choreographies and Communicating Finite State machines (CFSMs). The following are our three main contributions: (I) an extension of CFSMs with non-functional contracts to specify quantitative constraints of local computations, (II) a dynamic temporal logic capable of expressing QoS, …
Authors
Pombo CGL; Suñé AEM; Tuosto E
Series
Lecture Notes in Computer Science
Volume
14446
Pagination
pp. 119-138
Publisher
Springer Nature
Publication Date
2023
DOI
10.1007/978-3-031-47963-2_9
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743