A small-step approach to multi-trace checking against interactions
Résumé
Interaction models describe the exchange of messages between the different components of distributed systems. This paper presents an approach for checking the validity of multi-traces against interaction models. A multi-trace is a collection of traces (sequences of emissions and receptions), each representing a local view of the same global execution of the distributed system. We formally prove our approach, study its complexity, and implement it in a prototype tool.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
