Themulus: A Timed Contract-calculus

Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace

2020

Abstract

Over these past years, formal reasoning about contracts between parties has been increasingly explored in the literature. There has been a shift of view from that viewing contracts simply as properties to be satisfied by the parties to contracts as first class syntactic objects which can be reasoned about independently of the parties’ behaviour. In this paper, we present a real-time deontic contract calculus, Themulus, to reason about contracts, abstracting the parties’ behaviour through the use of a simulation relation. In doing so, we can compare real-time deontic contracts in terms of their strictness over permissions, prohibitions and obligations.

Paper Citation

in Harvard Style

García A., Cambronero M., Colombo C., Llana L. and Pace G. (2020). Themulus: A Timed Contract-calculus. In Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-400-8, pages 193-204. DOI: 10.5220/0008878001930204

in Bibtex Style

@conference{modelsward20,
author={Alberto García and María-Emilia Cambronero and Christian Colombo and Luis Llana and Gordon Pace},
title={Themulus: A Timed Contract-calculus},
booktitle={Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2020},
pages={193-204},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0008878001930204},
isbn={978-989-758-400-8},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Themulus: A Timed Contract-calculus
SN - 978-989-758-400-8
AU - García A.
AU - Cambronero M.
AU - Colombo C.
AU - Llana L.
AU - Pace G.
PY - 2020
SP - 193
EP - 204
DO - 10.5220/0008878001930204