تقرير
Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation
العنوان: | Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation |
---|---|
المؤلفون: | Mahe, Erwan, Bannour, Boutheina, Gaston, Christophe, Lapitre, Arnault, Gall, Pascale Le |
سنة النشر: | 2024 |
المجموعة: | Computer Science |
مصطلحات موضوعية: | Computer Science - Software Engineering |
الوصف: | Offline runtime verification involves the static analysis of executions of a system against a specification. For distributed systems, it is generally not possible to characterize executions in the form of global traces, given the absence of a global clock. To account for this, we model executions as collections of local traces called multi-traces, with one local trace per group of co-localized actors that share a common clock. Due to the difficulty of synchronizing the start and end of the recordings of local traces, events may be missing at their beginning or end. Considering such partially observed multi-traces is challenging for runtime verification. To that end, we propose an algorithm that verifies the conformity of such traces against formal specifications called Interactions (akin to Message Sequence Charts). It relies on parameterized simulation to reconstitute unobserved behaviors. Comment: 28 double-column pages (25 in the paper proper, 3 additional pages for references and appendices), 19 figures (1 in the appendices), submitted to the Journal of Object Technology |
نوع الوثيقة: | Working Paper |
الوصول الحر: | http://arxiv.org/abs/2403.03083Test |
رقم الانضمام: | edsarx.2403.03083 |
قاعدة البيانات: | arXiv |
الوصف غير متاح. |