loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Alberto Aranda García 1 ; María-Emilia Cambronero 2 ; Christian Colombo 1 ; Luis Llana 3 and Gordon J. Pace 1

Affiliations: 1 Department of Computer Science, University of Malta, Malta ; 2 Department of Computer Science, University of Castilla-La Mancha, Albacete, Spain ; 3 Department of Computer Science and the Knowledge Technology Institute, University Complutense of Madrid, Spain

Keyword(s): Deontic Logic, Formal Methods, Operational Semantics, Simulation Semantics, Themulus.

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.116.14.12

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - MODELSWARD; ISBN 978-989-758-400-8; ISSN 2184-4348, SciTePress, pages 193-204. DOI: 10.5220/0008878001930204

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

TY - CONF

JO - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Themulus: A Timed Contract-calculus
SN - 978-989-758-400-8
IS - 2184-4348
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
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic