Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/91093| Title: | Runtime verification of contracts with Themulus |
| Authors: | Aranda Garcia, Alberto Cambronero, Maria-Emilia Colombo, Christian Llana, Luis Pace, Gordon J. |
| Keywords: | Deontic logic Formal methods (Computer science) Computer software -- Verification Computer software -- Security measures |
| Issue Date: | 2020 |
| Publisher: | Springer |
| Citation: | Aranda Garcia, A., Cambronero, M.-E., Colombo, C., Llana, L., & Pace, G. J. (2020). Runtime verification of contracts with Themulus. In F. De Boer & A. Cerone (Eds.), SEFM 2020 : software engineering and formal methods (pp. 231-246). Cham: Springer. |
| Abstract: | Contracts regulating the behaviour of multiple interacting parties go beyond the notion of pure properties, but allow one to document and analyse the ideal behaviour. In this paper we build upon a real-time deontic logic allowing the description of such contracts and present a runtime veri cation tool for monitoring of such contracts. We present a veri cation algorithm used to monitor contracts written in this logic and an airport agreement is used as a case study to illustrate how such agreements and contracts can be monitored using our tool with reasonable processing costs. |
| URI: | https://www.um.edu.mt/library/oar/handle/123456789/91093 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Runtime_verification_of_contracts_with_Themulus_2020.pdf Restricted Access | 502.58 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.