Real-Time Conditional Commitment Logic and Duration Communication Interpreted Systems

2019
OriginalPaper
Chapter

Published in:

Authors: Bożena Woźna-Szcześniak; Ireneusz Szcześniak
Published in: Distributed Computing and Artificial Intelligence, 15th International Conference
Publisher: Springer International Publishing

Read first chapter Log in

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

We propose a real-time conditional and unconditional commitment logic (RTCTLC) with semantics defined over the duration communication interpreted system – a system with arbitrary integer durations on transitions. The transitions with durations allow us to model different levels of temporal deadlines and to reduce extra verification work resulting from the use of unit measure steps. The whole framework allows us to formally model the behaviour of agents using (conditional, unconditional, and group) commitments and real-time constraints in order to permit reasoning about qualitative and quantitative requirements.

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Business + Economics & Engineering + Technology"

Online-Abonnement

Springer Professional "Business + Economics & Engineering + Technology" gives you access to:

more than 102.000 books
more than 537 journals

from the following subject areas:

Automotive
Construction + Real Estate
Business IT + Informatics
Electrical Engineering + Electronics
Energy + Sustainability
Finance + Banking
Management + Leadership
Marketing + Sales
Mechanical Engineering + Materials
Insurance + Risk

Secure your knowledge advantage now!

inform now

Springer Professional "Engineering + Technology"

Online-Abonnement

Springer Professional "Engineering + Technology" gives you access to:

more than 67.000 books
more than 390 journals

from the following specialised fileds:

Automotive
Business IT + Informatics
Construction + Real Estate
Electrical Engineering + Electronics
Energy + Sustainability
Mechanical Engineering + Materials

Secure your knowledge advantage now!

inform now

Springer Professional "Business + Economics"

Online-Abonnement

Springer Professional "Business + Economics" gives you access to:

more than 67.000 books
more than 340 journals

from the following specialised fileds:

Construction + Real Estate
Business IT + Informatics
Finance + Banking
Management + Leadership
Marketing + Sales
Insurance + Risk

Secure your knowledge advantage now!

inform now

previous chapter A Multi-objective Evolutionary Proposal for Matching Students to Supervisors

next chapter Moodsically. Personal Music Management Tool with Automatic Classification of Emotions

Metadata
Literature

Title: Real-Time Conditional Commitment Logic and Duration Communication Interpreted Systems
Authors: Bożena Woźna-Szcześniak
Ireneusz Szcześniak
Publisher: Springer International Publishing
Book: Distributed Computing and Artificial Intelligence, 15th International Conference
Print ISBN: 978-3-319-94648-1

Electronic ISBN: 978-3-319-94649-8

Copyright Year: 2019
DOI: https://doi.org/10.1007/978-3-319-94649-8_13

This content is only visible if you are logged in and have the appropriate permissions.